TypeScript的类型系统并非简单地进行名义类型比对，它在结构化子类型的基础上引入变型规则来决定复杂类型之间能否相互赋值。当我们把注意力放在函数类型上时，这种变型直接决定了回调参数、事件监听以及高阶函数封装是否会通过编译。函数类型由参数列表与返回类型共同构成，而这两部分在子类型关系中遵循不同的方向，理解这一点是掌握类型安全重构的前提。
函数返回位置为何采用协变
协变指的是这样一种关系：如果类型B是类型A的子类型，那么包裹B的复杂类型也是包裹A的复杂类型的子类型。在函数类型的返回位置上，TypeScript始终允许协变。原因在于调用方只关心函数给出什么结果，当函数实际返回更具体的子类型时，调用方将其当作父类型使用不会破坏任何约定。例如定义动物类与狗类，狗继承自动物，那么返回狗的函数可以被当成返回动物的函数来用，因为每条狗都是动物。
从内存与接口契约角度看，协变返回是安全的。假设变量期望拿到动物实例并调用其通用方法，实际拿到狗实例完全满足需求。下面代码展示了这一规则在普通配置下的表现：
class Animal {
name: string = 'animal';
}
class Dog extends Animal {
bark(): void {
console.log('wang');
}
}
type GetAnimal = () => Animal;
type GetDog = () => Dog;
let getAnimal: GetAnimal = () => new Animal();
let getDog: GetDog = () => new Dog();
// 协变允许：GetDog 可赋给 GetAnimal
getAnimal = getDog;
上述赋值在TypeScript中不会报错。需要注意，如果反过来将父类型函数赋给子类型变量，则违反了协变方向，因为调用方可能期望使用狗独有的方法，而父类型函数无法保证提供。这种单向宽松显著降低了业务代码中工厂函数与适配层的书写成本。
参数位置的双变与严格逆变差异
参数位置的处理比返回位置复杂。在默认非严格函数类型检查下，TypeScript对函数参数采用双变（bivariance），即子类型函数的参数可以比父类型函数的参数更宽，也可以更窄，双向都允许赋值。这源于方法重写历史兼容考虑，例如类的方法参数在重写时经常发生窄化。然而双变会掩盖类型错误，比如把只能处理狗的函数交给期望处理任意动物的调用方，后者传入猫就会导致运行时问题。
开启strictFunctionTypes编译选项后，函数类型参数改为逆变：只有参数类型更宽的函数才能赋给参数类型更窄的变量。也就是说，期望动物的函数可以接受狗，但期望狗的函数不能接受动物。下面示例展示了严格模式下的报错情形：
type HandleAnimal = (a: Animal) => void;
type HandleDog = (d: Dog) => void;
let handleAnimal: HandleAnimal = (a) => { console.log(a.name); };
let handleDog: HandleDog = (d) => { d.bark(); };
// 严格模式下报错：HandleAnimal 不能赋给 HandleDog
// handleDog = handleAnimal;
// 允许：HandleDog 可赋给 HandleAnimal（逆变）
handleAnimal = handleDog;
方法声明与函数类型声明在此处存在细节差别。类的普通方法参数仍使用双变以兼容旧代码，而独立函数签名与箭头类型受strictFunctionTypes约束。这种分裂设计常让初学者困惑，但在大型库类型定义中能减少破坏性变更。理解该差异可帮助我们在编写公共API回调时，谨慎选择参数是用宽泛父类型还是具体子类型。
协变逆变在事件与数组回调中的实战影响
在日常封装中，数组的map、filter以及DOM事件监听器是最容易触碰变型边界的场景。数组方法通常要求回调参数协变于元素类型，因此用处理子类型的回调去遍历父类型数组会被拒绝。事件系统则相反，监听器多声明为接受特定事件子类型，若我们传入处理更通用事件的回调，在严格模式下需要确认方向是否符合逆变。
考虑一个数据列表渲染函数，它接受动物数组并期望调用渲染回调。如果我们错误地把只认狗的回调传进去，编译器在严格模式下会提示不兼容，从而防止把猫塞进狗逻辑。以下代码演示了利用逆变保护渲染安全的写法：
function renderList(items: Animal[], render: (a: Animal) => string): void {
items.forEach((it) => console.log(render(it)));
}
const dogs: Dog[] = [new Dog(), new Dog()];
// 可接受：处理动物的回调能处理狗
renderList(dogs, (a) => a.name);
// 若定义只处理狗的回调，则不能直接用于动物数组
const onlyDogRender = (d: Dog) => d.bark().toString();
// renderList(dogs, onlyDogRender); // 类型不匹配，因为 dogs 被视为 Animal[]
通过显式标注回调参数为父类型，我们让函数具备协变友好的入口；而把具体子类型操作限制在内部类型守卫之后，既保留灵活性又避免逆变冲突。掌握这些规则后，在重构类型层次或提取公共组件时，就能预判哪些函数签名需要调整参数方向，哪些返回类型可以安全收窄，从而减少类型断言的滥用并提升代码可维护性。
TypeScript协变逆变修改时间：2026-08-15 22:58:33