null安全 - 通信用語の基礎知識

nullが原因となるエラー(NullPointerExceptionなど)を発生させないようにするための仕組み。

概要
特徴

基本的な仕様
よくある書式

概要

もし言語仕様としてnullが存在しなければ、必然的にNullPointerExceptionも発生しない。

しかしnullが全く扱えないというのは時として困るので、nullを扱える変数(nullable)と扱えない変数(non-null)に分け、nullを扱える変数(nullable)の場合はnullが生じうる箇所はnullチェックの構文を必須とし、さもなくばコンパイルが通らないようにすることでプログラマーの勘違いによるバグの混入を防ぐ。

これが、null安全を謳うプログラミング言語に共通して見られる傾向である。

特徴

基本的な仕様

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

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

よくある書式

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

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

リンク