初始化列表

构造函数初始化列表以一个冒号开始，接着是一个以逗号分隔的数据成员列表，每个数据成员后面跟一个放在圆括号中的初始化式。构造函数初始化式只在构造函数的定义中而不是声明中指定。

struct foo
{
　　string name;
　　int id;
　　foo(string s, int i):name(s), id(i){} ; // 初始化列表
};

用class和struct关键字定义类的唯一差别在于默认访问级别：默认情况下，struct的成员为public，而class的成员为private。(《C++ Primer》第4版2.28节)

从概念上讲，可以认为构造函数分两个阶段执行：(1)初始化阶段；(2)普通的计算阶段。计算阶段由构造函数函数体中的所有语句组成。

不管成员是否在构造函数初始化列表中显式初始化，类类型的数据成员总是在初始化阶段初始化。初始化发生在计算阶段开始之前。例如，可以将接受一个string的Sales_item构造函数编写为：

Sales_item::Sales_item(const string &book)
{
　　isbn = book;
　　units_sold = 0;
　　revenue = 0.0;
}

这个构造函数给类Sales_item的成员赋值，但没有进行显式初始化。不管是否有显式的初始化式，在执行构造函数之前，都要初始化isbn成员。这个构造函数隐式使用默认的string构造函数来初始化isbn。执行构造函数的函数体时，isbn成员已经有值了。该值被构造函数函数体中的赋值所覆盖。(《C++ Primer》第4版12.4.1节)

以下来自：http://www.cnblogs.com/graphics/archive/2010/07/04/1770900.html

下面的代码定义两个结构体，其中Test1有构造函数、拷贝构造函数及赋值运算符，为的是方便查看结果，Test2是个测试类，它以Test1的对象为成员，我们看一下Test2的构造函数是怎么样执行的：

struct Test1
{
　　Test1() // 无参构造函数
　　{
　　　　cout << "Construct Test1" << endl;
　　}

　　Test1(const Test1& t1) // 拷贝构造函数
　　{
　　　　cout << "Copy constructor for Test1" << endl;
　　　　this->a = t1.a;
　　}

　　Test1& operator = (const Test1& t1) // 赋值运算符
　　{
　　　　cout << "assignment for Test1" << endl;
　　　　this->a = t1.a;
　　　　return *this;
　　}

　　int a;
};

struct Test2
{
　　Test1 test1;
　　Test2(Test1 &t1)
　　{
　　　　test1 = t1;
　　}
};

调用代码：

Test1 t1;
Test2 t2(t1);

输出：

Construct Test1
Construct Test1
assignment for Test1

第一行输出对应调用代码中第一行，构造一个Test1对象。

第二行输出对应Test2构造函数中的代码，用默认的构造函数初始化对象test1，这就是所谓的初始化阶段。

第三行输出对应Test2的赋值运算符，对test1执行赋值操作，这就是所谓的计算阶段。

同样看上面的例子，我们使用初始化列表来实现Test2的构造函数：

struct Test2
{
　　Test1 test1;
　　Test2(Test1 &t1):test1(t1){}
}

使用同样的调用代码，输出结果如下：

Construct Test1
Copy constructor for Test1

第一行输出对应调用代码的第一行。

第二行输出对应Test2的初始化列表，直接调用拷贝构造函数初始化test1，省去了调用默认构造函数的过程。

为什么使用初始化列表?

主要是性能问题，对于内置类型，如int, float等，使用初始化类表和在构造函数体内初始化差别不是很大，但是对于类类型来说，最好使用初始化列表，由上面的测试可知，使用初始化列表少了一次调用默认构造函数的过程，这对于数据密集型的类来说，是非常高效的。所以一个好的原则是，能使用初始化列表的时候尽量使用初始化列表。

如果没有为类成员提供初始化式，则编译器会隐式地使用成员类型的默认构造函数。如果那个类没有默认构造函数，则编译器尝试使用默认构造函数将会失败。在这种情况下，为了初始化数据成员，必须提供初始化式。

有些成员必须在构造函数初始化列表中进行初始化。对于这样的成员，在构造函数函数体中对它们赋值不起作用。没有默认构造函数的类类型的成员，以及const或引用类型的成员，不管是哪种类型，都必须在构造函数初始化列表中进行初始化。

struct Test1
{
　　Test1(int a):i(a){}
　　int i;
};

struct Test2
{
　　Test1 test1;
　　Test2(Test1 &t1)
　　{
　　　　test1 = t1;
　　}
};

以上代码无法通过编译，因为Test2的构造函数中test1 = t1这一行实际上分成两步执行：

1.调用Test1的默认构造函数来初始化test1。

2.调用Test1的赋值运算符给test1赋值。

由于Test1没有默认构造函数，所以第一步无法执行，故而编译错误。正确代码如下，使用初始化列表代替赋值操作：

struct Test2
{
　　Test1 test1;
　　Test2(Test1 &t1):test1(t1){}
}

成员是按照他们在类中出现的顺序进行初始化的，而不是按照他们在初始化列表出现的顺序初始化的。

struct foo
{
　　int i;
　　int j;
　　foo(int x):i(x), j(i){}; // ok, 先初始化i，后初始化j
};
struct foo
{
　　int i;
　　int j;
　　foo(int x):j(x), i(j){} // i值未定义
};

这里i的值是未定义的，因为虽然j在初始化列表里面出现在i前面，但是i先于j定义，所以先初始化i，而i由j初始化，此时j尚未初始化，所以导致i的值未定义。一个好的习惯是，按照成员定义的顺序进行初始化。