12.4.3 默认构造函数
只要定义了一个对象时没有提供初始化式,就使用默认构造函数。为所有形参提供默认实参的构造函数也定义了默认构造函数。
1. 合成的默认构造函数
一个类哪怕只定义了一个构造函数,编译器也不会再生成默认构造函数。
只用当一个类没有定义构造函数时,编译器才会自动生成一个默认构造函数。
合成的默认构造函数(synthesized default constructor)使用与变量初始化相同的规则来初始化成员。具有类类型的成员通过运行各自的默认构造函数来进行初始化。内置和复合类型的成员,如指针和数组,只对定义在全局作用域中的对象才初始化。当对象定义在局部作用域中时,内置或复合类型的成员不进行初始化。
如果类包含内置或复合类型的成员,则该类不应该依赖于合成的默认构造函数。它应该定义自己的构造函数来初始化这些成员。
每个构造函数应该为每个内置或复合类型的成员提供初始化式。没有初始化内置或复合类型成员的构造函数,将使这些成员处于未定义的状态。除了作为赋值的目标之外,以任何方式使用一个未定义的成员都是错误的。如果每个构造函数将每个成员设置为明确的已知状态,则成员函数可以区分空对象和具有实际值的对象。
2. 类通常应定义一个默认构造函数
实际上,如果定义了其他构造函数,则提供一个默认构造函数几乎总是对的。通常,在默认构造函数中给成员提供的初始值应该指出该对象是"空"的。
3. 使用默认构造函数
使用默认构造函数定义一个对象的正确方式是去掉最后的空括号。
- class Class1
- {
- public:
- int counter;
- public:
- Class1(int counter = 100):counter(counter){}
- };
class Class1
{
public:
int counter;
public:
Class1(int counter = 100):counter(counter){}
};
- Class1 c1;
- cout << c1.counter << endl;
Class1 c1;
cout << c1.counter << endl;