如何为TypeScript泛型指定精确类型而非使用extends约束？

你的核心问题在于，extends关键字遵循TypeScript的结构类型系统，允许传入目标类型的超类型（即带有额外属性的对象），但你需要严格限制参数只能是Cat或CatWithOwner，同时保留返回类型与参数类型的关联。

解决方案：自定义精确类型匹配约束 #

可以通过自定义Exact类型，强制泛型参数严格匹配指定类型，不允许额外属性：

// 定义精确类型匹配工具：确保T与U完全一致，无额外属性
type Exact<T, U> = T extends U 
  ? (U extends T ? T : never) 
  : never;

type Cat = {
  name: string;
}

type CatWithOwner = {
  owner: string;
} & Cat;

const getNicknamedCat = <C extends Cat | CatWithOwner>(
  // 使用Exact约束，确保C严格匹配Cat或CatWithOwner，无额外属性
  cat: Exact<C, Cat | CatWithOwner>
): C extends CatWithOwner
  ? CatWithOwner & { nickname: string }
  : Cat & { nickname: string } => {
  // 修正原代码错误：name应改为cat.name
  return { ...cat, nickname: cat.name + "y" };
};

验证效果 #

• 正常执行：传入标准Cat类型

  getNicknamedCat({ name: "Nick" }) // 返回类型：Cat & { nickname: string }
  

• 正常执行：传入标准CatWithOwner类型

  getNicknamedCat({ name: "Nick", owner: "Winston" }) // 返回类型：CatWithOwner & { nickname: string }
  

• 报错：传入带有额外属性的对象

  getNicknamedCat({ name: "Nick", unrelated: "foo" }) // 类型错误："unrelated"属性不在允许范围内
  

原理说明 #

Exact<T, U>类型通过双向约束实现精确匹配：

1. 首先检查T是否是U的子类型（确保属性至少包含目标类型的必要属性）
2. 再检查U是否是T的子类型（确保T没有额外属性）
   只有双向约束都满足时，才返回T，否则返回never触发类型错误。

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