yohhoyの日記

技術的メモをしていきたい日記

2021-11-04から1日間の記事一覧

Preconditions: false is true.

C++2b(C++23)向けに提案されているコード不到達表明std::unreachable関数の前提条件。 2022-02-09追記:2022年2月会合にて(PDF)P0627R6が採択され、C++2b標準<utility>ヘッダにstd::unreachable関数が追加される。「false is true」は常に成り立たない(恒偽命題)た</utility>…