TypeScript条件类型错误推断联合类型，如何规避该类型错误？

问题重现 #

当使用条件类型处理联合类型的泛型参数时，TypeScript会错误地将输入推断为联合中单个成员的数组的联合（如"a"[] | "b"[] | "c"[]），而非联合类型的数组（如StringUnion[]），导致类型不匹配错误。

代码示例：

type StringUnion = 'a' | 'b' | 'c'

const a: StringUnion[] = ['a']

function conditionalTest<T>(props: { data: T extends string ? T[] : { inner: T[] } }): T {
  if ('inner' in props.data) {
    return props.data.inner[0];
  }
  return props.data[0];
}

const conditionalResult = conditionalTest({ data: a }) // 类型错误

错误提示：

Type 'StringUnion[]' is not assignable to type "a"[] | "b"[] | "c"[]'.
  Type 'StringUnion[]' is not assignable to type "a"[]'.
    Type 'StringUnion' is not assignable to type "a"'.
      Type "b"' is not assignable to type "a"'.ts(2322)

原因分析 #

这源于TypeScript的分发条件类型特性：当条件类型的左侧是一个裸类型参数（未被包裹在元组、对象等结构中），且该参数为联合类型时，TypeScript会自动将条件类型分发到联合的每个成员上执行。

在你的代码中，T extends string ? T[] : { inner: T[] }里的T是裸类型参数，当T为StringUnion（'a'|'b'|'c'）时，条件类型会被展开为：

('a' extends string ? 'a'[] : ...) | ('b' extends string ? 'b'[] : ...) | ('c' extends string ? 'c'[] : ...)

最终得到"a"[] | "b"[] | "c"[]，而你传入的StringUnion[]无法匹配这个类型，因此触发报错。

解决方案 #

要避免条件类型的自动分发，只需将裸类型参数T包裹在一个非裸结构中（比如元组[T]），让整个联合类型作为一个整体参与条件判断，而非被拆分成单个成员处理。

修改后的函数代码：

type StringUnion = 'a' | 'b' | 'c'

const a: StringUnion[] = ['a']

function conditionalTest<T>(props: { data: [T] extends [string] ? T[] : { inner: T[] } }): T {
  if ('inner' in props.data) {
    return props.data.inner[0];
  }
  return props.data[0];
}

const conditionalResult = conditionalTest({ data: a }) // 无错误，类型推断为StringUnion

原理说明 #

将T包裹在元组[T]后，条件类型[T] extends [string]会把T作为整体处理：

• 当T是联合类型StringUnion时，[T]就是[StringUnion]，整个元组与[string]判断结果为true，返回T[]即StringUnion[]，与输入类型匹配。
• 当T是非字符串类型时，条件判断为false，返回{ inner: T[] }，保留原逻辑。

这种方式既保留了条件类型的分支逻辑，又避免了对联合类型的错误分发。

内容的提问来源于stack exchange，提问作者David Y. Stephenson