Co to jest w maszynopisie! (wykrzyknik / huk) operator przy dereferencji członka?

Przeglądając kod źródłowy reguły tslint, natrafiłem na następujące oświadczenie:

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

Zauważ !operatora po node.parent. Ciekawy!

Najpierw próbowałem skompilować plik lokalnie z moją aktualnie zainstalowaną wersją TS (1.5.3). Wynikający błąd wskazał dokładną lokalizację huku:

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

Następnie zaktualizowałem do najnowszej wersji TS (2.1.6), która skompilowała go bez problemu. Wydaje się, że jest to cecha TS 2.x. Ale transpilacja całkowicie zignorowała huk, co spowodowało następujący JS:

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

Moje Google fu do tej pory mnie zawiodło.

Co to jest operator wykrzyknika TS i jak działa?

To jest operator asercji niepustej. Jest to sposób, by powiedzieć kompilatorowi, że „tego wyrażenia nie może być nullani undefinedtutaj, więc nie narzekaj na możliwość, że jest ono nulllub undefined”. Czasami moduł sprawdzania typu nie jest w stanie samodzielnie dokonać tego ustalenia.

Wyjaśniono to tutaj :

!Można użyć nowego operatora wyrażeń po poprawce, aby stwierdzić, że jego operand nie jest pusty i nie jest zdefiniowany w kontekstach, w których moduł sprawdzania typu nie jest w stanie stwierdzić tego faktu. W szczególności operacja x!generuje wartość typu xz nulli undefinedwykluczone. Podobnego do typu twierdzenia formy <T>xi x as T, The !operatora twierdzenie niezerowe po prostu usunięte w emitowanych kodu JavaScript.

Uważam, że użycie terminu „twierdzić” jest nieco mylące w tym wyjaśnieniu. Jest to „stwierdzenie” w tym sensie, że programista to potwierdza , a nie w tym sensie, że zostanie przeprowadzony test. Ostatni wiersz rzeczywiście wskazuje, że nie powoduje emisji kodu JavaScript.

Odpowiedź Louisa jest świetna, ale pomyślałem, że spróbuję to podsumować zwięźle:

Operator Bang nakazuje kompilatorowi tymczasowe złagodzenie ograniczenia „nie zerowego”, którego w przeciwnym razie mógłby wymagać. Mówi do kompilatora: „Jako programista wiem lepiej od ciebie, że ta zmienna nie może być teraz zerowa”.