Angular中TypeScript对象数组path属性重复的编译期校验方案

要在TypeScript的类型检查/构建阶段检测对象数组中path属性的重复，有两种可靠的方案，均无需运行时逻辑：

方案1：泛型函数约束字面量path的唯一性 #

如果你的path是硬编码的字面量字符串，可以通过泛型函数让TypeScript自动推断并检查每个path的唯一性：

interface MappedPath {
  path: string;
  personal: { name?: string; email?: string; };
}

// 泛型函数，强制数组中所有path的字面量唯一
function createUniquePathArray<T extends MappedPath[]>(
  arr: T extends { [K in keyof T]: { path: infer P } } 
    ? P extends string 
      ? [...{ [K in keyof T]: { path: Exclude<P, T[Exclude<keyof T, K>]['path']> } }]
      : never
    : never
): T {
  return arr;
}

// ❌ 类型错误：path重复，TypeScript会提示类型不匹配
const badArray = createUniquePathArray([
  {
    path: '/same/path/here',
    personal: { name: 'Henry' }
  },
  {
    path: '/same/path/here',
    personal: { email: 'x@gmail.com' }
  }
]);

// ✅ 无错误：path唯一，即使personal属性相同也不影响
const goodArray = createUniquePathArray([
  {
    path: '/path/A',
    personal: { email: 'x@gmail.com' }
  },
  {
    path: '/path/A/somewhere',
    personal: { email: 'x@gmail.com' }
  }
]);

原理：函数通过泛型推断每个元素的path字面量类型，再用Exclude排除掉其他元素已使用的path，一旦出现重复，TypeScript会检测到类型冲突并在构建阶段报错。

方案2：枚举+Record类型约束固定path集合 #

如果你的path是预定义的固定集合，用枚举限定所有允许的路径，再通过Record类型确保每个路径只被使用一次：

// 定义所有允许的唯一路径枚举
enum UniquePaths {
  PathRoot = '/same/path/here',
  PathA = '/path/A',
  PathASub = '/path/A/somewhere'
}

interface MappedPath {
  path: UniquePaths;
  personal: { name?: string; email?: string; };
}

// 生成只能包含每个枚举路径一次的数组类型
type UniquePathArray = { [K in UniquePaths]: MappedPath & { path: K } }[UniquePaths][];

// ❌ 类型错误：重复使用PathRoot
const badArray: UniquePathArray = [
  { path: UniquePaths.PathRoot, personal: { name: 'Henry' } },
  { path: UniquePaths.PathRoot, personal: { email: 'x@gmail.com' } }
];

// ✅ 无错误：每个路径仅使用一次
const goodArray: UniquePathArray = [
  { path: UniquePaths.PathA, personal: { email: 'x@gmail.com' } },
  { path: UniquePaths.PathASub, personal: { email: 'x@gmail.com' } }
];

原理：枚举限定了所有合法的path值，Record类型为每个枚举值生成唯一的对象类型，数组必须是这些唯一类型的集合，重复使用同一个枚举值会触发类型错误。

注意事项 #

• 上述两种方案均仅在编译/类型检查阶段生效，不会产生额外的运行时代码，完全符合你的需求。
• 如果path是动态生成的（比如来自变量或接口返回值），TypeScript无法在编译阶段推断字面量，此时可以自定义ESLint规则，通过静态代码分析检测path的重复。

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