为何TypeScript允许将更窄函数赋值给更宽泛的函数类型？

问题场景 #

生产环境中遇到代码崩溃问题，核心代码如下：

interface Api {
  foo(x: string | number, y?: string): boolean;
}

const x: Api = {
  foo(x: string, y: string) {
    // 当y为undefined时直接访问length会崩溃
    return y.length > 0;
  }
}

x.foo(42); // 运行时崩溃，但编译无报错

核心原因 #

这是TypeScript默认的函数参数双向协变规则导致的安全漏洞：

1. 函数参数兼容性的双向协变 #

TypeScript默认对对象字面量的方法参数采用双向协变检查——既允许参数类型“放宽”（协变），也允许“收窄”（逆变），而非严格的类型安全检查。这是为了兼容JavaScript的常见写法，但也埋下了隐患：

• 接口中foo的参数x是string | number（允许传入字符串或数字），但实现中把x收窄为string，这种不符合接口契约的写法在默认编译规则下不会报错；
• 接口中y是可选参数（允许不传），但实现中把y设为必填string，同样不会触发编译错误。

2. 运行时的类型不匹配 #

当通过接口类型调用x.foo(42)时：

• 没有传入y，所以y的值是undefined，但实现函数直接访问y.length，导致运行时抛出Cannot read properties of undefined错误；
• 传入的x是number类型，不符合实现函数预期的string类型（虽未触发本次崩溃，但同样违反了类型契约）。

3. 如何避免这类问题 #

开启TypeScript的--strictFunctionTypes编译选项，强制采用严格的逆变检查：

• 此时实现函数的参数类型必须是接口参数类型的超类型（即只能放宽，不能收窄）；
• 可选参数不能被实现为必填参数，直接在编译阶段就会抛出错误，提前拦截这类不安全的代码。

内容的提问来源于stack exchange，提问作者JHH