如何在TypeScript中约束favoriteRelative为relatives元素的name类型

要实现favoriteRelative必须匹配relatives数组中任意成员的name值，核心是让TypeScript捕获到relatives里name的字面量类型，而不是宽泛的string类型。以下是可行的实现方式：

方式一：利用const断言推导字面量类型 #

通过as const把relatives数组的元素name转为字面量，再让泛型自动提取联合类型：

type Person<Rel extends Array<{ name: string }>> = {
  name: string;
  relatives: Rel;
  favoriteRelative: Rel[number]['name'];
};

// 用const断言固定relatives中name的字面量类型
const myRelatives = [{ name: "Alice" }, { name: "Bob" }] as const;

// 此时favoriteRelative只能是'Alice'或'Bob'
const me: Person<typeof myRelatives> = {
  name: "Charlie",
  relatives: myRelatives,
  favoriteRelative: "Alice" // 合法
  // favoriteRelative: "Dave" // 报错：类型不匹配
};

方式二：递归泛型约束（支持嵌套relatives） #

如果需要支持relatives本身也是Person类型（嵌套结构），可以用递归泛型约束，同时捕获所有层级的name字面量：

type Person<Names extends string = string> = {
  name: string;
  relatives: Array<{ name: Names } & Omit<Person<Names>, "relatives">>;
  favoriteRelative: Names;
};

// 使用示例：嵌套结构下依然能约束favoriteRelative
const alice: Person<"Alice"> = {
  name: "Alice",
  relatives: [],
  favoriteRelative: "Alice" // 合法（自己也可以是favorite）
};

const bob: Person<"Alice" | "Bob"> = {
  name: "Bob",
  relatives: [alice],
  favoriteRelative: "Alice" // 合法
  // favoriteRelative: "Charlie" // 报错
};

为什么你之前的写法无效？ #

你之前的泛型R extends Array<Person>中，Person是递归的宽泛类型，TypeScript无法从中提取具体的name字面量，只能识别为string。只有当relatives的元素name是字面量类型时，TypeScript才能推导出具体的联合类型，这也是需要const断言或显式泛型参数的原因。

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