泛型类构造函数通过类型检查但本应报错的问题排查与修复

问题代码复现 #

class Rx<F extends unknown[], T> {
    constructor(
        _dependencies: { [k in keyof F]: Rx<any, F[k]> },
        _calculation: (...args: F) => T,
    ) { }
}

const fortyTwo: Rx<[], number> = new Rx([], () => 42);
const twentySeven: Rx<[], string> = new Rx([], () => "27");

// 预期触发类型错误但实际通过，变量被推断为Rx<[number, number], number>
const unexpected = new Rx([fortyTwo, twentySeven], (a: number, b: number) => a + b)

1. 问题根源 #

• 构造函数中_dependencies的类型定义使用了Rx<any, F[k]>，这里的any作为Rx的第一个泛型参数，导致TypeScript类型检查极度宽松：任何Rx实例不管实际输出类型是什么，都能被匹配到Rx<any, F[k]>。
• TypeScript的泛型推断逻辑会优先从calculation函数的参数类型反向推导F的类型，而不是从_dependencies数组的元素类型正向推导。因为any的存在，_dependencies无法提供足够的类型约束来阻止这种反向覆盖，最终导致F被错误推断为[number, number]，而非正确的[number, string]。

2. 修复方案 #

将_dependencies类型中的Rx<any, F[k]>替换为Rx<unknown[], F[k]>，用unknown[]替代宽松的any：既保留对Rx实例输入元组的兼容性（任何Rx<D, U>都满足D extends unknown[]），又能严格约束输出类型F[k]必须与依赖实例的实际输出类型一致：

class Rx<F extends unknown[], T> {
    constructor(
        _dependencies: { [k in keyof F]: Rx<unknown[], F[k]> },
        _calculation: (...args: F) => T,
    ) { }
}

const fortyTwo: Rx<[], number> = new Rx([], () => 42);
const twentySeven: Rx<[], string> = new Rx([], () => "27");

// 此时会触发预期的类型错误：类型'string'不能赋值给类型'number'
const unexpected = new Rx([fortyTwo, twentySeven], (a: number, b: number) => a + b)

修改后，TypeScript会先从_dependencies的元素类型正确推断出F为[number, string]，然后检查calculation的参数类型是否匹配，最终触发预期的类型错误。

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