TypeScript错误2532：枚举键对象方括号访问提示对象可能未定义

你遇到的问题核心是：TypeScript无法自动识别info中存在的键必然在fruits中存在——尽管你逻辑上能确定这一点，但因为两个类型都使用了可选索引?，TS默认会认为fruits[key]可能是undefined，从而抛出2532错误。

以下是几种适配你场景的解决方案：

方案1：直接类型断言（快速简洁） #

既然你能100%确定存在对应键的值，直接用类型断言告诉TypeScript这个值是number类型：

function makeMeal(info : fruitsInfo, fruits : numberOfFruits) {
   for (const keyStr in info) {
      const key = keyStr as Fruits;
      // 断言fruits[key]为number，跳过undefined检查
      if ((fruits[key] as number) > 2) {
         console.log("You eat a lot!")
      }
   }
}

方案2：自定义类型守卫（更严谨的类型安全） #

如果希望在保留类型检查的同时传递逻辑约束，可以写一个类型守卫函数，让TS明确知道通过检查后fruits[key]一定存在：

// 类型守卫：验证fruits中存在指定键的有效值
function hasValidFruitCount(key: Fruits, fruits: numberOfFruits): fruits is Pick<numberOfFruits, typeof key> {
  return typeof fruits[key] === 'number';
}

function makeMeal(info : fruitsInfo, fruits : numberOfFruits) {
   for (const keyStr in info) {
      const key = keyStr as Fruits;
      // 先通过类型守卫确认存在，再进行数值判断
      if (hasValidFruitCount(key, fruits) && fruits[key] > 2) {
         console.log("You eat a lot!")
      }
   }
}

方案3：通过泛型绑定类型关联（从根源消除歧义） #

虽然你无法移除可选符，但可以通过泛型将info和fruits的键集合绑定，让TS知晓两者的关联关系：

enum Fruits {
   Apple = "Apple",
   Banana = "Banana",
   // 其他枚举值...
}

// 用泛型K约束键的范围
type fruitsInfo<K extends Fruits = Fruits> = {
  [key in K]: { cal: number, carb: number }
};

type numberOfFruits<K extends Fruits = Fruits> = {
  [key in K]: number
};

// 函数使用泛型K，确保info的键是fruits键的子集（通过Partial保留可选性）
function makeMeal<K extends Fruits>(info: Partial<fruitsInfo<K>>, fruits: numberOfFruits<K>) {
   for (const keyStr in info) {
      const key = keyStr as K;
      // TS现在能推断fruits[key]一定是number，不会报错
      if (fruits[key] > 2) {
         console.log("You eat a lot!")
      }
   }
}

这个方案通过泛型让TS理解info的键必然存在于fruits中，从根源解决了类型推断的歧义。

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