G ++ и STD 11 имеют проблемы с constexpr

Я пытаюсь использовать тот же constexpr в g ++ и clang ++, как последнюю версию, так и с параметром «-std = c ++ 11». Clang компилируется без проблем, но ошибка возврата G ++. Источник:

#include <functional>

enum class LoggerLevel : unsigned {
    NO_LEVEL = 0,
    VERBOSE = 1 << 0,
    DEBUG = 1 << 1,
    INFO = 1 << 2,
    WARNING = 1 << 3,
    ERROR = 1 << 4,
    FATAL = 1 << 5,
    ALL_LEVELS = 0 | VERBOSE | DEBUG | INFO | WARNING | ERROR | FATAL,
};

constexpr LoggerLevel operator|(LoggerLevel lhs, LoggerLevel rhs) noexcept {
    return static_cast<LoggerLevel>(static_cast<unsigned>(lhs) | static_cast<unsigned>(rhs));
}

constexpr LoggerLevel& operator|=(LoggerLevel& lhs, LoggerLevel rhs) noexcept {
    return lhs = lhs | rhs;
}

int main()
{
    auto x = LoggerLevel::ALL_LEVELS;
    return 0;
}

И ошибка:

<source>: In function 'constexpr LoggerLevel& operator|=(LoggerLevel&, LoggerLevel)':

<source>:19:16: error: expression '(lhs = operator|(lhs, rhs))' is not a constant expression

     return lhs = lhs | rhs;

            ~~~~^~~~~~~~~~~

Compiler returned: 1

И пример крест-накрест:

https://godbolt.org/z/M6ERms

Спасибо за любую помощь.

Всего 1 ответ


Скомпилируйте, по крайней мере, стандарт C ++ 14, как и до C ++ 14, оценка постоянного константного выражения не будет оценивать назначение или составной оператор присваивания, который у вас есть:

return lhs = lhs | rhs;

Соответствующая глава в проекте C ++ 11 составляет 5.19.2. Константные выражения (акцент мой):

Условное выражение является выражением основной константы, если оно не включает одно из следующих значений в качестве потенциально оцениваемого подвыражения ...

  • назначение или составное назначение

Есть идеи?

10000