Почему в этом примере член не инициализируется нулем?

• Это означает, что b получает инициализацию значения
• B имеет неявно определенный конструктор по умолчанию, поэтому b инициализация значения вызывает нулевую инициализацию
• b.B::A инициализируется нулем, который инициализирует b.B::A.i нулем, а затем b.B::j инициализируется нулем.

Раздел 8.5

Чтобы инициализировать нулевой объект или ссылку типа T означает:
...
- если T является (возможно, cv-квалифицированным) типом класса без объединения, каждый нестатический элемент данных и каждый подобъект базового класса инициализируется нулем, а заполнение инициализируется нулевыми битами;

...

Инициализация значения объекта типа T означает:
- если T является типом класса (возможно cv-квалифицированным) (раздел 9) с конструктором, предоставленным пользователем (12.1), то вызывается конструктор по умолчанию для T ( и инициализация неправильно сформирована, если у T нет доступного конструктора по умолчанию);
- если T является (возможно, cv-квалифицированным) типом класса без объединения без конструктора, предоставленного пользователем, то объект равен нулю -initialized и, если неявно объявленный конструктор T по умолчанию нетривиален, этот конструктор вызывается.

Однако похоже, что gcc говорит, что только b.B::j получит нулевую инициализацию. Почему это?

Одна из причин, о которой я могу думать, - это если B рассматривается как агрегат, который инициализирует b.B::A пустым списком. B, конечно, не является агрегатом, потому что gcc правильно ошибается, если мы пытаемся использовать агрегатную инициализацию.

// ... as in the above example
int main() {
    B b = {A{}, 1};
    std::cout << b.i << " " << b.j << std::endl;
}

Компиляция с C ++ 11

$ g++ -std=c++11 -pedantic-errors -Wuninitialized -O2 a.cpp
a.cpp: In function ‘int main()’:
a.cpp:10:18: error: could not convert ‘{A(), 1}’ from ‘<brace-enclosed initializer list>’ to ‘B’
     B b = {A{}, 1};

Компиляция с C ++ 17

g++ -std=c++17 -pedantic-errors -Wuninitialized -O2 a.cpp
a.cpp: In function ‘int main()’:
a.cpp:11:25: warning: ‘b.B::<anonymous>.A::i’ is used uninitialized in this function [-Wuninitialized]
     std::cout << b.i << " " << b.j << std::endl;

И мы видим, что b.i не инициализирован, потому что B является агрегатом, а b.B::A инициализируется выражением, которое само по себе оставляет A::i неинициализированным.

Так что это не совокупность. Другая причина в том, что b.B::j инициализируется нулем, а b.B::A инициализируется значением, но я не вижу этого нигде в спецификациях.

Последняя причина в том, что вызывалась более старая версия стандарта. Из cppreference:

2) если T является типом класса без объединения без каких-либо предоставленных пользователем конструкторов, каждый нестатический член данных и компонент базового класса T инициализируется значением; (до C ++ 11)

В этом случае и b.B::i, и b.B::A будут инициализированы значением, что вызовет такое поведение, но оно помечено как "(до C ++ 11)".