ts-toolbelt库中`O extends unknown`表达式的作用是什么？

这个写法是TypeScript类型系统中用来主动触发*分布式条件类型（Distributive Conditional Types）*的标准技巧，作用是让泛型工具在接收联合类型作为参数时，能对联合类型的每一个成员单独执行类型计算，最后再把结果合并成联合类型返回。

核心原理 #

TypeScript的条件类型默认只有在类型参数 extends 任意类型的结构下，才会对传入的联合类型参数做分发处理。如果不套这个条件判断，泛型工具会把整个联合类型当成一个整体处理，不会拆分每个成员单独计算。
这里的extends unknown是故意设计的恒成立条件，永远都会走?后面的分支，不会走到never分支，本身不会改变计算结果，只用来触发分发逻辑。

实际效果对比示例 #

我们用一个实际场景就能立刻看出区别：
假设我们传入的泛型参数是联合类型的对象：

type TestObj = {a: number} | {b: string}

分别用两个工具类型计算：

1. 直接用不带分发的_UnionOf计算：

type Res1 = _UnionOf<TestObj>
// 结果为never，因为整个联合类型的公共key不存在，keyof TestObj的结果是never，O[keyof O]自然返回never

2. 用带分发的UnionOf计算：

type Res2 = UnionOf<TestObj>
// 首先触发分发逻辑，分别处理两个联合成员：
// 对{ a: number }计算得到 number
// 对{ b: string }计算得到 string
// 最后合并结果为 number | string，这才是符合预期的正确结果

ts-toolbelt这么设计的原因 #

ts-toolbelt作为通用类型工具库，需要保证所有工具都能正确处理联合类型的入参，符合大多数用户的使用预期。如果不套这个O extends unknown的判断，用户传入联合类型参数时就会得到不符合预期的结果，工具的兼容性会大打折扣。

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