如何使用TypeScript限制嵌套对象中的字符串类型只能为同一对象的键？

你需要的是让嵌套子对象的字符串字段严格引用父对象的键，或者允许为null。这个需求可以通过TypeScript的泛型+索引类型组合来实现，核心是用泛型捕获父对象的所有键，再将子对象的字段约束为这些键的联合类型或null。

步骤1：定义子对象的约束类型 #

首先我们定义一个泛型Player类型，它接受一个类型参数K（代表父对象的所有键的联合类型），然后把isTargeting字段约束为K | null：

type Player<K extends string> = {
  isTargeting: K | null;
};

步骤2：定义父对象的约束类型 #

接下来定义父对象Players类型，同样用泛型K捕获键集合，通过索引类型确保每个键对应的子对象都是Player<K>类型：

type Players<K extends string> = {
  [Key in K]: Player<K>;
};

步骤3：使用约束类型 #

现在你可以直接用Players类型来约束你的对象，或者用一个辅助函数让TypeScript自动推导键类型（更灵活）：

方式1：手动指定键类型

const validGamePlayers: Players<'uniquePlayerId1' | 'uniquePlayerId2'> = {
  uniquePlayerId1: { isTargeting: 'uniquePlayerId2' }, // ✅ 合法，是父对象的键
  uniquePlayerId2: { isTargeting: null }, // ✅ 合法，允许为null
};

// 错误示例（TypeScript会报错）
const invalidGamePlayers: Players<'uniquePlayerId1' | 'uniquePlayerId2'> = {
  uniquePlayerId1: { isTargeting: 'nonExistentPlayer' }, // ❌ 非法，不是父对象的键
  uniquePlayerId2: { isTargeting: 123 }, // ❌ 非法，类型不匹配
};

方式2：辅助函数自动推导键类型

如果不想手动写键的联合类型，可以用一个辅助函数让TypeScript自动捕获父对象的键：

function createPlayers<K extends string>(players: Players<K>): Players<K> {
  return players;
}

// 自动推导键类型，无需手动指定
const gamePlayers = createPlayers({
  alice: { isTargeting: 'bob' },
  bob: { isTargeting: 'alice' },
  charlie: { isTargeting: null },
});

// 错误示例（会触发TypeScript错误）
const badPlayers = createPlayers({
  alice: { isTargeting: 'dave' }, // ❌ dave不在父对象的键集合中
});

为什么这个方案有效？ #

之前你尝试的K extends string没有结合泛型的“捕获”能力和索引类型的遍历能力。这里的泛型K会动态捕获父对象的所有键的联合类型，然后Player<K>将isTargeting严格约束为这些键或null，Players<K>则确保每个子对象都遵循这个规则。

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