TypeScript中字面量参数函数为何无法赋值给字符串参数函数？

问题场景 #

你定义了两个函数类型：

type AbstractFunc = (value: string) => boolean
type ConcreteFunc = (value1: 'hello') => boolean

因为字面量类型'hello'可以赋值给string类型变量：

let z1: 'hello' = 'hello' as const
// 无报错
let z2: string  = z1;

你认为类似逻辑适用于函数类型，尝试将ConcreteFunc赋值给AbstractFunc：

type AbstractFunc = (value: string) => boolean
type ConcreteFunc = (value1: 'hello') => boolean

let u: ConcreteFunc = null as any;

// 报错信息：
//       Type 'ConcreteFunc' is not assignable to type 'AbstractFunc'.
//       Types of parameters 'value1' and 'value' are incompatible.
//       Type 'string' is not assignable to type "hello".
let z: AbstractFunc = u;

但出现了报错，疑惑这种行为是否合理。

核心原因：函数参数的逆变特性 #

你的假设是错误的，TypeScript的行为完全符合类型安全逻辑，关键在于变量赋值是协变的，而函数参数的类型兼容性是逆变的：

• 协变：子类型可以赋值给父类型（比如'hello'→string），因为子类型的取值范围是父类型的子集，用父类型接收不会有安全问题。
• 逆变：如果要把函数A赋值给函数B，A的参数类型必须是B参数类型的父类型（或相同类型）。这是为了保证类型安全：
  假设AbstractFunc类型的函数允许接收任意字符串，如果你把只能接收'hello'的ConcreteFunc赋值给它，后续调用这个函数时可能传入'world'这类非'hello'的字符串，而ConcreteFunc的逻辑只处理'hello'，这就会引发类型错误。

所以TypeScript禁止这种赋值，是为了确保函数被调用时，传入的参数始终符合目标函数的参数要求。

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