ISO C++17発行後に採択(Adopted 2019-11)された提案文書 P1971R0, NB RU007 により、下記2ページの説明が陳腐化しているようです。
特に前者のC++17機能説明ページでは、記載内容全てがキャンセルされる状況となっています。
- 説明ページ趣旨：非staticデータメンバに参照型またはconstメンバを含む場合、
std::launer関数が必要。
- P1971R0趣旨：非staticデータメンバに参照型またはconstメンバを含んでいても、
std::launder関数は必要ない。
P1971R0によるコア言語仕様改訂を「C++20新機能」と解釈すればそのままでもよさそうですが、DR的に遡及適用されるようだとC++17機能説明ページに注釈を入れる（or ページ削除）かの対応が必要に思えます。
ISO C++17発行後に採択(Adopted 2019-11)された提案文書 P1971R0, NB RU007 により、下記2ページの説明が陳腐化しているようです。
std::launder関数特に前者のC++17機能説明ページでは、記載内容全てがキャンセルされる状況となっています。
std::launer関数が必要。std::launder関数は必要ない。P1971R0によるコア言語仕様改訂を「C++20新機能」と解釈すればそのままでもよさそうですが、DR的に遡及適用されるようだとC++17機能説明ページに注釈を入れる（or ページ削除）かの対応が必要に思えます。