コンパイラのリミッタが外れつつある今、null安全は必須なのかもしれない - Qiita

三行で頼む コンパイラが斜め上の最適化をするようになったからnull安全ないと怖いよね 一行で終わっちゃった。 本文 最近、ツイッターを見ていると、プログラマの間でnull安全という言葉がバズっていますね。私も次のようなエントリを楽しく眺めていた訳です： null安全でない言語は、もはやレガシー言語だ null安全はいいぞ。だって、型安全はいいぞ。 null安全を誤解している人達へのメッセージ さてそんな中、少しだけ私の心に留まったエントリがこれです： null安全な言語は、本当にゼロコストか これを読んで、私がまず直感的に思ったのは、むしろもはやnull安全のない言語はダメかもしれないということでした。こう書くと、このエントリの内容を否定してると誤解されるかもしれませんが、全くそんなことはありません。このエントリの筆者さんもnull安全の有用性を否定しているわけではないですし、私も古いタ

[nakag0711]

Javaはわざわざポインタなくしときながらnullだけは残すんだもんなあ

[kenzy_n]

ガッ、

[enhanky]

でも最適化しないと遅いやん（数値計算屋感）

[topiyama]

最適化オプション付けなきゃ良いだけなんだけど、for文を勝手に分解するとか勝手にインライン化するとか、余計なお世話。C言語は機械との対話言語っていうのに徹するべき。（最適化したけりゃ仮想技術上で）

[hush_puppy]

組み込みでvolatile使うみたいなのを思い出す。

[NOV1975]

コンパイラを信用できないのに言語仕様通りにコンパイルしてくれることは信用するんだ

[akabekobeko]

ES2015 で const と let が導入されたけど大抵は const で事足りる。null も基本は「安全」で「許容が例外」となってゆくのだろう。厳密、明示、不変なものは扱いやすい。

[kaz_hiramatsu]

Cはヌルになることがそもそもバグってケースがあるので他のまともな言語とは違う気が

[UhoNiceGuy]

nullチェックがはずされたというよりも少なくとも挙げられた例は、ただの定数の畳み込みではないか。

[a-kuma3]

「Null安全」の有用性はとてもわかるんだけど、軽く触ったレベルでは Swift とか面倒なんだよなあ／「Null安全」には次のステージがあるはず（きっと）

[ntfs]

むしろiccは賢すぎそれをLLVMが猛追してて、未定義は言語策定時につぶしておくべきという原則を思い出させてくれる。IR経由だと大域最適化は簡単だし、そも今のPG最適化しないでまともな性能出すコード書けないし。

[tanakh]

ヌルポにアクセスしたらプログラムがクラッシュするという前提がなければ出来ない最適化なのだから、その仕様がCには無いのならコンパイラの最適化バグだし、あるのならLinuxが0にmmap出来るのがバグってだけでは…

[kazoo_oo]

「若者のnull離れ」「もはや人類には乗りこなせないコンパイラ」どっち向いても似たような話が。

[ryota-murakami]

勝手にnullチェックが外されるって、最適化を越えて改変なのでは

[hhungry]

ヌルいわ！

[dowhile]

リミッタがはずれようがないほど愚直なコンパイラを使おう＆作ろう。最適化はVM/ランタイムレベルでやる

[bigchu]

ぬるぽ！依存性見抜くのは人間がちゃんとコードかいてあげて今だけは乗り越えといて未来には期待！

[itouhiro]

「2009年Linuxカーネルの脆弱性は、NULLチェックがコンパイラに削除されて起きた。現在はgccにしろllvm/clangにしろ、コンパイラが最適化時に未定義動作（C/C++に多い）や大域最適化について想像外の命令列を吐く」