TypeScript条件返回类型报错：无需as运算符的解决方案

你编写了一个接收布尔类型参数的函数，期望输入false时返回0，输入true时返回1，代码如下：

const f = <T extends boolean>(value: T): false extends T ? 0 : 1 => {
  if (value === false) return 0;
  else return 1;
};

但TypeScript在两个return语句处均报错：Type '0' is not assignable to type 'false extends T ? 0 : 1'。以下是两种无需使用as类型断言的解决办法：

方案1：使用函数重载 #

函数重载可以明确绑定不同输入值对应的返回类型，TypeScript能准确匹配每个分支的类型：

function f(value: false): 0;
function f(value: true): 1;
function f(value: boolean): 0 | 1 {
  if (value === false) return 0;
  return 1;
}

调用时的类型推断：

• f(false) → 返回类型为0
• f(true) → 返回类型为1
• 传入动态布尔值（如Math.random() > 0.5）→ 返回类型为0 | 1

方案2：调整泛型条件类型并简化返回逻辑 #

原泛型条件类型false extends T ? 0 : 1存在逻辑歧义：当T为boolean时，false extends boolean为true，返回类型会被错误推断为0，但实际函数可能返回0或1。

将条件类型调整为T extends true ? 1 : 0，并改用三元表达式返回结果，TypeScript会自动收缩类型并匹配泛型约束：

const f = <T extends boolean>(value: T): T extends true ? 1 : 0 => {
  return value ? 1 : 0;
};

这种写法既保持了泛型的灵活性，又能让TypeScript正确验证返回值类型，无需额外断言。

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