TypeScript未警告访问FIELD_NAMES不存在的键，该如何解决？

你遇到的问题根源在于显式指定的Record<string, keyof FormValue>类型覆盖了as const带来的字面量类型推断。Record<string, ...>表示对象的键可以是任意字符串，所以TypeScript认为FIELD_NAMES.X是合法访问，不会抛出错误。

解决方案1：移除显式类型，让TypeScript自动推断 #

去掉: Record<string, keyof FormValue>，保留as const，TypeScript会自动推断出FIELD_NAMES的键是'FIELD_A'和'FIELD_B'的字面量类型，此时访问不存在的键（如X）就会触发类型警告。同时可添加类型验证，确保值确实是FormValue的键：

interface FormValue {
  fieldA: string;
  fieldB: number;
}

// 移除显式类型，保留as const以锁定字面量类型
const FIELD_NAMES = {
  FIELD_A: 'fieldA',
  FIELD_B: 'fieldB'
} as const;

// 可选：验证所有值都是FormValue的合法键
type FieldValues = typeof FIELD_NAMES[keyof typeof FIELD_NAMES];
// 如果FIELD_NAMES中有值不是FormValue的键，这里会报错
type ValidateKeys = FieldValues extends keyof FormValue ? true : false;

解决方案2：使用satisfies运算符（TypeScript 4.9+） #

satisfies运算符可以确保对象满足指定类型约束，但不会覆盖TypeScript推断出的精确字面量类型。这样既保证FIELD_NAMES的值都是FormValue的键，又保留了对键的精确类型检查：

interface FormValue {
  fieldA: string;
  fieldB: number;
}

const FIELD_NAMES = {
  FIELD_A: 'fieldA',
  FIELD_B: 'fieldB'
} as const satisfies Record<string, keyof FormValue>;

解决方案3：显式定义精确类型 #

手动定义FIELD_NAMES的类型，明确限定键的范围，同时确保值对应FormValue的键：

interface FormValue {
  fieldA: string;
  fieldB: number;
}

// 定义精确的键值对类型
type FieldNamesType = {
  readonly FIELD_A: 'fieldA';
  readonly FIELD_B: 'fieldB';
};

const FIELD_NAMES: FieldNamesType = {
  FIELD_A: 'fieldA',
  FIELD_B: 'fieldB'
} as const;

若字段较多，可通过临时对象提取类型，更灵活：

interface FormValue {
  fieldA: string;
  fieldB: number;
}

// 先定义临时对象，提取其类型
const _FIELD_NAMES = {
  FIELD_A: 'fieldA',
  FIELD_B: 'fieldB'
} as const;

type FieldNamesType = typeof _FIELD_NAMES;

// 验证值类型合法性
type ValidateKeys = typeof _FIELD_NAMES[keyof typeof _FIELD_NAMES] extends keyof FormValue ? true : false;

const FIELD_NAMES: FieldNamesType = _FIELD_NAMES;

内容的提问来源于stack exchange，提问作者Renaud is Not Bill Gates