c++ primer 学习笔记22类的构造函数

构造函数是特殊的成员函数，只要创建类类型的新对象，都要执行构造函数。构造函数的工作是保证每个对象的数据成员具有合适的初始值。

class Sales_item { 
     public: 
         // operations on Sales_itemobjects 
         // default constructor needed to initialize members of built-in type </span>

<span style="font-size:24px;">     Sales_item(): units_sold(0), revenue(0.0) { } 
     private: 
         std::string isbn; 
         unsigned units_sold; 
         double revenue; 
     }; 

构造函数可以被重载 
可以为一个类声明的构造函数的数量没有限制，只要每个构造函数的形参表是唯一的。

 class Sales_item{ 
     // other members as before 
     public: 
         // added constructors to initialize from a string or an istream 
         Sales_item(const std::string&); 
         Sales_item(std::istream&); 
         Sales_item(); 
     }; 

实参决定使用哪个构造函数 

 // uses the default constructor: 
     // isbn is the empty string; units_soldand revenue are 0
     Sales_item empty; 
     // specifies an explicit isbn; units_soldand revenue are 0 
     Sales_item Primer_3rd_Ed("0-201-82470-1");  

// reads values from the standard input into isbn, units_sold, and revenue 
     Sales_item Primer_4th_ed(cin); 

构造函数自动执行 
只要创建该类型的一个对象，编译器就运行一个构造函数.

构造函数不能声明为 const。

构造函数初始化式 

与任何其他函数一样，构造函数具有名字、形参表和函数体。与其他函数不同的是，构造函数也可以包含一个构造函数初始化列表：

 // recommended way to write constructors using a constructor initializer 
     Sales_item::Sales_item(const string &book): 
          isbn(book), units_sold(0), revenue(0.0) { } 

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

在构造函数初始化列表中没有显式提及的每个成员，使用与初始化变量相同的规则来进行初始化。运行该类型的默认构造函数，来初始化类类型的数据成员。内置或复合类型的成员的初始值依赖于对象的作用域：在局部作用域中这些成员不被初始化，而在全局作用域中它们被初始化为 0。

无论是在构造函数初始化列表中初始化成员，还是在构造函数函数体中对它们赋值，最终结果是相同的。

1、有时需要构造函数初始化列表 

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

例如，下面的构造函数是错误的：

 class ConstRef { 
     public: 
         ConstRef(int ii); 
     private: 
         int i; 
         const int ci; 
         int &ri; 
     }; 
     // no explicit constructor initializer: error ri is uninitialized 
     ConstRef::ConstRef(int ii) 
     {              // assignments: 
          i = ii;   // ok 
          ci = ii;  // error: cannot assign to a const 
          ri = i;   // assigns to ri which was not bound to an object 
     } 

可以初始化 const 对象或引用类型的对象，但不能对它们赋值。

必须对任何 const 或引用类型成员以及没有默认构造函数的类类型的任何成员使用初始化式。 

2、成员初始化的次序

构造函数初始化列表仅指定用于初始化成员的值，并不指定这些初始化执行的次序。成员被初始化的次序就是定义成员的次序。

初始化的次序常常无关紧要。然而，如果一个成员是根据其他成员而初始化，则成员初始化的次序是至关重要的。

一般情况下，通过（重复）使用构造函数的形参而不是使用对象的数据成员，可以避免由初始化式的执行次序而引起的任何问题。

默认构造函数

只要定义一个对象时没有提供初始化式，就使用默认构造函数。为所有形参提供默认实参的构造函数也定义了默认构造函数。 
合成的默认构造函数一个类哪怕只定义了一个构造函数，编译器也不会再生成默认构造函数。

只有当一个类没有定义构造函数时，编译器才会自动生成一个默认构造函数。 

内置和复合类型的成员，如指针和数组，只对定义在全局作用域中的对象才初始化。当对象定义在局部作用域中时，内置或复合类型的成员不进
行初始化。 
如果类包含内置或复合类型的成员，则该类不应该依赖于合成的默认构造函数。它应该定义自己的构造函数来初始化这些成员。

此外，每个构造函数应该为每个内置或复合类型的成员提供初始化式。没有初始化内置或复合类型成员的构造函数，将使那些成员处于未定义的状态。除了作为赋值的目标之外，以任何方式使用一个未定义的成员都是错误的。

实际上，如果定义了其他构造函数，则提供一个默认构造函数几乎总是对的。通常，在默认构造函数中给成员提供的初始值应该指出该对象是“空”的。