Вариант 1 - инициализация по умолчанию (default initialization). Она будет выполняться путем вызова конструктора A::A()
, который примет во внимание указанные вами умолчательные инициализаторы для полей класса. Для поля va
он вызовет конструктор по умолчанию, а поле a
оставит неинициализированным.
Варианты 2 и 3 одинаковы - это инициализация списком (list initialization). Она в данном случае приведет к value-инициализации. Так как конструктор по умолчанию класса A
не является предоставленным пользователем, value-инициализация не будет вызывать конструктор класса A
, а будет инициализировать поля этого класса индивидуально. Она тоже примет во внимание указанные вами умолчательные инициализаторы для полей класса. Те поля, для которых не указано инициализатора, будут подвергнуты default initialization, включая поле a
.
Таким образом поля класса будут принимать те значения, которые вы указали при помощи умолчательных инициализаторов в определении класса. Для поля va
инициализатор не указан, но так так у класса std::vector<int>
есть явно определенный конструктор по умолчанию, то инициализация поля va
будет выполнена именно им.
Единственное поле, значение которого зависит от внешнего инициализатора - это поле a
. В случае 1 это поле останется неинциализированным. В случаях 2 и 3 это поле будет инициализировано нулем.
Важной деталью является то, что прямо в определений класса вы определили конструктор по умолчанию как defaulted. Такой конструктор по умолчанию не считается предоставленным пользователем. Именно по этой причине value-инициализация такого класса не использует такой конструктор по умолчанию, а самостоятельно напрямую инициализирует индивидуальные поля.
А если бы вы определили конструктор A::A()
как defaulted за пределами определения класса
struct A {
A();
...
};
A::A() = default;
то такой конструктор по умолчанию считался бы предоставленным пользователем. В такой ситуации value-инициализация просто вызывала бы A::A()
и никакой функциональной разницы между вариантами 1, 2 и 3 не было бы. То есть во всех трех вариантах поле a
осталось бы неинициализированным.