泛型函数MyType<string>无法赋值给MyType<unknown>的原因解析

一、函数类型赋值报错的原因 #

先看你的函数类型定义：

type MyType<T> = (x: T) => void;

当你把MyType<string>赋值给MyType<unknown>时，本质是把仅接受string参数的函数，当成接受任意unknown类型参数的函数来使用。

这里的核心问题是：如果允许这种赋值，当调用b（类型为MyType<unknown>）时，你可以传入任何类型的值（比如number、boolean），但a这个函数只能处理string类型的参数，这会导致运行时的类型不匹配——传入的参数不符合函数的预期。

TypeScript为了避免这种风险，对函数的参数类型采用逆变检查：只有当目标函数的参数类型比源函数的参数类型更“宽泛”（或者说源参数类型是目标参数类型的子类型）时，赋值才合法。反过来，unknown是所有类型的父类型，string是unknown的子类型，所以(x: string) => void不能赋值给(x: unknown) => void，因为前者无法处理后者允许的所有参数。

二、对象类型赋值正常的原因 #

再看对象类型的定义：

type MyType<T> = { x: T };

对象的属性类型采用协变检查：如果源类型的属性是目标属性类型的子类型，赋值就合法。因为string是unknown的子类型，所以{ x: string }自然可以赋值给{ x: unknown }——你可以把更具体的属性值（string）当成更宽泛的类型（unknown）来使用，这在类型安全上没有问题，访问b.x时只会把它当成unknown处理，不会出现类型不匹配的风险。

总结 #

• 函数参数类型是逆变的：要求源函数能接受目标函数允许的所有参数，否则会有调用风险。
• 对象属性类型是协变的：允许更具体的属性类型赋值给更宽泛的属性类型，不会有安全问题。

内容的提问来源于stack exchange，提问作者a curious student