TypeScript布尔条件类型问题：函数返回类型无法匹配输入类型

你遇到的核心问题是：TypeScript的控制流分析只能缩小当前值的类型，无法直接关联到泛型参数T的类型约束。

在你的代码里，t === true确实能把变量t的类型缩小为true，但编译器不会因此推断出泛型参数T就是true——因为T是在函数调用时确定的（比如调用f(Math.random() > 0.5)时，T会被推导为boolean），函数体内部的逻辑无法反向修改泛型参数的类型范围，所以返回值的条件类型T extends true ? true : false和实际返回的boolean类型无法对齐，导致类型错误。

解决方案 #

1. 使用类型断言（简单直接）

直接将返回值断言为对应的条件类型，强制编译器认可类型匹配：

const f = <T extends boolean>(t: T): T extends true ? true : false => 
  (t === true ? true : false) as T extends true ? true : false;

2. 使用函数重载（更优雅，推荐）

通过重载签名明确对应输入输出的类型关系，让编译器精准推断：

function f(t: true): true;
function f(t: false): false;
function f(t: boolean): boolean {
  return t === true ? true : false;
}

// 调用示例
const a = f(true); // 类型为true
const b = f(false); // 类型为false
const c = f(Math.random() > 0.5); // 类型为boolean

3. 利用字面量类型推导（适用于固定字面量输入）

如果调用时传入的是布尔字面量，可以让T推导为字面量类型，同时通过条件类型直接返回对应类型：

const f = <T extends true | false>(t: T): T => t as T;

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