为何联合字符串泛型传入条件类型时会被视为特定字面量？

核心原因：条件类型的分布式特性 #

当给泛型函数传入联合类型作为泛型参数时，条件类型会触发分布式条件类型的行为：它会把联合类型的每个成员单独代入条件类型计算，最后将所有结果重新组合成新的联合类型。

对应你的代码：

• 泛型参数T是ApprovalType = "PENDING" | "APPROVED" | "REJECTED"
• 条件类型T extends string ? B<T> : A<T>会被拆解为：
  B<"PENDING"> | B<"APPROVED"> | B<"REJECTED">
• 展开后就是：
  { options: "PENDING"[] } | { options: "APPROVED"[] } | { options: "REJECTED"[] }

而你传入的options: ["PENDING", "APPROVED", "REJECTED"]类型是("PENDING" | "APPROVED" | "REJECTED")[]（包含多种状态的数组），这个类型无法匹配上述“单一状态数组的联合”——TypeScript严格区分「元素类型为联合的数组」和「数组类型的联合」：前者允许数组同时存在多种元素，后者要求数组只能是某一种单一元素的集合，因此触发类型不兼容错误。

联合类型参数的行为差异 #

再看unionTypeFn的参数A<T> | B<T>：

• 当T是ApprovalType时，A<T>和B<T>结构完全一致，都是{ options: ApprovalType[] }
• 因此A<T> | B<T>等价于{ options: ApprovalType[] }，和你传入的数组类型完全匹配，所以没有类型错误。

补充：避免分布式条件类型的方法 #

如果想让条件类型不对联合类型拆分计算，可以把泛型参数用方括号包裹，变成非分布式的条件类型：

function conditionalTypeFn<T>(props: [T] extends [string] ? B<T> : A<T>) {
    return props;
}
conditionalTypeFn<ApprovalType>({
    options: ["PENDING", "APPROVED", "REJECTED"], // ✅ 现在不会报错
});

这种写法会把整个联合类型ApprovalType作为整体判断，最终得到的类型是B<ApprovalType>即{ options: ApprovalType[] }，和传入参数类型匹配。

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