非 null アサーション演算子(!)とは何で、どのような場合に適切ですか?

Question

Accepted Answer

後置の `!` は「この値はここで **null や undefined ではない**と保証する」とコンパイラに伝え、実行時チェックなしでその型から `null`/`undefined` を取り除きます。

```ts
function f(name?: string) {
  // name is string | undefined
  console.log(name!.toUpperCase()); // `!` asserts it's defined → string
}
```

これは純粋にコンパイル時のアサーションです。`as` と同様、実行時の検証は**一切**行いません。間違っていればクラッシュします。

```ts
const el = document.getElementById("app")!; // assert non-null
el.innerHTML = "hi"; // 💥 runtime error if #app doesn't actually exist
```

## どのような場合に妥当か

```ts
// 1. You've logically guaranteed it, but the compiler can't see it
if (map.has(key)) map.get(key)!.doThing(); // has() proves get() isn't undefined

// 2. Class fields initialized outside the constructor (DI, lifecycle hooks)
class C { value!: string; } // definite assignment assertion
```

## より安全な代替手段を優先する

```ts
name?.toUpperCase();           // optional chaining — no crash, yields undefined
const x = name ?? "default";    // provide a fallback
if (name) name.toUpperCase();   // narrow with a real check
```

これらはいずれも、値が存在しないケースをアサーションで無視するのではなく、実際に*処理*します。

## なぜ重要なのか

`!` は鋭い道具です。コンパイラが与えようとしている null 安全性を黙らせてしまいます。

コンパイラにはわからない知識を持っている場合など、たまに正当化されることもありますが、多用すると `strictNullChecks` が防いでいるはずの null クラッシュバグをまさに再導入してしまいます。

まず `?.`、`??`、または明示的なガードを使い、非 null であることを本当に証明できる場合にのみ `!` を使いましょう。