Инициализация членов с членами

Question

Это проблема, с которой я часто сталкиваюсь. Следующие примеры иллюстрирует это:

struct A { 
    int m_SomeNumber; 
}; 

struct B { 
    B(A & RequiredObject); 
private: 
    A & m_RequiredObject; 
}; 

struct C { 
    C(); 
private: 
    A m_ObjectA; 
    B m_ObjectB; 
}; 

Реализация конструктора C выглядит примерно так:

C::C() 
: B(m_ObjectA) 
{ } 

Поскольку порядок инициализации не определен, m_ObjectA может быть инициализирован, когда конструктор m_ObjectB вызывается, что приводит к неопределенному поведению. Одним из способов заставить определенный порядок инициализации было бы сделать указатели членов и инициализировать их в теле конструктора, тем самым вызывая правильный порядок, но это уродливо по нескольким причинам. Есть ли способ заставить определенный порядок инициализации использовать список инициализации конструктора? Если нет, есть ли у вас какие-либо другие рекомендации по его устранению.

Answer 1

Поскольку порядок инициализации не определен

Напротив, она хорошо определена. Порядок инициализации равен порядку, в котором переменные-члены объявляются в вашем классе (и это независимо от фактического порядка списка инициализации! Поэтому рекомендуется, чтобы порядок списка инициализации соответствовал порядку объявлений избегайте неприятных сюрпризов).