泛型场景下Lambda字段与成员函数的类型兼容问题

问题复现 #

interface Foo<T> {
    readonly fun: (v: T) => void; // 触发TS2677错误
    // fun(v: T): void; // 替换成成员函数则正常
}

function isNumber<T>(foo: Foo<T>): foo is Foo<T & number> {
    return true;
}

对应的错误提示：

A type predicate's type must be assignable to its parameter's type.
Type 'Foo<T & number>' is not assignable to type 'Foo'.
Type 'T' is not assignable to type 'T & number'.
Type 'T' is not assignable to type 'number'.ts(2677)

问题原因 #

这是TypeScript对方法签名和函数类型属性采用不同兼容性规则导致的：

• 成员函数fun(v: T): void属于方法签名，TypeScript对方法签名的兼容性检查采用双向协变规则——既允许参数类型的协变（子类型转超类型），也允许逆变（超类型转子类型）。所以Foo<T & number>可以被视为Foo<T>的子类型，类型谓词的检查能通过。
• 只读函数字段readonly fun: (v: T) => void属于函数类型的属性，函数类型的参数遵循逆变规则：只有当参数类型是超类型时，函数类型才兼容。要让Foo<T & number>兼容Foo<T>，需要(v: T & number) => void兼容(v: T) => void，但T是T & number的超类型，反过来不成立，因此触发类型错误。

保留Lambda字段的解决方案 #

如果想继续使用只读函数字段的写法，可以尝试以下几种方式：

1. 给函数字段添加this参数暗示方法特性

添加this参数后，TypeScript会将其视为方法签名，采用双向协变规则，从而通过类型检查：

interface Foo<T> {
    readonly fun: (this: Foo<T>, v: T) => void;
}

2. 谨慎使用类型断言

在类型谓词中直接使用类型断言绕过检查，适合你能确保类型安全的场景：

function isNumber<T>(foo: Foo<T>): foo is Foo<T & number> {
    return true as unknown as boolean;
}

3. 调整严格模式配置（不推荐大型项目）

如果项目没有严格要求类型安全性，可以关闭--strictFunctionTypes选项，此时函数类型属性也会采用双向协变规则，原本的代码就不会报错。

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