🔎 搜索词

• typeof
• switch
• narrow
• type guard

🕗 版本与回归信息

• 这是我尝试的每个版本的行为，我还查阅了关于类型保护的常见问题解答。

⏯ Playground链接

https://www.typescriptlang.org/play?ts=5.3.2#code/GYVwdgxgLglg9mABBAFgUwgawIIBtcA8AKgHwAUAznALZpQoxgDmAXIkQJRtGIDeAUIkQUA7jCipEZKAE8ADmjjBhNOg2Yc+gocgCGFNIgBEYENQBGaAE5GW2oRH2Gj5mE0ZRb9vQePm4cLhoumBeOj7OFDIWgWE6jr5G4AAmaMCMaMlxDk7GoJCwCNkRxnDmAFYYnnbhCZFQVoxMxUJWdCBWSFS09E0A3NoAvvyDQA

💻 代码

function checkAll<T>(something: T): T {
  switch (typeof something) {
    case "number":
    case "bigint":
    case "boolean":
    case "symbol":
    case "undefined":
    case "function":
    case "object":
    case "string":
      return something;
  }
}

🙁 实际行为

这会发出TS错误：“函数缺少结束返回语句，且返回类型不包括'undefined'。(2366)”

🙂 预期行为

没有错误，因为已经处理了typeof的所有可能结果。

关于问题的附加信息

似乎只有在函数参数是泛型时才会成为问题。如果将返回类型和参数类型切换到 any ,它就可以正常工作，但我不确定这是公平的比较。