TypeScript如何定义仅以自身键为值的图边类型？

一、直接自引用类型失效的原因 #

你尝试的直接定义方式：

type EdgesT = { [name: string]: Exclude<keyof EdgesT, name>[]; };

无法生效的核心原因有两点：

1. 字符串索引签名的特性：当使用[name: string]作为索引签名时，keyof EdgesT会被解析为string | number（JavaScript对象键会自动转为字符串），而非具体的节点名称集合。这导致Exclude<keyof EdgesT, name>等价于Exclude<string, string>，最终得到空类型，完全不符合预期。
2. 循环类型引用的限制：TypeScript不支持在非泛型的索引签名中动态引用自身的具体键集合。这类自引用仅能在泛型上下文（通过类型参数推断具体键）中生效，因为泛型类型会在使用时根据传入的值确定具体的键集合。

二、泛型约束T extends Record<string, number>无效的原因 #

在泛型写法中：

type BuildEdges<T> = { [Name in keyof T]: Exclude<keyof T, Name>[]; };
const fn = <T>(edges: BuildEdges<T>) => null;

• 当约束为<T extends Record<string, any>>或<T extends Record<string, unknown>>时，any和unknown作为顶级类型，可以兼容BuildEdges<T>中属性值的string[]类型，因此类型检查能通过。
• 而约束为<T extends Record<string, number>>时，T的属性值被限定为number类型，但BuildEdges<T>的属性值是Exclude<keyof T, Name>[]（即字符串数组），两者类型完全不兼容，导致TypeScript无法找到符合约束的T，因此该约束无效。

三、优化方案与替代实现 #

1. 基于节点名称联合类型的泛型实现 #

我们只需要关注节点名称的集合，而非对象的属性值，因此可以将泛型约束改为节点名称的联合类型，让类型推断更精准：

type BuildEdges<T extends string> = { [K in T]: Exclude<T, K>[] };

const defineEdges = <T extends string>(edges: BuildEdges<T>) => edges;

// 使用示例
const graphEdges = defineEdges({
  nodeA: ['nodeB', 'nodeC'],
  nodeB: ['nodeA'],
  nodeC: ['nodeA', 'nodeB']
});
// graphEdges的类型会被推断为：
// { nodeA: ("nodeB" | "nodeC")[]; nodeB: ("nodeA")[]; nodeC: ("nodeA" | "nodeB")[] }

2. 直接定义具体节点的边类型 #

如果节点集合是固定的，可以直接用联合类型定义节点，再生成对应的边类型：

type GraphNode = 'nodeA' | 'nodeB' | 'nodeC';
type GraphEdges = { [K in GraphNode]: Exclude<GraphNode, K>[] };

// 符合类型的边定义
const fixedEdges: GraphEdges = {
  nodeA: ['nodeB', 'nodeC'],
  nodeB: ['nodeA'],
  nodeC: ['nodeA', 'nodeB']
};

3. 类型限制说明 #

TypeScript的核心限制在于：非泛型的索引签名无法捕获具体的键集合，只能表示“任意字符串键”的开放结构。只有通过泛型在使用时推断具体的键集合，才能实现“每个键对应其他键的数组”的严格类型约束。这种设计是为了平衡类型系统的灵活性与确定性——开放的索引签名无法提供具体键的类型信息，而泛型则能在具体场景中锁定类型范围。

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