C++ 初始值设定项列出导致IAR ARM中出现错误的成员结构位字段元素的初始化

我在IAR中有以下班级结构：

class A
{
public:
    A(){}
    virtual ~A() {};
    virtual void load() {};
};


class C
{
public:
    C()
    {
        //C does other stuff, not relevant
    }
};

class D;

class B : public A
{
public:
    B() : invert(false) {};
    virtual ~B() {};
    void load()
    {
        //Irrelevant stuff done here
    }
private:
    C member_c;
    std::vector<D*> vector_of_d;
    struct {
        bool var_1:1;
        bool var_2:1;
        bool var_3:1;
        bool var_4:1;
        bool invert:1;
    };
};

现在最大的问题是，我是否在某个地方偶然引入了一些未定义的行为？这是从GCC-ARM移植来的代码，在那里它工作得很好，但现在当使用IAR编译时，它突然导致了硬错误。我的两个理论是：

• 这是一个编译器错误（我知道，它从来都不是编译器错误）
• GCC作为扩展处理的是非标准行为

据我所知，使用初始值设定项列表初始化匿名结构中的字段不会有任何错误。我确实知道匿名结构是一种编译器扩展，但它们在IAR和GCC中都有文档记录。不管怎样，IAR并没有给我任何警告或错误，而是生成了明显损坏的组件

这是它为

B

构造函数制作的程序集

1 |    B() : invert(false) {};
2 |B::B():
3 |_ZN6BC1Ev:
4 |    0x80645e8: 0xb510         PUSH      {R4, LR}
5 |    0x80645ea: 0x4604         MOV       R4, R0
6 |    B() : invert(false) {};
7 |    0x80645ec: 0xf007 0xfb20  BL        A::subobject A() ; 0x806bc30
8 |    0x80645f0: 0x4807         LDR.N     R0, [PC, #0x1c]         ; 0x8088808 (134776840)
9 |    0x80645f2: 0x6020         STR       R0, [R4]
10|    0x80645f4: 0xf104 0x0018  ADD.W     R0, R4, #24             ; 0x18
11|    0x80645f8: 0xf00a 0xfadd  BL        C::C()              ; 0x806ebb6
12|    0x80645fc: 0xf104 0x001c  ADD.W     R0, R4, #28             ; 0x1c
13|    0x8064600: 0xf00e 0xff2e  BL        std::vector<D *>::vector() ; 0x8073460
14|    0x8064604: 0x7820         LDRB      R0, [R4]
15|    0x8064606: 0xf000 0x00ef  AND.W     R0, R0, #239            ; 0xef
16|    0x806460a: 0x7020         STRB      R0, [R4]
17|    B() : invert(false) {};
18|    0x806460c: 0x4620         MOV       R0, R4
19|    0x806460e: 0xbd10         POP       {R4, PC}
20|    0x8064610: 0x08088808     DC32      0x8088808 (134776840)

旁注，第8行有一个轻微的变化，但这可能是由于一些偏移量的变化

---

有人知道是什么原因导致了这种情况吗？

这是一个编译器错误，根据我的调查，它至少会在EWARM 7.80.1和8.11.2中触发。它不会在温热的8.20.1中触发。这个错误会在所有优化级别触发，我想不出比问题中提到的更有效的解决方法。

B（）：invert（false）

invert不存在，该代码无法编译。抱歉，我在键入时出现了两个语法错误，现在应该可以编译了（在GCC ARM中），其他人都可以查看，感谢@Johan，我已经制作了一个更完整的godbolt示例，我们现在可能要更新到8.20，但我仍在等待IAR的回复，了解实际的bug是什么，以确保我们没有暴露在任何其他代码上。我会让你知道他们说什么

1 |    B() : invert(false) {};
2 |B::B():
3 |_ZN6BC1Ev:
4 |    0x80645e8: 0xb510         PUSH      {R4, LR}
5 |    0x80645ea: 0x4604         MOV       R4, R0
6 |    B() : invert(false) {};
7 |    0x80645ec: 0xf007 0xfb20  BL        A::subobject A() ; 0x806bc30
8 |    0x80645f0: 0x4807         LDR.N     R0, [PC, #0x1c]         ; 0x8088808 (134776840)
9 |    0x80645f2: 0x6020         STR       R0, [R4]
10|    0x80645f4: 0xf104 0x0018  ADD.W     R0, R4, #24             ; 0x18
11|    0x80645f8: 0xf00a 0xfadd  BL        C::C()              ; 0x806ebb6
12|    0x80645fc: 0xf104 0x001c  ADD.W     R0, R4, #28             ; 0x1c
13|    0x8064600: 0xf00e 0xff2e  BL        std::vector<D *>::vector() ; 0x8073460
14|    0x8064604: 0x7820         LDRB      R0, [R4]
15|    0x8064606: 0xf000 0x00ef  AND.W     R0, R0, #239            ; 0xef
16|    0x806460a: 0x7020         STRB      R0, [R4]
17|    B() : invert(false) {};
18|    0x806460c: 0x4620         MOV       R0, R4
19|    0x806460e: 0xbd10         POP       {R4, PC}
20|    0x8064610: 0x08088808     DC32      0x8088808 (134776840)

class B : public A
{
public:
    B(){ invert = false; };
    virtual ~B() {};
    void load()
    {
        //Irrelevant stuff done here
    }
private:
    C member_c;
    std::vector<D*> vector_of_d;
    struct {
        bool var_1:1;
        bool var_2:1;
        bool var_3:1;
        bool var_4:1;
        bool invert:1;
    }
};

1 |    B(){ invert = false; };
2 |B::B():
3 |_ZN6BC1Ev:
4 |    0x80645e8: 0xb510         PUSH      {R4, LR}
5 |    0x80645ea: 0x4604         MOV       R4, R0
6 |    B(){ invert = false; };
7 |    0x80645ec: 0xf007 0xfb20  BL        A::subobject A() ; 0x806bc30
8 |    0x80645f0: 0x4807         LDR.N     R0, [PC, #0x20]         ; 0x8088808 (134776840)
9 |    0x80645f2: 0x6020         STR       R0, [R4]
10|    0x80645f4: 0xf104 0x0018  ADD.W     R0, R4, #24             ; 0x18
11|    0x80645f8: 0xf00a 0xfadd  BL        C::C()              ; 0x806ebb6
12|    0x80645fc: 0xf104 0x001c  ADD.W     R0, R4, #28             ; 0x1c
13|    0x8064600: 0xf00e 0xff2e  BL        std::vector<D *>::vector() ; 0x8073460
14|    0x8064604: 0x7820         LDRB      R0, [R4, #0x2c]
15|    0x8064606: 0xf000 0x00ef  AND.W     R0, R0, #239            ; 0xef
16|    0x806460a: 0x7020         STRB      R0, [R4, #0x2c]
17|    B(){ invert = false; };
18|    0x806460c: 0x4620         MOV       R0, R4
19|    0x806460e: 0xbd10         POP       {R4, PC}
20|    0x8064610: 0x08088808     DC32      0x8088808 (134776840)