TypeScript条件类型赋值报错：为何""|never[]无法匹配目标类型？

你的代码报错核心原因是：TypeScript无法将运行时三元表达式的返回值（"" | never[]联合类型），与泛型条件类型（Multiple extends true ? string[] : string）做精确匹配。

具体原因拆解 #

当你用泛型参数Multiple定义条件类型时，这个条件类型是编译时的泛型约束推导，而非运行时的类型收窄。TS在编译阶段无法确定Multiple到底是true还是false，会把三元表达式的结果推断为联合类型"" | never[]（空数组默认被推断为never[]，而非string[]），但你的条件类型要求的是二选一的具体类型，不是联合类型，因此触发类型不兼容报错。

解决方法 #

方法1：类型断言（快速解决，需确保逻辑正确）

直接告知TS你确定赋值类型符合条件约束，同时要修正空数组的默认推断问题：

function Test<Multiple extends boolean>(multiple: Multiple) {
  const value: Multiple extends true ? string[] : string = (multiple ? [] as string[] : "") as Multiple extends true ? string[] : string;
}

方法2：函数重载（更优雅，类型更安全）

用重载替代泛型条件类型，让TS根据传入参数类型精确推断类型：

// 重载签名
function Test(multiple: true): void;
function Test(multiple: false): void;
// 实现签名
function Test(multiple: boolean) {
  const value = multiple ? [] as string[] : "";
}

传入true时，TS会自动推断value为string[]；传入false时推断为string，完全符合类型约束。

方法3：显式指定数组类型（简化泛型写法）

如果坚持使用泛型，可以先明确空数组的类型为string[]，再配合断言：

function Test<Multiple extends boolean>(multiple: Multiple) {
  const value: Multiple extends true ? string[] : string = multiple ? [] as string[] : "";
}

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