C++ Primer中的陌生概念二：default默认构造函数

- 日理万妓 2022-07-14 14:49 162阅读 0赞

首先，为什么需要构造函数呢?  
C++的目标之一是让使用类对象就像使用标准类型一样，然而，如果没有特殊的函数（构造函数）的话，就不能像初始化int或结构体那样来初始化类对象。因为，类的数据部分的访问状态是私有的，这意味着程序不能直接访问数据成员。因此要设计合适的成员函数，才能成功地将对象初始化。

在C++中，当且仅当没有定义任何构造函数时，编译器会提供默认构造函数。我们定义default这个构造函数的目的仅仅是因为既需要其他形式的构造函数，也需要默认的构造函数。我们希望这个函数的作用完全等同于使用“合成的默认构造函数”。（没有显式的给出构造函数时，编译器为我们隐式地定义的一个默认构造函数）

在C++新标准中，如果我们需要默认的行为，那么可以通过在参数列表后面写上=default来要求编译器生成构造函数。其中，=default既可以和声明一起出现在类的内部，也可以作为定义出现在类的外部。和其他函数一样，如果=default在类的内部，则默认构造函数是内联的；如果在类的外部，则该成员默认情况下不是内联的。

如下面的类定义：

class Sales_data
    {
    Sales_data() = default;
    int i = 0;
    };

在支持新标准的VS2015中是可以编译过的，在vs2010中编译是会报错的。另外，vs2010编译器并不支持类内初始值。在上面的默认构造函数之所以对Sales\_data有效，是因为我们为内置类型的数据成员提供了初始值。如果编译器不支持类内初始值，那么默认构造函数就应该使用构造函数初始值列表来初始化类的每个成员。如下面的样子：

class Sales_data
    {
    Sales_data() : i(34)
    int i ;
    };

无论是显式的默认构造函数（default形式），还是隐式合成的默认构造函数，都是用来控制默认初始化过程的。它按照如下规则初始化类的数据成员：  
1.如果存在类内的初始值，用它来初始化成员。  
2.如果不存在类内的初始值，默认初始化该成员。  
默认初始化：默认值到底是什么由变量类型决定，同时定义变量的位置也会对此有影响。如果是内置类型的变量未被显式初始化， 它的值由定义的位置决定。定义与任何函数体之外的变量被初始化为0。

多说一句，定义在函数体内部的内置类型变量将不被初始化。一个未被初始化的内置类型变量的值是未定义的（超出该类型范围的一个值）。如果试图拷贝或以其他形式访问此类值将引发错误。