TypeScript泛型类中<T = unknown>的含义与作用解析

首先明确：<T = unknown>是泛型默认类型，不是约束，和无约束泛型<T>的核心区别在于「未显式指定泛型参数时的处理逻辑」。

1. 和无约束泛型<T>的区别 #

• 无约束泛型<T>：创建类实例时如果没显式指定T，TypeScript会尝试自动推断T的类型；如果无法推断（比如构造函数无参数供推断），编译器直接报错，因为它找不到T的有效类型。
  示例代码：

  class C<T> { value: T; constructor(v: T) { this.value = v; } }
  const c1 = new C(42); // 正常，T被推断为number
  const c2 = new C(); // 报错：缺少类型参数，无法推断T
  

• 带默认类型的<T = unknown>：没显式指定T且无法推断时，编译器会自动用unknown作为T的类型，不会报错；如果能推断出类型，依然优先使用推断结果。
  示例代码：

  class ClassName<T = unknown> { value?: T; constructor(v?: T) { this.value = v; } }
  const c1 = new ClassName(42); // T推断为number
  const c2 = new ClassName(); // T使用默认值unknown，正常运行
  

2. 为什么不直接把T视为unknown？ #

你提到的“泛型类内部把T视为unknown”是无约束泛型的类型检查行为——因为T没有约束，类内部代码不能对T做任何假设（比如调用方法、访问属性），这和unknown的行为类似，但这和「默认类型」是两个完全独立的概念：

• 类型检查行为是针对泛型参数的约束逻辑（无约束等价于T extends unknown，因为所有类型都继承自unknown）；
• 默认类型是解决「未指定泛型参数时用什么类型兜底」的问题，和类型检查规则无关。

3. 为什么用<T = S>而不是直接固定类型？ #

这是对语法的误解，<T = S>不是把T固定为S，而是给T设置一个默认值。用户依然可以显式指定其他类型覆盖默认值。比如：

class ClassName<T = string> { value: T; constructor(v: T) { this.value = v; } }
const c1 = new ClassName("hello"); // T使用默认值string
const c2 = new ClassName<number>(123); // 显式指定T为number，完全合法

这种设计的意义是：既提供了开箱即用的默认行为，又保留了泛型的灵活性——用户可以按需自定义类型，不需要额外配置时直接用默认值即可。

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