Invoking `constexpr` member function through reference - clang vs gcc

Question

Consider the following example ( snippet (0) ):

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

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

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

The above example compiles with all versions of g++ prior to g++ 10.x , and never compiled under clang++ . The error message is:

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

live example on godbolt.org

The error kind of makes sense, as x is never a constant expression in the body of foo , however:

• X::get() is marked constexpr and it does not depend on the state of x ;

• Changing const X& to const X makes the code compile with every compiler (on godbolt.org) snippet (1) .

---

It gets even more interesting when I mark X::get() as static ( (on godbolt.org) snippet (2) ). With that change, all tested versions of g++ (including trunk) compile, while clang++ still always fail to compile.

So, my questions:

• Is g++ 9.x correct in accepting snippet (0) ?

• Are all compilers correct in accepting snippet (1) ? If so, why is the reference significant?

• Are g++ 9.x and g++ trunk correct in accepting snippet (2) ?

Answer 1

Is g++ 9.x correct in accepting snippet (0)?

No.

Are all compilers correct in accepting snippet (1)? If so, why is the reference significant?

Yes, they are.

A constant expression cannot use an id-expression naming a reference that doesn't have a previous constant expression initialization or began its lifetime during the constant expression evaluation. [expr.const]/2.11 ( same in C++20 )

The same is not true if you are naming a non-reference variable without involving any lvalue-to-rvalue conversion. x.get() only refers to x as lvalue and only calls a constexpr function that doesn't actually access any member of x , so there is no issue.

Are g++ 9.x and g++ trunk correct in accepting snippet (2)?

No, because the expression still contains the subexpression x which violates the rule mentioned above.