TypeScript 团队在 6.0 版本中发布了一个新的编译器标志——--noPropertyAccessFromIndexSignature。启用后，编译器将拒绝使用点符号（dot-notation）访问来自索引签名的属性，强制开发者使用方括号记法（bracket notation），从而在编译时而非生产环境中暴露潜在的 undefined 值。

为什么该标志很重要

在 JavaScript 中，对象通常充当字典，TypeScript 允许你使用索引签名来为这类结构定义类型，例如 Record<string, T>。语言将 obj.key 和 obj["key"] 视为等价，因此即使键值仅在运行时已知，编译器也会假设该属性存在。这种隐式的假设是许多崩溃的根源：访问 obj.missingProp 的代码可以顺利编译并运行，但随后会因为值为 undefined 而抛出错误。

点符号携带了一种隐式保证——它告诉读者和类型检查器该属性肯定存在。相比之下，方括号记法则传达了一种不确定性——键可能缺失，结果可能是 undefined。--noPropertyAccessFromIndexSignature 强化了这种视觉和语义上的区别，将一类运行时错误转化为编译时诊断。

该标志如何工作

开启该标志后，任何通过点符号访问索引签名属性的表达式都会被标记为错误。代码必须重写为使用方括号：

// Before
const name = userData.name;          // OK even if "name" is not in the index

// After enabling the flag
const name = userData["name"];       // Error unless brackets are used

随后，编译器会应用其已有的针对方括号访问的 undefined 处理规则。如果同时启用了 --noUncheckedIndexedAccess，则 userData["name"] 的类型将变为 T | undefined，从而强制开发者检查缺失的情况。

实际迁移步骤

  1. 在 tsconfig.json 中启用该标志：

    {
  "compilerOptions": {
    "noPropertyAccessFromIndexSignature": true
  }
}

  2. 运行类型检查器。所有对索引签名键的点符号访问都将显示为错误。

  3. 将点替换为方括号。这种更改是机械性的，不会影响运行时性能。

  4. 处理由此产生的 undefined 类型。在需要的地方添加空值合并（nullish coalescing）、可选链（optional chaining）或显式检查。

  5. 考虑配合 --noUncheckedIndexedAccess 使用，以获得最强的安全保障。两者结合可以确保任何字典风格的访问都被视为可能缺失。

何时保留显式属性

如果某个字段是稳定 API 契约的一部分，请将其声明为显式属性，而不是依赖索引签名。显式属性允许继续使用点符号，从而保留了该字段始终存在的保证（只要类型系统可以验证）。请将索引签名保留给那些键值无法预先知道的真正动态数据。

反方观点：增加了冗余度

一些团队可能会觉得额外的方括号很冗余，尤其是在大量使用灵活对象的代码库中。该标志强制执行更严格的规范，对于遗留项目可能需要进行大规模重构。对于这些情况，可以逐步引入该标志，例如先限制在新的模块中，随着时间的推移让整个代码库逐渐采用这种模式。

下一步值得关注的内容

该标志是 TypeScript 6.0 朝着更严格的类型安全迈进的广泛努力的一部分。未来的版本可能会引入围绕对象展开（object spread）、可选链或推断的 any 使用的额外检查。关注 TypeScript 的路线图将有助于团队决定何时采用下一套安全特性，而不会干扰交付进度。

核心总结： 启用 --noPropertyAccessFromIndexSignature 使代码中“此属性是保证存在的”与“此属性可能缺失”之间的区别变得显式化，从而在错误进入生产环境之前捕获一整类 Bug。将隐式的运行时失败转变为编译时错误，是一个对可靠性影响巨大的微小改动。