Блог

 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 amp; x = this->x;
        switch(x)
        {
            case X::A():
            case X::B():
            default: return;
        }
    }

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

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

Без отмеченной строки во фрагменте clang выдает следующую ошибку:

ошибка: значение case не является регистром константного выражения

X::B():

Однако я попробовал gcc, и он скомпилировался нормально. Кто-нибудь знает, gcc проявляет снисходительность или у clang есть какая-то ошибка?

Смотрите на godbolt (clang 8.0.0):https://godbolt.org/z/ETe5WQ Однако (gcc 8.3) отлично компилируется (также на godbolt) и пробовал другие версии gcc, и они также были в порядке

Обновить:

обнаружена ошибка

У Clang (8.0.0) здесь ошибка.

Если вы пишете constexpr auto A = X::A(); и используете case A: в своей switch инструкции, вы получаете ту же ошибку компиляции (говорящую, что это A не постоянное выражение).

Однако, если вы удалите регистры, он отлично компилируется (что подразумевает, что A является допустимым constexpr => противоречит предыдущей ошибке).

Более того, switch(x) сбой при switch(this->x) успешном выполнении. Поскольку x == this->x в вашем случае это определенно ошибка.

Как упоминал чтз, clang (5/6), похоже, работает просто отлично. Это не аргумент, а очевидная регрессия.

Обновление: Как упоминалось в OP, они отправили отчет об ошибке.

Похоже, что clang не работает, switch(x) это переключатель в перечислении X::E .

Если вы добавляете явное приведение к X::E ( static_cast или в стиле C или что-то еще), ваш код компилируется без ваших изменений.

Это происходит только тогда, когда ваш класс является template .

Использование switch(this->x) также работает.

Поскольку всякий раз, когда x является членом класса, x это просто другое название для this->x даже в template , это должно быть ошибкой clang.

Правила того, как вы можете выполнить переключение для не-перечисляемого / целочисленного типа, интересны тем, что они основаны на существовании неопределенного оператора приведения к любому перечисляемому или целочисленному типу в switch выражении, а затем вызывают то же приведение в case выражении.