如何解决TypeScript索引错误，让非法索引返回undefined类型？

当然可以实现这个需求，以下是几种无需类型断言的可行方案：

方案1：类型守卫+条件判断 #

先通过类型守卫判断key是否属于myObject的键集合，再执行取值操作，TypeScript会自动推导正确的类型：

const myObject = {
  foo: 'val1',
  bar: 'val2'
} as const

type ObjectKeys = keyof typeof myObject;

const key: string = getKey(); // 返回任意字符串

const result: 'val1' | 'val2' | undefined = 
  (key as ObjectKeys) in myObject ? myObject[key as ObjectKeys] : undefined;

(key as ObjectKeys) in myObject会触发类型守卫逻辑，TypeScript会识别：当条件为真时，key的类型是ObjectKeys，此时取值完全安全；条件为假时返回undefined，最终类型自然匹配'val1' | 'val2' | undefined。

方案2：封装通用工具函数 #

如果需要多次复用这类逻辑，可以封装一个通用工具函数，让TypeScript自动推导返回类型：

const myObject = {
  foo: 'val1',
  bar: 'val2'
} as const

function getSafeValue<T extends object>(obj: T, key: string): T[keyof T] | undefined {
  return key in obj ? (obj as any)[key] : undefined;
}

const key: string = getKey();
const result = getSafeValue(myObject, key); // 类型自动推导为 'val1' | 'val2' | undefined

这个函数适用于任意对象，返回类型会根据输入对象自动适配，无需重复定义类型。

方案3：用Object.hasOwnProperty做严格判断 #

如果需要避免原型链属性的干扰，可以用Object.hasOwnProperty做更严谨的键存在性检查：

const myObject = {
  foo: 'val1',
  bar: 'val2'
} as const

type ObjectKeys = keyof typeof myObject;

const key: string = getKey();

const result: 'val1' | 'val2' | undefined = 
  myObject.hasOwnProperty(key) ? myObject[key as ObjectKeys] : undefined;

这里同样通过条件判断配合类型断言，让TypeScript识别合法键的类型，非法键时返回undefined，完全符合需求。

内容的提问来源于stack exchange，提问作者Adam D.