为什么存储在位场中的枚举类的static_cast会更改结果？

Question

给定一个enum类存储在一个位置：

#include <cstdint>
#include <iostream>

enum class Orientation: uint8_t
{
    NORMAL        = 0,
    CLOCKWISE     = 1,
    ANTICLOCKWISE = 2
};

inline Orientation operator+(const Orientation& lvalue, const Orientation& rvalue)
{
    switch(lvalue)
    {
        case Orientation::NORMAL:    return rvalue;
        case Orientation::CLOCKWISE:
            switch (rvalue)
            {
            case Orientation::CLOCKWISE:     return Orientation::ANTICLOCKWISE;
            case Orientation::ANTICLOCKWISE: return Orientation::NORMAL;
            case Orientation::NORMAL:        return Orientation::CLOCKWISE;
            }
            __builtin_unreachable();
        case Orientation::ANTICLOCKWISE:
            switch (rvalue)
            {
            case Orientation::CLOCKWISE:     return Orientation::NORMAL;
            case Orientation::ANTICLOCKWISE: return Orientation::CLOCKWISE;
            case Orientation::NORMAL:        return Orientation::ANTICLOCKWISE;
            }
            __builtin_unreachable();
    }
    __builtin_unreachable();
}

class Puzzle {
    private:
        Orientation or1_ : 2;
        Orientation or2_ : 2;

    public:
        Puzzle(
            const Orientation or1,
            const Orientation or2
        ) :
        or1_(or1),
        or2_(or2)
        {}

        bool checkPolarity() const
        {
            return (or1_ + or2_)
                   == Orientation::NORMAL;
        }

        bool checkPolarityWithCast() const
        {
            return (static_cast<Orientation>(or1_) + static_cast<Orientation>(or2_))
                   == Orientation::NORMAL;
        }
};

int main()
{
    Puzzle puzzle(
        Orientation::ANTICLOCKWISE,
        Orientation::CLOCKWISE
    );

    std::cout << "No cast: " << puzzle.checkPolarity() << '\n';
    std::cout << "Cast:    " << puzzle.checkPolarityWithCast() << '\n';
}

在X86-64 GCC 8.4、8.5、9.3、9.4和9.5中，输出为：

 否铸造：0
演员：1
 

但是从GCC 10来看，输出为：

 否铸造：1
演员：1
 

为什么static_cast对输出有所不同？是从G ++ 10固定的编译器中的错误吗？

godbolt

Answer 1

With G++8.4, the assembly code for Puzzle.checkPolarity() is:

Puzzle::checkPolarity() const:
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        mov     rax, QWORD PTR [rbp-8]
        movzx   eax, BYTE PTR [rax]
        and     eax, 3
        mov     edx, eax
        mov     rax, QWORD PTR [rbp-8]
        movzx   eax, BYTE PTR [rax]
        shr     al, 2
        and     eax, 3
        add     eax, edx
        test    al, al
        sete    al
        pop     rbp
        ret

And, as

因为G ++ 8.4和9.3不要调用自定义操作员+。我猜他们对+进行整数促销，然后平等为false。

如由y​​ksisarvinen评论

看起来确实像一个固定的错误： gcc.gc.gc.gc.org.org.org.org/bugzilla/ show_bug.cgi？id = 92859

---

但是，该错误报告指出：

评论5 Jason Merrill 2019-12-19 14:23:49 UTC

修复了8.4/9.3/10。

而且看来它还没有完全固定，因为它似乎仍在X86-64 GCC 8.4、8.5、9.3、9.4和9.5中被错误，但该修复程序似乎确实从版本10中使用了。