TypeScript遍历类型字段时编译器未报错，如何让其检测错误？

定义如下类型（Whatever为无关类型）：

type MyType = {
  a: Whatever;
  b: Whatever;
  c: Whatever;
}

要对myObj: MyType对象的a和b字段执行操作，写出了以下代码：

(['a', 'b'] as (keyof MyType)[]).forEach(
  (field: keyof MyType): void => {
    // 对myObj[field]执行操作 
  }
)

但这段代码存在问题：当数组中加入类型不存在的字段（如d）时，编译器不会报错，无法起到类型检查作用。如何让编译器检测到这类错误？

解决方案 #

方法1：使用const断言结合satisfies约束 #

通过as const让数组字面量成为只读元组，再用satisfies约束它必须是keyof MyType的子集，非法键会直接触发编译错误。

const fields = ['a', 'b'] as const satisfies readonly (keyof MyType)[];

fields.forEach((field) => {
  // 对myObj[field]执行操作，field类型自动推断为"a" | "b"
});

若修改为['a', 'd']，编译器会提示：类型"d"不能赋值给类型"a" | "b" | "c"。

方法2：显式定义严格的数组/元组类型 #

直接指定数组的元素类型为目标键的联合类型，或精准定义元组结构，从根源限制数组内容：

// 允许包含a/b的任意顺序数组
const fields: ("a" | "b")[] = ['a', 'b'];
// 或严格限定元素顺序和数量的元组
// const fields: ["a", "b"] = ['a', 'b'];

fields.forEach((field) => {
  // 操作myObj[field]
});

当添加"d"时，编译器会报错，因为"d"不属于"a" | "b"类型范畴。

方法3：用工具函数做类型校验 #

封装工具函数，强制要求传入的数组元素必须是目标类型的键，非法输入会被拦截：

function getValidFields<T>(fields: readonly (keyof T)[]) {
  return fields;
}

const fields = getValidFields<MyType>(['a', 'b']);
// 传入['a', 'd']时，编译器直接报错

fields.forEach((field) => {
  // 操作myObj[field]
});

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