TypeScript中如何定义类型确保数组包含接口全部必填属性？

现有如下TypeScript接口定义：

interface User { 
  firstName: string;
  lastName: string;
  email: string;
  age?: number;
}

当前定义变量：

const requiredFields: Array<keyof User> = ['firstName', 'lastName'];

此时未触发编译错误，但该变量不符合要求——User接口中的email同样是必填属性，却被遗漏了。需要调整requiredFields的类型定义，确保数组必须包含接口的所有必填属性。

第一步：提取必填属性的键类型 #

先定义一个工具类型RequiredKeys<T>，用来从目标接口中筛选出所有必填属性的键（自动排除带?标记的可选属性）：

type RequiredKeys<T> = { 
  [K in keyof T]-?: {} extends Pick<T, K> ? never : K 
}[keyof T];

针对示例中的User接口，RequiredKeys<User>会被解析为"firstName" | "lastName" | "email"，即所有必填属性的键集合。

第二步：约束数组包含所有必填属性 #

提供两种常用实现方式，确保数组内容符合要求：

方式一：直接通过类型约束定义变量 #

定义条件类型IncludesAllRequired，检查数组是否完全覆盖所有必填属性：

type IncludesAllRequired<T extends readonly RequiredKeys<User>[]> = 
  RequiredKeys<User> extends T[number] ? T : never;

使用该类型约束变量：

// ✅ 合法：包含所有必填属性
const requiredFields: IncludesAllRequired<['firstName', 'lastName', 'email']> = ['firstName', 'lastName', 'email'];

// ❌ 报错：缺少必填属性email
const missingFields: IncludesAllRequired<['firstName', 'lastName']> = ['firstName', 'lastName'];

// ❌ 报错：包含了可选属性age，不在必填键范围内
const extraFields: IncludesAllRequired<['firstName', 'lastName', 'email', 'age']> = ['firstName', 'lastName', 'email', 'age'];

方式二：通过函数参数约束（更直观） #

创建工厂函数，利用参数类型自动验证数组内容，无需手动指定泛型：

function createRequiredFields<T extends readonly RequiredKeys<User>[]>(
  fields: T extends any ? (RequiredKeys<User> extends T[number] ? T : never) : never
) {
  return fields;
}

// ✅ 合法
const requiredFields = createRequiredFields(['firstName', 'lastName', 'email']);

// ❌ 报错：缺少email，参数类型不匹配
const missingFields = createRequiredFields(['firstName', 'lastName']);

// ❌ 报错：包含可选属性age，参数类型不匹配
const extraFields = createRequiredFields(['firstName', 'lastName', 'email', 'age']);

内容的提问来源于stack exchange，提问作者אייל חנגר