TypeScript检测可选scale函数存在性仍报错问题求助

问题重现 #

定义了可选的scale()函数，即使提前检查存在性，TypeScript仍抛出Cannot invoke an object which is possibly 'undefined'.ts(2722)错误：

// 报错写法
const scaledValue = registers[desc].scale
  ? registers[desc].scale(rawValue)
  : rawValue;

但将对象引用缓存到变量后，错误消失：

// 正常写法
const register = registers[desc];
const scaledValue = register.scale
  ? register.scale(rawValue)
  : rawValue;

即使改用typeof检查，依旧报错：

const scaledValue2 = typeof registers[desc].scale === 'function' ? registers[desc].scale(rawValue) : rawValue;

相关类型定义与配置：

type MeasurementType =
  | "Voltage"
  | "Current"
  | "Power"
  | "Energy"
  | "Frequency"
  | "PowerFactor"
  | "AlarmStatus";

type MeasurementDetail = {
  lsb: number;
  msb?: number;
  scale?: (raw: number) => number;
  units: string;
};

const registers: Record<MeasurementType, MeasurementDetail> = {
  Voltage: { lsb: 0, scale: (raw: number) => raw / 10, units: `V` },
  Current: { lsb: 1, msb: 2, scale: (raw: number) => raw / 1000, units: `A` },
  Power: { lsb: 3, msb: 4, scale: (raw: number) => raw / 10, units: `W` },
  Energy: { lsb: 5, msb: 6, scale: (raw: number) => raw, units: `Wh` },
  Frequency: { lsb: 7, scale: (raw: number) => raw / 10, units: `Hz` },
  PowerFactor: { lsb: 8, scale: (raw: number) => raw / 1000, units: `` },
  AlarmStatus: { lsb: 9, units: ` alarm code (0=no alarm)` },
};

tsconfig.json：

{
  "compilerOptions": {
    "target": "es5",
    "module": "ES6",
    "moduleResolution": "node",
    "esModuleInterop": true,
    "forceConsistentCasingInFileNames": true,
    "strict": true,
    "skipLibCheck": true,
    "noImplicitAny": true,
    "allowJs": true,
    "outDir": "dist",
    "rootDir": "src",
    "sourceMap": true
  }
}

原因分析 #

TypeScript的类型窄化（Type Narrowing）依赖稳定的引用：

• 当直接使用registers[desc].scale两次时，TypeScript无法保证这两次访问的是同一个对象实例（静态分析层面，允许对象属性在两次访问之间被修改），因此无法将第一次检查的类型窄化结果应用到第二次调用。
• 当把registers[desc]赋值给const变量后，TypeScript能确定该变量的引用不会改变，因此第一次对register.scale的存在性检查会被保留，后续调用时能正确识别类型。

触发场景 #

• 开启strict模式（尤其是包含strictNullChecks），严格校验undefined类型
• 使用动态索引访问（如obj[key]）后链式访问可选属性，且未通过变量缓存对象引用
• 对象类型为Record或动态索引类型，TypeScript无法精确追踪每次索引访问的具体值

解决方法 #

1. 缓存对象引用（推荐，兼容性好） #

将索引访问的结果赋值给const变量，确保类型窄化结果有效：

const register = registers[desc];
const scaledValue = register.scale ? register.scale(rawValue) : rawValue;

2. 可选链+空值合并语法糖（简洁） #

利用TypeScript的?.（可选链）和??（空值合并）语法，避免重复访问属性：

const scaledValue = registers[desc].scale?.(rawValue) ?? rawValue;

• scale?.(rawValue)：仅当scale存在时调用，否则返回undefined
• ?? rawValue：当左边结果为undefined时，使用rawValue作为默认值

3. 自定义类型守卫（严谨场景） #

如果需要更精确的类型校验，可以定义类型守卫函数：

function hasScale(detail: MeasurementDetail): detail is MeasurementDetail & { scale: (raw: number) => number } {
  return typeof detail.scale === 'function';
}

const register = registers[desc];
const scaledValue = hasScale(register) ? register.scale(rawValue) : rawValue;

4. 非空断言（不推荐） #

仅当你能100%确定scale一定存在时使用（如提前过滤掉没有scale的属性）：

const scaledValue = registers[desc].scale!(rawValue);

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