具有默认构造函数的对象的初始化列表

Question

将类成员变量放在初始化列表中不需要在初始化列表中是否有任何好处？例:

class Foo
{
public:
  Foo() {}
};

class Bar
{
public:
  Bar() : _foo() {}

private:
  Foo _foo;
};

在这种情况下,编译器是否会执行任何特殊操作？

Answer 1

在这种情况下,它没有任何区别.

但这样做很有用.
如果你有大量的成员,那么列表中有一些但不是所有成员会引起一些混乱.此外,它还强调了初始化的顺序(顺序是由类中声明的顺序定义的,但是在较大的类中可视化此顺序可能很有用,其中并非所有成员变量都在彼此旁边声明).

注意:如果在内部化程序列表中将它们放入错误的顺序,这通常只是大多数编译器的警告(除非您将警告编译为错误(您应该这样做)).

真正的危险在于具有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.
}

Answer 2

初始化列表是初始化构造函数中成员的首选方法.这是初始化引用成员和常量成员的唯一可能方法.

此外,通过使用初始化列表,可以减少在初始化之前意外使用变量的可能性.它是更大的哲学的一部分,在没有初始化的情况下永远不定义变量.

Answer 3

在正在使用的构造函数的初始化程序列表中未提及的成员是默认初始化的.对于Foo这意味着默认的构造函数将被调用.

之间的区别Bar() : _foo() { },而不是让Bar所有明确的默认构造函数(或者说Bar() = default是你的版本没有一个平凡的默认构造函数.这样的值std::is_trivially_constructible<Bar>::value将从如果完全离开构造出不同,虽然行为,否则相同.