TypeScript 5中布尔标识控制对象类型收窄的类型错误问题

问题原因 #

TypeScript无法自动关联对象里isMulti和value的类型配对关系。当你直接传入{ isMulti: incomingMulti, value }时，TS会把isMulti推断为宽泛的boolean类型，value推断为string | string[]类型，而非识别出两者的绑定关系（isMulti: true对应value: string[]，isMulti: false对应value: string），因此无法匹配Input联合类型的要求。

解决方案 #

1. 用as const保留字面量类型 #

在传入对象时添加as const，强制TS将属性类型锁定为字面量，建立两者的关联：

function test(incomingMulti: boolean) {
  const value = incomingMulti ? ['1'] : '1';
  return multi({ isMulti: incomingMulti, value } as const);
}

2. 泛型函数+条件类型 #

通过泛型让TS跟踪incomingMulti的具体布尔字面量类型，再用条件类型推导对应value的类型：

function test<T extends boolean>(incomingMulti: T) {
  const input: T extends true ? { isMulti: true, value: string[] } : { isMulti: false, value: string } = {
    isMulti: incomingMulti,
    value: incomingMulti ? ['1'] : '1'
  } as const;
  return multi(input);
}

3. 类型断言（谨慎使用） #

直接将对象断言为Input类型，适合你能确保类型匹配的场景：

function test(incomingMulti: boolean) {
  const value = incomingMulti ? ['1'] : '1';
  return multi({ isMulti: incomingMulti, value } as Input);
}

为什么分支写法（test2）能正常运行？ #

在test2的分支逻辑中，isMulti被明确赋值为true或false字面量，value也对应为string[]或string，TS能清晰识别每个分支的对象属于Input联合类型的具体分支，因此不会报错。

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