为何已用类型守卫仍报“Object is possibly undefined”错误？

这是TypeScript类型系统的一个典型限制，我来给你理清楚背后的原因：

首先看你的代码，key的类型是联合类型 'a' | 'b' | 'c'，当你访问a[key]时，TypeScript会推导出它的类型是A['a'] | A['b'] | A['c']——也就是string | undefined，因为c是可选属性。

问题的核心在于TypeScript无法跟踪循环中联合类型索引的动态关联性：
你写的if (a[key] === undefined) continue;确实在逻辑上排除了undefined的情况，但TypeScript的类型检查器没办法理解“当前迭代的key对应的属性已经被确认不是undefined”。它只知道key是三个字符串的联合，a[key]整体的类型依然是string | undefined，不会因为你刚才的判断就把这个类型收窄成string。

简单说，TS的类型系统还做不到这么细粒度的跟踪——它没法把key的具体值和a[key]的类型绑定起来，哪怕你已经做了undefined判断。

几种可行的解决方案： #

• 使用类型断言：既然你已经手动排除了undefined，可以直接断言为string：

  console.log((a[key] as string).length);
  

• 用类型守卫函数明确收窄类型：
  定义一个通用的类型守卫，让TS能正确识别非undefined的值：

  function isDefined<T>(val: T | undefined): val is T {
    return val !== undefined;
  }
  
  // 循环里改成：
  if (!isDefined(a[key])) continue;
  console.log(a[key].length); // 这里就不会报错了
  

• 遍历对象的已存在属性：避免处理可选属性的undefined问题，直接用Object.entries遍历实际存在的键值对：

  function f(a: A) {
    for (const [key, value] of Object.entries(a)) {
      console.log(value.length);
    }
  }
  

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