参照による `constexpr`メンバー関数の呼び出し-clang vs gcc

次の例を考えてみます（スニペット（0））：

struct X
{
    constexpr int get() const { return 0; }
};

void foo(const X& x)
{
    constexpr int i = x.get();
}

int main()
{
    foo(X{});
}

上記の例は、g++以前のすべてのバージョンでコンパイルされg++ 10.x、でコンパイルされることはありませんclang++。エラーメッセージは次のとおりです。

error: 'x' is not a constant expression
    8 |     constexpr int i = x.get();
      |

godbolt.orgの実例

ただしx、の本体で定数式が使用されることはないため、エラーの種類には意味がありますfoo。

• X::get()マークされてconstexprおり、の状態には依存しませんx。

• に変更const X&するconst Xと、コードは（godbolt.org上の） すべてのコンパイラスニペット（1）でコンパイルされます。

私はマークしたときには、さらに面白いX::get()とstatic（（）godbolt.org上の スニペット（2） ）。この変更により、g++（トランクを含む）すべてのテスト済みバージョンがコンパイルされますが、コンパイルはclang++常に失敗します。

だから、私の質問：

• スニペット（0）のg++ 9.x受け入れは正しいですか？

• すべてのコンパイラーがスニペット（1）を受け入れるのは正しいですか？もしそうなら、なぜ参照は重要ですか？

• あるg++ 9.xとg++ trunk受け入れることで正しいスニペット（2） ？

g ++ 9.xはスニペット（0）を受け入れるのに正しいですか？

番号。

すべてのコンパイラーがスニペット（1）を受け入れるのは正しいですか？もしそうなら、なぜ参照は重要ですか？

はい、そうです。

定数式は、以前の定数式の初期化を持たない、または定数式の評価中にその存続期間を開始した参照を指定するid式を使用できません。【expr.const] /2.11（C ++ 20において同じ）

左辺値から右辺値への変換を行わずに非参照変数に名前を付ける場合も同じではありません。x.get()はx左辺値としてのみ参照され、constexpr実際xにはのメンバーにアクセスしない関数を呼び出すだけなので、問題はありません。

g ++ 9.xおよびg ++トランクはスニペット（2）を受け入れるのに正しいですか？

いいえ、式にはまだx上記のルールに違反する部分式が含まれているためです。