如何在TypeScript中定义依赖字段仅引用自身键的对象类型？

完全可行，你可以通过泛型类型约束实现这个需求，让TypeScript自动检查dependencies中的值是否为当前对象已存在的键，仅在出现无效键时触发错误。

具体实现方案 #

核心思路是利用泛型动态关联对象的键集合，确保每个dependencies数组只能包含对象自身的键：

// 定义单个元素的基础结构
type BaseItem = {
  dependencies: string[];
};

// 泛型类型，约束每个元素的dependencies只能是对象键的子集
type ValidItemMap<T extends Record<string, BaseItem>> = {
  [K in keyof T]: {
    dependencies: (keyof T)[];
  };
};

// 辅助函数：自动推断泛型，避免手动指定键集合
function createValidItems<T extends ValidItemMap<T>>(items: T): T {
  return items;
}

使用示例 #

用上述辅助函数创建目标对象，TypeScript会自动检查dependencies的有效性：

const items = createValidItems({
  one: {
    dependencies: [], // 合法：空数组无问题
  },
  two: {
    dependencies: ['one'], // 合法：'one'是已存在的键
  },
  three: {
    dependencies: ['one', 'two'], // 合法：两个键都存在
  },
  four: {
    dependencies: ['one', 'shouldfail'], // 报错："shouldfail"不是对象的有效键
  },
});

原理说明 #

• 泛型T会被TypeScript自动推断为传入对象的完整键集合（这里是"one" | "two" | "three" | "four"）。
• ValidItemMap<T>会遍历对象的每个键，将对应元素的dependencies类型约束为(keyof T)[]，即只能包含T的键。
• 辅助函数createValidItems的作用是让TypeScript自动完成泛型推断，无需手动写出所有键的联合类型，保持代码灵活性。

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