изменение порядка инициализации в конструкторе

[Aram Hambardzumyan]

чем, согласно стандарту, чреват такой трюк:

struct B
{
B(T* t): t_(t) { }

T* t_;
};

struct D
{
D(): B(tt_ = new T) { } // заставляя член этого класса инициализироваться до вызова конструктора предка

T* tt_;
};

[Agregat]

1. ты забыл написать struct D : public B
2. стандарт я посмотрю потом скажу, если что найду.

[Agregat]

В общем, короче - раздел 12.6.2 (смотри картинку).
VC, выполняет не так как я это ожидаю... он сначала инициализирует член D, а потом вызывает конструктор B, что не есть верно (на мой взгляд).

[Aram Hambardzumyan]

Originally posted by Agregat
VC, выполняет не так как я это ожидаю... он сначала инициализирует член D, а потом вызывает конструктор B, что не есть верно (на мой взгляд).

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

struct S
{
S(int i = 0): i_(i) {}
int i_;
};

struct B
{
B(S* ps): ps_(ps)
{
cout << ps_->i_;
}

S* ps_;
};

struct D: B
{
D(): B(&(s_ = S(8)))
{
cout << s_.i_;
}

S s_;
};

int
main()
{
D d;
return 0;
}


но стандарт все же ничего не сказал о том, насколько правильно такое присваивание - обязан ли компилятор его обругать или нет...

[Aram Hambardzumyan]

Originally posted by Aram Hambardzumyan
а после этого он производит уже инициализацию, а поскольку в моем примере ничего не написано, то инициализацию по умолчанию, что оставляет значение указателя неизменным

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