TypeScript泛型约束下条件类型Primary<T>返回值不匹配如何解决

报错原因 #

TypeScript 不会在泛型函数的实现阶段提前解析依赖泛型参数的条件类型（也就是你代码中的Primary<T>）的最终类型。即使你通过T extends ID & NAME约束了T必然符合ID的定义，TS 也不会主动推导Primary<T>等价于number，而是会把Primary<T>视为未确定的独立类型，因此会抛出类型不兼容的报错。

解决方法 #

你可以根据自己的使用场景选择以下任意一种方案：

方案1：加类型断言（最适配现有逻辑） #

如果你已经确定所有符合约束的T对应的Primary<T>一定是number，直接加类型断言即可，不会影响调用侧的类型推导：

function idOf<T extends ID & NAME>(p: T): Primary<T> {
  return p.id as Primary<T>;
}

方案2：简化返回值类型 #

如果你的场景不需要保留Primary<T>的泛型关联，完全可以直接把返回值定义为number，写法更简洁，也没有类型安全问题：

function idOf<T extends ID & NAME>(p: T): number {
  return p.id;
}

方案3：重构Primary工具类型（适配更通用的场景） #

如果你的Primary是通用工具类，后续需要支持不同类型的主键（比如字符串、联合类型等），可以把它改成直接提取属性的写法，避免TS解析条件类型的限制：

type ID = { id: number };
type NAME = { name: string };
// 改成直接提取id属性类型，不需要条件判断
type Primary<T extends ID> = T['id'];

function idOf<T extends ID & NAME>(p: T): Primary<T> {
  return p.id;
}

这种写法TS可以直接识别Primary<T>就是T的id属性类型，完全不会报错，同时还保留了泛型的灵活性。

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