おそらくあなたのプログラミングには直接役立たないであろう言語仕様に関する自己満足記事のリスト

なんこれ

This is a 自分用メモ。

はてなブログ「yohhoyの日記」に書きためた7年8ヵ月分の記事（2019年9月現在）から厳選した、「ほとんどの人には役には立たないだろうけど結構頑張って調べて書いた記事」の一覧です。寸評付き。

C++

• same_asコンセプトとSymmetric Subsumption Idiom
  • コンセプト設計のイディオム。使うは簡単、作るは大変。
• コンセプト制約式の包摂関係とオーバーロード解決
  • 新機能C++20コンセプトにまつわる深淵のほんの一端。C++まるでわからん。
• ストリーム入出力と評価順規定の厳格化
  • C++17で改善された言語仕様のお話。詳説は難解だが結論は単純。
• std::launder関数
  • C++17ライブラリに追加された謎の関数。C++ムツカシネー。
• i = i++ + 1;の評価順規定
  • C++17で調整された言語仕様のお話。マニアック度高め。
• shared_ptr参照カウントとデータ競合
  • C++17ライブラリの妙な変更が発端。マルチスレッドは人類には早すぎた。

C

• nan("is Not-a-Number")
  • Cライブラリ関数nanとIEEE浮動小数点数NANの細かい話。にゃーん。
• 可変引数リストと文字列とヌルポインタの特別な関係
  • printf的な関数引数でのNULLの取り扱い。こんなの知らんがな。

Java

• 型推論と無限型(infinite type)
  • Javaコンパイラえらい。型推論は人間のやる仕事ではない。

Rust

• 危険な型変換:&T→&mut T
  • Rustコンパイラの言うことはちゃんと聞きましょう。unsafeまじunsafe。

Objective-C

• Objective-C atomic属性プロパティとスレッド間同期
  • 言語仕様とコンパイラ最適化とメモリモデルの三重闇。なんでこんな記事書いたんだ？