TypeScript泛型函数设默认参数时报R与T类型不相关ts(2322)错误

TypeScript的泛型参数由函数调用方决定，而非函数实现侧决定。你当前的函数声明中，T和R是两个完全独立的泛型参数，没有任何约束关联：

• 调用方完全可以在不传transform参数的情况下，手动指定两个无关的类型，比如animalTransformer<Dog, Cat>()，此时要求transform的返回值是Cat类型，但你写的默认函数返回值是Dog（也就是T类型），自然和R不匹配。
• TypeScript不会自动推导“未传transform时R=T”的关联规则，因为泛型的合法性检查是在函数声明阶段完成的，不会根据函数内部的默认值逻辑反向给泛型加约束。你看到的错误'R' could be instantiated with an arbitrary type which could be unrelated to 'T'本质就是TS在提醒你：存在合法的调用方式，会让你写的默认返回值和泛型要求的返回类型不兼容。

用函数重载拆分两种调用场景，把类型约束放在函数对外的契约层，实现层只需要做最小限度的类型兼容即可，完全不需要额外的高层校验：

// 重载1：未传入transform时，R默认等于T
function animalTransformer<T>(): (animal: T) => T;
// 重载2：传入transform时，R由transform的返回值自动推导
function animalTransformer<T, R>(transform: (animal: T) => R): (animal: T) => R;
// 函数实现
function animalTransformer<T, R = T>(transform?: (animal: T) => R) {
    const finalTransform = transform ?? ((animal: T) => animal as unknown as R);
    // 其余业务逻辑直接使用finalTransform即可
    return finalTransform;
}

这个写法的类型安全性有充分保障：

• 对外暴露的两个重载签名完全锁死了合法调用的边界，调用方不可能在不传transform的时候指定和T无关的R类型
• 实现内部的类型断言只在函数内部生效，不会泄露给调用方，不会破坏外部的类型提示准确性
• 不需要额外写复杂的泛型条件类型，代码可读性最高。

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