Использование функций-членов элементов в инициализаторе конструктора

Question

Я несколько раз сталкивался с списками инициализаторов, и я никогда не мог это объяснить. Может кто-нибудь объяснить, почему именно следующее выходит из строя (я не компилятор, чтобы поймать опечаток, так что медведь со мной):

class Foo 
{ 
public: 
    Foo(int i) : m_i(i) {} //works with no problem 

    int getInt() {return m_i;} 

    ~Foo() {} 
private: 
    int m_i; 
}; 

class Bar 
{ 
public: 
    Bar() : 
    m_foo(5),   //this is ok 
    m_myInt(m_foo.getInt()) //runtime error, seg 11 
    {} 

    ~Bar() {} 
private: 
     Foo m_foo; 
    int m_myInt; 


}; 

При попытке вызова функции-члены членов инициализируется выше список инициализатора, я получаю seg. Кажется, я помню, что это известная проблема (или, возможно, так или иначе по дизайну), но я никогда не видел ее хорошо описанной. Приложенный пример наложен на простые старые типы данных, но замените Bar::m_myInt на другой объект, в котором отсутствует конструктор по умолчанию (пустой), и проблема более реальна. Может ли кто-нибудь просветить меня?

Answer 1

Порядок инициализации не зависит от порядка элементов в списке инициализации. Фактический порядок - порядок членов в определении класса. То есть в вашем примере m_foo будет инициализирован до m_myInt не из-за списка инициализации, а потому, что элемент появляется первым в классе.

Конкретный пример, который вы опубликовали, должен компилироваться и запускаться без проблем.

Answer 2

Элементы данных инициализируются в порядке, указанном в объявлении класса (заказ под номером private: в вашем примере). Порядок, указанный в списке инициализаторов, не имеет запрета на порядок строительства.

Таким образом, в вашем примере, переупорядочивая элементы данных, как это может привести к непредсказуемому поведению:

private: 
    int m_myInt; 
    Foo m_foo; 

Возможно ли, что порядок элементов данных была актуальна иначе, чем вы показали?