如何用TypeScript确保数组包含覆盖接口所有键的对象？

要确保数组中对象的property字段覆盖目标接口的所有键，你可以通过泛型约束+条件类型结合辅助函数来实现，核心思路是让数组元素的property联合类型与接口的键集合严格相等。

方案实现 #

// 定义数组元素的基础类型：property必须是目标接口的键，同时允许其他任意字段
type Item<T> = { property: keyof T } & Record<string, unknown>;

/**
 * 创建包含目标接口所有键的数组
 * @param arr 要校验的数组
 * @returns 校验通过的数组
 */
function createFullKeyArray<T, U extends Item<T>[]>(
  arr: U extends { [K in keyof U]: Item<T> } 
    ? (U[number]['property'] extends keyof T 
      ? (keyof T extends U[number]['property'] ? U : never) 
    : never) 
  : never
): U {
  return arr;
}

测试用例 #

// 目标接口
interface Test {
  prop1: string;
  prop2: string;
  prop3: string;
}

// ✅ 合法：包含所有键
const validArray = createFullKeyArray<Test>([
  { property: 'prop1', value: 'a' },
  { property: 'prop2', value: 'b' },
  { property: 'prop3', value: 'c' }
]);

// ❌ 不合法：缺少prop3，TypeScript会提示类型错误
const invalidArray = createFullKeyArray<Test>([
  { property: 'prop1', value: 'a' },
  { property: 'prop2', value: 'b' }
]);

// ❌ 不合法：包含非接口键prop4，TypeScript会提示类型错误
const extraKeyArray = createFullKeyArray<Test>([
  { property: 'prop1', value: 'a' },
  { property: 'prop2', value: 'b' },
  { property: 'prop3', value: 'c' },
  { property: 'prop4', value: 'd' }
]);

// ✅ 合法：允许重复键（只要所有键都存在）
const duplicateKeyArray = createFullKeyArray<Test>([
  { property: 'prop1', value: 'a' },
  { property: 'prop2', value: 'b' },
  { property: 'prop3', value: 'c' },
  { property: 'prop1', value: 'd' }
]);

原理说明 #

1. Item<T>类型：限制数组元素的property只能是目标接口T的键，同时通过Record<string, unknown>允许添加任意额外字段（如果不需要额外字段可直接删除该部分）。
2. 泛型函数约束：
   • 第一层约束确保数组的每个元素都是Item<T>类型，避免出现非接口键。
   • 第二层约束通过双向类型检查：
     • U[number]['property'] extends keyof T：确保数组中没有超出接口范围的键。
     • keyof T extends U[number]['property']：确保接口的所有键都在数组中存在。
       只有两个条件同时满足，类型才会通过，否则返回never触发类型错误。
3. 辅助函数的作用：让TypeScript将数组字面量推断为元组类型，而非普通数组类型，这样能精确获取每个元素的property类型，从而准确判断联合类型是否覆盖了所有接口键。

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