TypeScript中<T extend any>与<T>两种泛型语法有什么区别？

核心结论 #

你的判断基本正确，绝大多数场景下二者完全等价，都允许泛型参数T传入任意类型，没有额外的类型约束。
（注：你看到的写法通常为<T extends any>，extends为TypeScript正确的约束关键字）

为什么会存在 <T extends any> 这种写法？ #

这种写法看起来多余，实际存在几个合理的使用场景：

• 兼容旧版本TypeScript
  TS 2.3之前的版本存在特殊限制：无约束的泛型参数默认不能直接赋值给any类型的位置，显式添加extends any约束可以规避这个问题。该限制在TS 3.0之后的版本已经被移除，新版本不需要再为了这个目的写该约束。
• 触发分布式条件类型行为
  这是目前最常见的使用场景。当你需要对联合类型的每个成员单独做类型运算时，可以通过T extends any的写法强制触发分布式判断：

  // 分布式运算：联合类型每个成员单独处理
  type Distribute<T> = T extends any ? { type: T } : never
  type Test1 = Distribute<string | number>
  // 得到结果：{ type: string } | { type: number }
  
  // 无分布式运算：联合类型作为整体处理
  type NoDistribute<T> = { type: T }
  type Test2 = NoDistribute<string | number>
  // 得到结果：{ type: string | number }
  

• 团队代码风格约定
  部分团队的编码规范要求所有泛型必须显式声明约束，哪怕是extends any，避免开发者遗漏必要的类型约束，属于约定俗成的写法，没有实际功能意义。

现有版本的差异 #

在TypeScript 5.0+的最新稳定版本中，除了代码长度更长之外，<T extends any>和<T>没有任何类型检查、运行时层面的差异，二者可以互相替代。

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