4. 定数式内での非リテラル変数、静的変数・スレッドローカル変数およびgotoとラベルの存在を許可する

最終更新日時(UTC):
が更新

履歴 編集

定数式内での非リテラル変数、静的変数・スレッドローカル変数およびgotoとラベルの存在を許可する(C++23)

概要

constexpr関数が非リテラル変数、静的変数・スレッドローカル変数およびgoto文とラベルを含むことを許可する。

ただし、これをコンパイル時に評価した場合、従来通りエラーとなる。 これらを含むコードパスは実行時にのみ通過するようにしなければならない。

この機能が必要になった背景・経緯

これまでは、constexpr関数内には非リテラル変数、静的変数・スレッドローカル変数およびgoto文とラベルが含まれてはならなかった。 これは、constexpr関数が定数式実行できない要素を含んではならないという意味で、理にかなった制限であった。

しかし、C++20でstd::is_constant_evaluatedによって定数式実行されるコードパスと実行時に通るコードパスを分けることが可能になり、状況が変化した。 定数式実行できないコードとはいえ、実行時にのみ通りコンパイル時には通らないコードパスに含まれていた場合にもプログラムが不適格となる、というのは直観に反する。

よって、コンパイル時に評価されない限りにおいて、constexpr関数内に非リテラル変数、静的変数・スレッドローカル変数およびgoto文とラベルを含むことが許可されることとなった。

ただし、constexpr内に存在することが許可されたものの定数式として評価できるわけではないので、これらの機能は依然としてコンパイル時に使用することはできない。

関連項目

参照