TypeScript函数类型对象参数可赋值性规则及原因咨询

这个行为的核心原因是TypeScript对函数参数类型采用逆变（Contravariance）规则，本质是为了保证类型安全，避免潜在的运行时错误。

具体场景分析 #

假设我们有两个函数类型：

• 类型1：(arg: {prop: string}) => void（预期参数必须包含prop字符串属性）
• 类型2：(arg: object) => void（允许接受任意对象作为参数）

当尝试把类型1的函数赋值给类型2的变量时，TypeScript会抛出类型不兼容的错误。这不是TypeScript的“过度严格”，而是刻意的设计：

为什么要阻止这种赋值？ #

如果允许这种赋值，持有类型2变量的代码完全可能传入一个不包含prop属性的对象（比如空对象{}）。但类型1的函数内部是依赖arg.prop存在且为字符串的，此时运行时就会出现未定义属性的报错。

举个实际例子：

// 类型1的函数实现，依赖arg.prop存在
const handleWithProp = (arg: { prop: string }) => {
  console.log(arg.prop.toUpperCase());
};

// 假设允许赋值给类型2的变量
let handleAnyObj: (arg: object) => void = handleWithProp;

// 调用时传入空对象，运行时直接报错
handleAnyObj({}); // Uncaught TypeError: Cannot read properties of undefined (reading 'toUpperCase')

TypeScript的类型检查就是提前拦截这种会导致运行时崩溃的风险。

逆变规则的逻辑 #

在函数类型兼容性判断中，参数类型遵循逆变原则：

若函数A可以赋值给函数B，则A的参数类型必须是B参数类型的超类型（或者说B的参数类型是A参数类型的子类型）

直白来说，函数B接受的参数范围越宽泛（比如object），能赋值给它的函数必须接受更宽泛或同等范围的参数，而不是更狭窄的参数。因为如果一个函数只接受狭窄类型的参数，它无法处理宽泛类型传入的所有可能值。

这里{prop: string}是object的子类型（所有带prop的对象都是object，但反过来不成立），所以不符合逆变要求，因此类型不兼容。

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