TypeScript条件类型无法识别条件参数问题求助

这不是“无法通过条件变量实现类型收窄”，而是TypeScript默认无法追踪布尔变量与函数返回类型之间的关联逻辑，原因如下：

你的函数依赖条件类型，它的返回类型推断完全基于传入参数的字面量类型（true/false）。但当你使用一个类型为宽泛boolean的变量时，TypeScript无法确定该变量在调用函数时的具体值——变量的类型是包含两种可能的联合，因此函数返回类型会被推断为Person | PersonWithSurname的联合类型。后续你用这个变量做判断时，TS无法将变量的当前值和之前函数调用时的参数值绑定起来，自然无法收窄返回值的类型。

解决方案 #

1. 将变量转为字面量类型

如果变量的值是固定的，用as const将其类型锁定为字面量true或false，这样TS能正确推断函数返回类型，后续判断也能自动收窄：

type Person = { name: string };
type PersonWithSurname = Person & { surname: string };

type GetPersonReturn<T extends boolean> = T extends true ? PersonWithSurname : Person;

function getPerson<T extends boolean>(requestedSurname: T): GetPersonReturn<T> {
  return {
    name: "John",
    ...(requestedSurname ? { surname: "Doe" } : {})
  } as GetPersonReturn<T>;
}

// 变量转为字面量类型
const requestedSurname = true as const;
const result = getPerson(requestedSurname);

if (requestedSurname) {
  console.log(result.surname); // 无报错，类型已收窄为PersonWithSurname
}

2. 使用自定义类型守卫

如果变量是动态的（比如由运行时逻辑决定），可以写一个自定义类型守卫，手动建立变量与返回值类型的关联：

function isPersonWithSurname(
  result: Person | PersonWithSurname,
  requestedSurname: boolean
): result is PersonWithSurname {
  // 需确保逻辑正确：requestedSurname为true时，返回值必然包含surname
  return requestedSurname;
}

let requestedSurname = Math.random() > 0.5;
const result = getPerson(requestedSurname);

if (isPersonWithSurname(result, requestedSurname)) {
  console.log(result.surname); // 无报错
}

3. 手动指定泛型参数

如果你明确知道变量的当前值，也可以在调用函数时手动指定泛型参数，强制TS推断对应返回类型：

let requestedSurname = true;
const result = getPerson<true>(requestedSurname); // 强制返回PersonWithSurname

console.log(result.surname); // 无报错

总结 #

只要能让TypeScript建立起“布尔变量值”与“函数返回类型”之间的明确关联，就能实现基于条件变量的类型收窄。默认情况下TS做不到这一点，是因为宽泛的boolean类型丢失了参数的具体字面量信息。

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