TypeScript非空断言无运行时检查？为何不被推荐使用？

一、为什么checkTypes![userAccess]写法不被认可？ #

非空断言!的作用是告诉TS编译器：“我保证这个变量不是null/undefined，别给我报相关的编译错误”。你的写法不被认可，大概率是以下几种情况：

• 多余的断言：如果TS已经通过类型推断确定checkTypes不可能是null/undefined，这时候加!属于画蛇添足。比如checkTypes是提前初始化好的对象，没有可能为null的路径，编译器会认为这个断言没必要，甚至在开启noUnusedNonAssertion规则时直接报错。
• 没解决真正的类型问题：你可能想处理的是checkTypes[userAccess]可能不存在的情况，但非空断言只负责断言checkTypes本身非空，管不了索引是否存在。比如checkTypes的类型是{ admin: boolean }，但userAccess是string类型，TS会担心userAccess可能是其他字符串导致索引不存在，这时候加!没用，得用类型收窄等方式解决。
• 语法场景错误：非空断言只能用在变量、属性或表达式之后，用来排除null/undefined。如果checkTypes本身是类型上不允许为null的变量，这个断言就不符合语法逻辑。

二、非空断言何时生效？ #

划重点：非空断言完全是编译阶段的工具，和运行时毫无关系。

• 编译时：它会告诉TS编译器“忽略这个值可能为null/undefined的情况”，让原本会报错的代码通过编译检查。
• 运行时：编译后的JS代码里!会被直接删掉，和你写checkTypes[userAccess]的运行效果完全一样。如果运行时checkTypes真的是null/undefined，照样会抛出Cannot read properties of null (reading 'xxx')的错误——它不会帮你做任何运行时的空值检查，只是让编译器闭嘴而已。

举个实际例子：
TS代码：

let checkTypes: { [key: string]: boolean } | null = { admin: true };
let userAccess = "admin";
// 这里加!是告诉TS：checkTypes肯定不是null，别报错
let corners = Boolean(checkTypes![userAccess]);

编译后的JS代码：

let checkTypes = { admin: true };
let userAccess = "admin";
let corners = Boolean(checkTypes[userAccess]);

能看到!完全消失了，运行时没有任何额外逻辑。

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