TypeScript泛型类方法参数类型覆写问题求助

你遇到的核心问题是：希望泛型类的方法在默认调用时严格遵循类的泛型类型T，但在显式指定方法泛型时可以覆写参数类型。你的两种尝试之所以失败，是因为TypeScript会自动推导方法泛型参数的类型，覆盖了默认值，导致非T类型的参数也能通过检查。

正确的方法签名 #

这里提供一个完全符合需求的实现：

class C<T> {
  f<O = never>(arg: O extends never ? T : O) {}
}

验证效果 #

测试你的场景：

let c = new C<string>();
c.f('a'); // ✅ 正常运行，默认O为never，arg类型约束为T（string）
c.f(1); // ❌ 类型错误，arg需要是string，但传入了number
c.f<number>(1); // ✅ 正常运行，显式指定O为number，arg类型约束为number

原理解释 #

• 当你不显式指定O时，O会使用默认值never，此时条件类型O extends never ? T : O会解析为T，所以arg必须符合类的泛型类型T。
• 当你显式指定O时（比如<number>），O的类型会覆盖默认值，条件类型会解析为O，此时arg的类型就变成了你指定的O类型，完美实现了覆写效果。

为什么你的尝试无效？ #

1. 第一种方案f<O = T>(arg: O) {}：TypeScript会自动从传入的arg推导O的类型，比如传入1时O会被推导为number，直接覆盖了默认值T，所以不会报错。
2. 第二种方案f<O>(arg: O extends undefined ? T : O) {}：同样，当你传入1时，O会被推导为number，O extends undefined不成立，所以arg类型变成number，也能通过检查。

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