使用条件类型时函数参数类型依赖另一参数的类型问题

这两种写法都没法让TypeScript在if(multiple)分支里自动把value的类型收窄成number[]，具体原因如下：

一、不带泛型的写法问题 #

你这里的条件类型typeof multiple extends true ? number[] : number是在函数定义阶段就直接计算出结果的，并非动态关联multiple的实际值。typeof multiple的结果是boolean类型，而boolean extends true这个判断不成立（boolean是true | false的联合类型，并不是true的子类型），所以整个条件类型最终会被解析为number。也就是说，不管你传入的multiple是true还是false，value的类型都会被固定为number——这就导致在if(multiple)分支里把value赋值给number[]必然报错。

二、带泛型的写法问题 #

泛型版本的核心问题是：TypeScript在函数内部无法通过检查multiple的值，反向收窄泛型参数T的类型。

• 如果你直接调用foo(true, [1,2,3])，T会被推断为true，此时value的类型是number[]，分支里赋值不会有问题；
• 但如果调用时multiple是一个boolean类型的变量（比如const flag: boolean = Math.random() > 0.5; foo(flag, flag ? [1] : 2)），T会被推断为boolean，此时value的类型是number[] | number。

在函数内部写if(multiple)时，TypeScript只能识别出multiple当前是true，但它不会把这个信息关联回泛型T，不会自动将T从boolean收窄为true，所以value的类型依然是number[] | number，赋值给number[]就会触发类型不兼容错误。

解决方法 #

要实现你想要的“根据multiple的类型关联value的类型，且分支内类型自动收窄”，推荐两种方案：

1. 使用函数重载 #

直接定义重载签名，明确不同参数组合的类型约束：

function foo(multiple: true, value: number[]): void;
function foo(multiple: false, value: number): void;
function foo(multiple: boolean, value: number[] | number): void {
  if (multiple) {
    let test: number[] = value; // 类型收窄正常
  }
}

2. 使用判别式联合类型作为参数 #

把参数打包成对象，用multiple作为判别式，让TypeScript自动识别类型关联：

function foo(params: { multiple: true; value: number[] } | { multiple: false; value: number }) {
  if (params.multiple) {
    let test: number[] = params.value; // 自动收窄为number[]
  } else {
    let test: number = params.value; // 自动收窄为number
  }
}

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