C++23から、定数式における、非定数式な参照の読み取り(特にコピー)が定数式において許可されるようになります。 定数式における非定数式の参照 やりたいこととそうじゃないこと 定数式における参照そのものの読み取りの許可 欠陥報告 requires式の引数 std::declval() 余談 参考文献 定数式における非定数式の参照 定数式における非定数式の参照という一見意味の分からないものは、生配列に対するstd::size()の使用で容易に出会うことができます void check(int const (¶m)[3]) { int local[] = {1, 2, 3}; conste…