Goのヌル安全について

「ヌル参照の考案は１０億ドル単位の過ち」と語ったホーア氏（Goの並列処理モデルCSPの考案者でもあります）。そしてモダンな言語処理系は「ヌル安全」を持つのが流行です。しかし、Goには完全な「ヌル安全」の仕組みを持ちません。 Goのメモリ安全機能 もちろんGoは完全なヌル安全とは言えないまでもヌルポ参照対策や不正なメモリ参照を防ぐいくつか考慮した仕組みや慣習を持っています。 ポインタの算術移動を許さない言語仕様 確保するメモリは全てゼロ値で初期化済み エラーがnilなら有効な値を返すという慣習 必須のエラーチェックがヌルチェックを兼ねている これらによりGoは完全に「メモリ安全」であり、「ヌル安全まであと一歩」までの仕組みを持っています。それでもヌルポ参照は「ランタイムパニック」という形で現れます。 ランタイムパニック Goでは「ランタイムパニック=コードの不備の通知」です。 多くのコードの

[castaneai]

“Goコアメンバーのコメントから読み取れるのはあちこちに「理解して使ってくれ」「理解しやすさのためだけに言語仕様を変えたくない」、「理解が必要なところはドキュメントでカバーする」という考え方が見え隠れ”