TypeScript索引类型与函数签名的差异及代码报错疑问

核心原因：方法与独立函数的参数兼容性规则不同 #

TypeScript对对象方法签名和独立函数类型的参数兼容性采用了两套不同规则：

• 独立函数类型的参数遵循**逆变（Contravariant）**规则
• 对象方法签名（包括通过索引类型提取的方法）的参数遵循**双向协变（Bivariant）**规则

1. 双向协变（第一段代码无报错的原因） #

当你通过索引类型{ _(num: number): void }['_']提取方法签名时，TypeScript会将其识别为对象方法。方法的参数兼容性是双向协变的——既允许参数类型更宽泛（逆变），也允许更具体（协变），不会做严格的类型限制。

对应第一段代码：

type A = {
  _(num: number): void;
}['_'];

type B = {
  _(ten: 10): void;
}['_'];
let a: A = (num) => {
  console.log(num);
};

let b: B = (ten) => {
  console.log(ten);
};

a = b; // 双向协变规则允许赋值
b = a; // 双向协变规则允许赋值

不管是把仅接受10的方法赋值给接受任意number的变量，还是反过来，TypeScript都不会报错。

2. 逆变（第二段代码报错的原因） #

直接定义的独立函数类型（比如type A = (num: number) => void），在TypeScript默认开启的strictFunctionTypes模式下，参数遵循逆变规则：

如果要将函数X赋值给类型Y，X的参数类型必须宽于或等于Y的参数类型——也就是说，Y能接受的所有参数，X必须都能处理。

对应第二段代码：

type A = (num: number) => void;

type B = (ten: 10) => void;

let a: A = (num) => {
  console.log(num);
};

let b: B = (ten) => {
  console.log(ten);
};

a = b;  // ❌ 报错：Type 'B' is not assignable to type 'A'
b = a; // 允许：A的参数`number`宽于B的`10`，满足逆变规则

B的参数仅能接受字面量10，无法处理所有number类型的值（比如调用a(5)时会违反B的参数限制），所以a = b触发类型错误；而A的参数能覆盖B的所有输入场景，所以b = a被允许。

为什么要区分两种规则？ #

这是TypeScript为兼容JavaScript实际场景做出的设计：对象方法的赋值在JS中非常普遍，严格的逆变检查会导致很多合法代码报错（比如子类方法覆盖父类方法时参数更具体的情况）；而独立函数类型更强调类型安全性，因此采用严格的逆变规则。

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