clang抱怨constexpr函数，以防切换语句

Question

struct X
    {
    enum class E
    {
        A,B
    };

    static constexpr X A()
    {
        return X{E::A};
    }

    static constexpr X B()
    {
        return X{E::B};
    }

    constexpr operator E() const
    {
        return a;
    }
    E a;
};

template <typename T>
struct Y
{
    void f()
    {
        // without this line clang errs
        // const auto & x = this->x;
        switch(x)
        {
            case X::A():
            case X::B():
            default: return;
        }
    }

    X x = X::A();
};

int main()
{
    Y<int>{}.f();
}

如果片段中没有标记行，则出现以下错误：

错误：case值不是常量表达式case

X :: B（）：

但是我尝试了gcc，它编译良好。有人知道gcc是宽容还是c有一些错误？

参见Godbolt（clang 8.0.0）：https ://godbolt.org/z/ETe5WQ 但是（gcc 8.3）可以很好地编译（也可以在godbolt上）并尝试了其他版本的gcc，也很好

更新：

开了一个错误

Answer 1

Clang（8.0.0）在这里有错误。

如果在语句中编写constexpr auto A = X::A();和使用，则会出现相同的编译错误（说这不是常量表达式）。case A:switchA

但是，如果删除这些案例，它将编译良好（这意味着这A 是有效的constexpr=>与上一个错误的矛盾）。

而且，switch(x)失败却switch(this->x)成功。由于x == this->x您的情况，这绝对是一个错误。

正如chtz所提到的那样，clang（5/6）似乎工作正常。那不是争论，而是明显的回归。

更新：如OP所述，他们提交了错误报告。