Typescriptでは、！（感嘆符/バング）メンバーを逆参照するときの演算子？

tslintルールのソースコードを見ると、次のステートメントに出くわしました。

if (node.parent!.kind === ts.SyntaxKind.ObjectLiteralExpression) {
    return;
}

!後の演算子に注意してくださいnode.parent。面白い！

最初に、現在インストールされているバージョンのTS（1.5.3）でローカルにファイルをコンパイルしてみました。結果のエラーは、強打の正確な場所を指しています。

$ tsc --noImplicitAny memberAccessRule.ts 
noPublicModifierRule.ts(57,24): error TS1005: ')' expected.

次に、問題なくコンパイルできる最新のTS（2.1.6）にアップグレードしました。TS 2.xの機能のようです。しかし、トランスパイレーションは強打を完全に無視し、次のJSをもたらしました：

if (node.parent.kind === ts.SyntaxKind.ObjectLiteralExpression) {
    return;
}

私のGoogle fuはこれまでのところ失敗しています。

TSの感嘆符演算子とは何ですか？それはどのように機能しますか？

これがnull以外のアサーション演算子です。これは、コンパイラに指示する方法である「この表現はすることはできませんnullか、undefinedそれがあることの可能性について文句を言わない、ここnullかundefined。」型チェッカーは、その決定自体を行うことができないことがあります。

ここで説明します：

新しい!ポストフィックス式演算子を使用して、型チェッカーがその事実を結論付けることができないコンテキストで、そのオペランドがnullでなく、未定義でないことを表明できます。具体的には、この操作x!により、xwith nullおよびundefinedexcludeのタイプの値が生成されます。フォーム<T>xおよびの型アサーションと同様にx as T、!null以外のアサーション演算子は、出力されたJavaScriptコードから削除されるだけです。

その説明では、「アサート」という用語の使用は少し誤解を招くと思います。テストが実行されるという意味ではなく、開発者がそれを主張するという意味で「アサート」します。実際、最後の行は、JavaScriptコードが発行されないことを示しています。

ルイスの答えは素晴らしいですが、私はそれを簡潔に要約しようとするつもりだと思いました：

bang演算子は、コンパイラに、そうでなければ要求される可能性がある「nullではない」制約を一時的に緩和するように指示します。それはコンパイラーに言います：「開発者として、私はこの変数が現在nullであってはならないことをあなたよりよく知っています」。