null安全

null安全のプログラミングの仕様は概ね次の通りである。

• nullは標準では扱えないようにする。これで安全性が高まる
• ただnullが扱えないと不便で実用性を欠くことになる。null安全性と実用性は両方を達成したいので、nullも扱えるようにする
• nullを扱うには専用の書式が必要で、従わなければビルドが通らない。従ってnullの対応忘れは存在しない
• その文法、書式は、過剰に面倒にはならないよう、簡潔に設計されることが多い (プログラミング言語による)

言語により異なるが、SwiftやKotlinの場合、型名に?を付けてnullable型の変数とし、non-nullであれば.で書くところnullable型の時は?.と書かなければならず、そう書かねばコンパイルエラーとなる。また式としてnullableとなる場合、エルビス演算子などを用いて処理をしないと同様にコンパイルエラーとなる。

このようにして、nullとなり得る状況を放置させず、プログラマーに意識させつつ、かつそのための記述方法をできるだけシンプルにして書きやすく設計したものがnull安全なプログラミング言語、ということになる。