TypeScript嵌套对象类型检查后仍报Object is possibly 'undefined'问题

问题场景 #

你有一个带可选嵌套属性的对象，编写函数通过动态键名获取内部属性值时，在同一条if判断中完成第一层属性存在性检查后，后续检查内部属性时仍收到TypeScript的"Object is possibly 'undefined'"错误，即使逻辑上该属性已被确认存在。

有问题的代码示例：

type InnerProp = {
  ok?: string
}

type keyName = 'thing' | 'other';

type IResultTypeData = {
  [key in keyName]?: InnerProp;
};

const myObj: IResultTypeData = {
  thing: {
    ok: 'g'
  },
  other: {
    ok: 'g'
  }
}

function test(objKey: keyof typeof myObj, objInnerKey: keyof InnerProp) {
  // 错误出现在 objInnerKey in myObj[objKey] 处
  if (objKey in myObj && myObj[objKey] && objInnerKey in myObj[objKey]) {
    return myObj[objKey][objInnerKey];
  }
}

将myObj[objKey]赋值给变量后错误消失：

function test(objKey: keyof typeof myObj, objInnerKey: keyof InnerProp) {
  if (objKey in myObj && myObj[objKey]) {
    const myObjProp = myObj[objKey];
    // 此处无错误
    if (myObjProp && objInnerKey in myObjProp) {
      return myObjProp[objInnerKey];
    }
  }
}

原因解析 #

TypeScript的类型收窄（Type Narrowing）逻辑无法追踪同一表达式的多次独立引用。在同一条if判断中，myObj[objKey]被引用了两次：第一次用于检查是否存在，第二次用于检查内部属性。

虽然运行时这两次引用的结果完全一致，但TypeScript的静态分析会把它们视为两个独立的表达式，无法确认第二次引用时的值已经被收窄为非undefined类型，因此仍会抛出错误。

而将值赋值给常量变量后，TypeScript可以确定该变量在当前代码块内不会被修改，因此能保留之前的类型收窄结果，后续对变量的检查就能正常工作。

替代解决方案 #

1. 保留变量暂存（最可靠） #

虽然多了一层嵌套和变量，但这是TypeScript类型系统下最安全的写法，能确保类型推断准确。

2. 使用非空断言（谨慎使用） #

如果你能100%确认myObj[objKey]在检查后一定存在，可以用非空断言符!跳过TypeScript的检查：

function test(objKey: keyof typeof myObj, objInnerKey: keyof InnerProp) {
  if (objKey in myObj && myObj[objKey] && objInnerKey in myObj[objKey]!) {
    return myObj[objKey]![objInnerKey];
  }
}

注意：非空断言会绕过类型检查，如果运行时实际值为undefined，会导致运行时错误。

3. 可选链简化写法 #

如果不需要严格的存在性检查，直接返回属性值或undefined，可以用可选链操作符?.简化代码：

function test(objKey: keyof typeof myObj, objInnerKey: keyof InnerProp) {
  return myObj[objKey]?.[objInnerKey];
}

这种写法符合TypeScript的类型推断，无需额外判断，返回值类型会自动推断为string | undefined。

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