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

解释这里：

在类型检查器无法得出这一事实的上下文中，可以使用新的!修复后表达式运算符来断言其操作数是非null和非未定义的。具体来说，操作x!产生的值类型为x，排除了null和undefined。与表单<T>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不知道Non-null断言运算符的概念，因为这是一个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 SampleTypelet 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 | nulllet s1 = ns!//  ^? let s1: stringlet s2 = ns as NonNullable<typeof ns>//  ^? let s2: string