布尔泛型场景下TypeScript条件类型失效问题咨询

核心问题 #

这段代码的问题在于泛型参数的条件类型无法被函数内部的控制流分析正确关联。当B是一个泛型类型（extends boolean）时，TypeScript在函数内部无法确定B的具体取值是true还是false，因此会将b ? 1 : "1"的类型推断为number | string。而C是依赖于B的条件类型，属于“延迟解析”的类型，只有当函数被调用、B被具体实例化时才会确定具体类型。此时TypeScript无法验证number | string是否总能匹配C的具体分支，因此抛出类型不兼容错误。

解决方案 #

方案1：使用函数重载

通过重载明确区分两种参数情况，让TypeScript能精准推断类型：

// 重载签名：明确两种输入对应的类型逻辑
function fnc(b: true): void;
function fnc(b: false): void;
// 实现签名
function fnc(b: boolean) {
  type C = typeof b extends true ? number : string;
  const isTrue: C = b ? 1 : "1"; // 无类型错误
  // 其他使用C的代码
}

方案2：抽离泛型辅助函数

将赋值逻辑封装为泛型函数，让TypeScript正确关联条件类型与返回值：

function getValue<B extends boolean>(b: B): B extends true ? number : string {
  return b ? 1 : "1" as any;
}

function fnc<B extends boolean>(b: B){
  type C = B extends true ? number : string;
  const isTrue: C = getValue(b); // 无类型错误
  // 其他使用C的代码
}

方案3：简化类型断言（不推荐大量使用）

如果不想重构代码，也可以只在一处断言，后续复用该变量即可，避免多处断言：

function fnc<B extends boolean>(b: B){
  type C = B extends true ? number : string;
  const isTrue = (b ? 1 : "1") as C;
  // 后续使用isTrue时无需再断言
}

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