TypeScript泛型约束传递：两种实现方式孰优孰劣？

先明确两种实现的核心差异：方式一是在定义泛型参数时直接做约束，方式二是通过条件类型在类型计算阶段过滤无效值。下面分别拆解各自的适用场景和优劣：

方式一：泛型参数直接约束 #

代码示例：

type Generic<T extends 'some constraints'> = T
type UseGeneric<T extends 'some constraints'> = Generic<T>

• 优点：

  • 错误拦截早：调用UseGeneric或Generic时，只要传的参数不符合约束，编辑器立刻报错，不用等到后续使用类型结果才发现问题。
  • 开发体验好：编辑器会自动提示符合约束的可选值，不用开发者硬记规则。
  • 代码直观：一眼就能看出泛型的限制范围，可读性拉满。

• 缺点：

  • 灵活性不足：必须传入符合约束的类型才能用，没法处理“可能不符合约束”的场景，比如想自动过滤联合类型里的无效成员。

方式二：条件类型过滤 #

代码示例：

type Generic<T> = T extends 'some constraints' ? T : never
type UseGeneric<T> = Generic<T>

• 优点：

  • 兼容性强：允许传任意类型，不符合约束的会被转成never，适合处理宽泛输入的场景，比如筛除联合类型里的无效项。
  • 适配复杂类型流程：可以作为类型转换管道里的一步，不用提前限制输入类型。

• 缺点：

  • 错误反馈晚：只有当你用UseGeneric<T>的结果时，才会发现它是never，排查问题要绕一圈。
  • 提示不友好：编辑器不会给T提供约束提示，因为T的范围是任意类型，全靠开发者自己记规则。

哪种更优？ #

没有绝对最优，看你需求：

• 要是想严格管控输入，确保调用方必须传合规类型，选方式一，安全又省心。
• 要是需要兼容各种输入，自动清理无效类型，比如处理联合类型、复杂类型转换，就选方式二。

有没有更好的实现？ #

如果想兼顾严格约束和灵活输入，可以把两种方式结合，给泛型参数加可选约束，同时保留条件类型校验：

type Generic<T extends 'some constraints' | unknown = unknown> = T extends 'some constraints' ? T : never
type UseGeneric<T extends 'some constraints' | unknown = unknown> = Generic<T>

这种写法下：

• 传合规类型时，能得到正常结果和友好提示。
• 传不合规类型时，会得到never，开启严格检查的话，部分场景下也能即时报错。

另外，要是约束会多次复用，建议把约束抽成单独类型，减少重复代码：

type MyConstraint = 'some constraints'

// 对应方式一
type Generic<T extends MyConstraint> = T
type UseGeneric<T extends MyConstraint> = Generic<T>

// 对应方式二
type Generic<T> = T extends MyConstraint ? T : never
type UseGeneric<T> = Generic<T>

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