Typescript函数重载：typescript不分析函数代码

Question

考虑以下函数重载和带有错误的实现。

function foo(param: number): boolean;
function foo(param: string): string;

function foo(param) {
  if (typeof param === "number") {
    // typescript does not complain that 12 is not boolean
    return 12;
  } else if (typeof param === "string") {
    // typescript does not complain that {} is not string
    return {};
  }
}

以下是解释它的方式：

1. 如果函数 foo 采用数字参数，它应该返回布尔值

2. 如果函数foo接受字符串参数，它应该返回字符串

3. 应该禁止其他调用

确定类型检查器可以通过分析功能代码来验证 1&2。 但是打字稿不这样做 - 它只做 3.

是否可以在打字稿中实现上述行为？

Answer 1

删除function foo(param)。这增加了第三个重载，param 键入为any。

function foo(param: number): boolean;
function foo(param: string): string {
  if (typeof param === "number") {
    return 12;
  } else if (typeof param === "string") {
    return {};
  }
}

Code in TypeScript Playground