Есть ли какая-либо польза от помещения переменной-члена класса в список инициализаторов, которая не обязательно должна быть в списке инициализаторов? Пример:
class Foo
{
public:
Foo() {}
};
class Bar
{
public:
Bar() : _foo() {}
private:
Foo _foo;
};
Делает ли компилятор что-то особенное в этом случае?
Список инициализаторов является предпочтительным способом инициализации членов в конструкторе. Это единственный возможный способ инициализировать ссылочные и константные элементы.
Кроме того, используя список инициализаторов, вы уменьшаете вероятность случайного использования переменной до ее инициализации. Это часть более широкой философии никогда не определять переменную без ее инициализации.
В данном случае это не имеет значения.
Но это может быть полезно.
Если у вас большое количество участников, то наличие некоторых, но не всех членов в списке может вызвать некоторую путаницу. Также это закрепляет в вашем уме порядок инициализации (порядок определяется порядком объявления в классе, но может быть полезно визуализировать этот порядок в больших классах, где не все переменные-члены объявляются рядом друг с другом).
Примечание. Если вы поместите их в неправильном порядке в списке интернализации, это обычно просто предупреждение для большинства компиляторов (если вы не компилируете с предупреждениями как ошибками (что вам следует)).
Реальная опасность связана с классами, которые имеют элементы POD и конструктор, сгенерированный компилятором.
class NewFoo
{
int x;
int y;
};
// Version 1:
class Bar1
{
NewFoo f;
};
// Version 2:
class Bar2
{
NewFoo f;
public:
Bar2() // f not in list.
{}
};
// Version 3:
class Bar3
{
NewFoo f;
public:
Bar3()
: f()
{}
};
int main()
{
Bar1 b1a; // x and y not initialized.
Bar1 b1b = Bar1(); // x and y zero initialized.
Bar2 b2a; // x and y not initialized.
Bar2 b2b = Bar2(); // x and y not initialized.
Bar3 b3a; // x and y zero initialized.
Bar3 b3b = Bar3(); // x and y zero initialized.
}
Bar3(): f() {} - это ничего не делает с моим компилятором (x, y не определены) - это функция С++ 11?
- person Wolf; 04.04.2014
Члены, не упомянутые в списке инициализаторов используемого конструктора, инициализируются по умолчанию. Для Foo это означает, что будет вызван конструктор по умолчанию.
Разница между Bar() : _foo() { } и полным отсутствием явного конструктора по умолчанию для Bar (или указанием Bar() = default заключается в том, что ваша версия не имеет тривиального конструктора по умолчанию. в остальном то же самое.
Нет, ничего другого в этом случае не делается. Я не вижу никакой пользы в этом.
_fooуже инициализирован (используя конструктор foo по умолчанию) из объявленияFoo _foo;Если вы хотите повторно инициализировать_foo, используйтеBar() : _foo(Foo()) {}. Однако это было бы бессмысленно. - person andre schedule 05.11.2012_fooинициализируется в списке инициализаторов. Это единственное место, где члены класса инициализируются.Bar() : _foo(Foo()) {}не повторно инициализирует_foo— он инициализирует его. - person John Dibling schedule 05.11.2012