Angular value?.data.foo.bar 报 TS2532：检查模板可选链转换

组件里的 TypeScript 能通过，模板中的 value?.data.foo.bar 却报 TS2532: Object is possibly 'undefined'。如果类型只允许 value 为 null，data、foo 和 bar 在对象存在时都必定存在，不要先把每一级都改成可选字段。

Angular 22.1.1 一带的模板类型检查存在可选链转换问题。22.1.2 包含过一轮处理，但更深的 value?.data.foo.bar 仍可失败；22.2.0-next.2 也不能作为这条深链已经修好的证明。Angular 22.2.3 的正式源码已包含继续追溯整条链、避免多余括号的处理。

错误可能来自生成的检查表达式

下面是既有组件中的类型和模板片段：

type Model = {
  data: {
    foo: {
      bar: boolean;
    };
  };
};

// 组件字段
protected value: Model | null = null;

@if (value?.data.foo.bar) {
  <span>已启用</span>
}

连续可选链在 value 为空时会短路，后面的普通属性读取不会另行执行。(value?.data).foo 则把链截断：括号内结果可能为空，括号外的 foo 不能再靠前面的可选访问保护。

受影响的模板检查器在生成 Type Check Block 时给中间表达式加了多余括号，改变了 TypeScript 看到的短路范围。因此错误位置可能指向 bar，而真正要修的是生成检查表达式的方式。?? true 放在最外面也不能消除已经发生在左侧链中的类型错误。

先对照真实类型。若 data 本身也可能缺失，确实需要额外的 ?. 或其他业务处理；接口返回值不符合声明，也不能用编译器缺陷来解释。这个分支只适用于连续链本来成立、却被检查代码中的括号打断的情况。

保留严格检查，选择完整修复或明确缩小范围

采用兼容项目的、包含完整处理的 Angular 正式版本，并一起核对 @angular/compiler、@angular/compiler-cli、core 和构建器。只看到 CLI 显示新版本，不代表生成 TCB 的包已经更新。22.2.3 对普通属性读取会沿接收者向前寻找安全访问，不再只看紧邻的一个节点。

不能立即更新时，可在模板先建立明确的非空别名，再读取它的必有字段：

@if (value; as current) {
  @if (current.data.foo.bar) {
    <span>已启用</span>
  }
}

这里 value 的对象类型本身为真值，别名收窄后 current 不再是 null。若原表达式带有 ?? true 等默认行为，空值时的分支也要保留，不能只搬出一个 if 就改变页面逻辑。尤其不要无条件添加非空断言 !，它会隐藏真实的缺失数据。

关闭 strictSafeNavigationTypes 会削弱这一类模板表达式的类型检查，不宜作为整个项目的常规修复。改完后用原模板、原严格配置检查空对象分支和有值分支，并覆盖三层以上读取、键访问或方法调用等实际用法。编译通过之后，还应确认页面条件与原意一致；不再报 TS2532，并不自动证明数据模型正确。