通过引用调用`constexpr`成员函数-clang vs gcc

Question

考虑以下示例（代码段 (0) ）：

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

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

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

上面的示例使用g++ 10.x之前的所有g++版本进行编译，并且从未在clang++下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++仍然总是无法编译。

所以，我的问题：

• g++ 9.x在接受代码段 (0) 时是否正确？

• 所有编译器都正确接受代码片段 (1)吗？ 如果是这样，为什么参考是重要的？

• g++ 9.x和g++ trunk在接受代码片段 (2) 时是否正确？

Answer 1

g++ 9.x 在接受代码片段 (0) 时是否正确？

不。

所有编译器都正确接受代码片段 (1) 吗？ 如果是这样，为什么参考是重要的？

对，他们是。

常量表达式不能使用 id 表达式命名引用，该引用没有先前的常量表达式初始化或在常量表达式评估期间开始其生命周期。 [expr.const]/2.11 （在 C++20 中相同）

如果您在不涉及任何左值到右值转换的情况下命名非引用变量，则情况并非如此。 x.get()仅将x称为左值，并且仅调用实际上并未访问x任何成员的constexpr函数，因此没有问题。

g++ 9.x 和 g++ trunk 在接受代码片段 (2) 时是否正确？

不，因为表达式仍然包含违反上述规则的子表达式x 。