本文共 2674 字，大约阅读时间需要 8 分钟。
构造函数初始化列表以一个冒号开始，接着是一个以逗号分隔的数据成员列表，每个数据成员后面跟一个放在圆括号中的初始化式。构造函数初始化式只在构造函数的定义中而不是声明中指定。
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的值未定义。一个好的习惯是，按照成员定义的顺序进行初始化。