静的関数を使用して静的メンバーを初期化する Constexpr

元の質問:

C では、 constexpr 関数から constexpr 値 (コンパイル時定数) を計算し、それを静的メンバーとして保存することは可能ですか? class?

最初の試行とコンパイラの応答:

クラス内で静的 constexpr 関数 foo を定義し、foo を使用して静的 constexpr メンバー bar を初期化する最初の試行が失敗しましたg -4.5.3 と g の両方にエラーがあります-4.6.3.

説明:

C 標準に従って、静的 constexpr データ メンバーは、中括弧または等号を使用してクラス定義で初期化できます。 -initializer。各初期化子句は定数式である必要があります。 bar の初期化がクラス本体内の const 式 foo(sizeof(int)) に依存しており、定数式ではないため、提供されたコードはこのルールに違反しています。

さらなる分析:

constexpr 関数定義をクラス本体の外に移動するなどのさらなる試みでも、依然として g -4.6.3 でエラーが発生し、コンパイラ固有の点が強調されました。制限事項。

結論:

C 標準によれば、constexpr 関数呼び出しを伴う初期化子を使用して静的 constexpr データ メンバーを初期化することは、関数の定義外では許可されません。 constexpr 関数または constexpr コンストラクター。これは、constexpr 変数がメンバー関数本体内でコンパイル時の定数として使用可能である必要があるという要件によるものです。