在 Typescript 中，什么是 ! （感叹号/砰）操作员取消引用成员时？

那是非空断言运算符。这是一种告诉编译器“这里的表达式不能是 null 或 undefined，所以不要抱怨它可能是 null 或 undefined”的一种方式。有时类型检查器本身无法做出决定。

解释here：

一个新的！后缀表达式运算符可用于在类型检查器无法得出该事实的上下文中断言其操作数为非空且非未定义。具体来说，操作 x!产生一个 x 类型的值，其中排除了 null 和 undefined。类似于 x 和 x as T 形式的类型断言，!非空断言运算符在发出的 JavaScript 代码中被简单地删除。

我发现在该解释中使用“断言”一词有点误导。从开发人员断言它的意义上说，它是“断言”，而不是要执行测试的意义上。最后一行确实表明它不会发出任何 JavaScript 代码。

---

路易斯的回答很好，但我想我会尽量简明扼要地总结一下：

bang 运算符告诉编译器暂时放宽它可能要求的“非空”约束。它对编译器说：“作为开发人员，我比你更清楚这个变量现在不能为空”。

---

非空断言运算符

使用非空断言运算符，我们可以明确地告诉编译器一个表达式的值不是 null 或 undefined。当编译器无法确定地推断类型但我们比编译器拥有更多信息时，这可能很有用。

例子

TS代码

function simpleExample(nullableArg: number | undefined | null) {
   const normal: number = nullableArg; 
    //   Compile err: 
    //   Type 'number | null | undefined' is not assignable to type 'number'.
    //   Type 'undefined' is not assignable to type 'number'.(2322)

   const operatorApplied: number = nullableArg!; 
    // compiles fine because we tell compiler that null | undefined are excluded 
}

编译好的JS代码

请注意，JS 不知道非空断言运算符的概念，因为这是 TS 功能

"use strict";
function simpleExample(nullableArg) {
    const normal = nullableArg;
    const operatorApplied = nullableArg;
}

---

简答

非空断言运算符 (!) 帮助编译器确定此变量不是空变量或未定义变量。

let obj: { field: SampleType } | null | undefined;

... // some code

// the type of sampleVar is SampleType
let sampleVar = obj!.field; // we tell compiler we are sure obj is not null & not undefined so the type of sampleVar is SampleType

---

我的理解是 ! 运算符与 NonNullable 做同样的事情。

let ns: string | null = ''
//  ^? let ns: string | null
let s1 = ns!
//  ^? let s1: string
let s2 = ns as NonNullable<typeof ns>
//  ^? let s2: string

---