C++中通过用户自定义类建立对象时,需要调用构造函数,这里包含默认构造函数、复制构造函数和自定义构造函数。其中自定义构造函数,按照函数重载机制进行匹配调用,与普通重载函数调用类似。因此,这里讨论的是默认构造函数和复制构造函数,因为这两种构造函数如果用户不显式定义,会在特定情况下被编译器合成出来。编译器合成的规则并不明显,C++标准做的说明只是“在需要的时候合成”。
默认构造函数(default constructor)
默认构造函数就是不需要参数的构造函数或者参数都带有默认值的构造函数。
理解默认构造函数需要从程序语义层面和编译器层面(C++实现)两个方面来入手。考虑如下代码:
class A{
int a;
float b;
};
A objA;
...
从程序语义层面上看,变量objA
需要一个默认构造函数,并且最好能初始化成员变量的值为0,但是由于没有明确定义默认构造函数,因此编译器会是否合成出这个默认构造函数取决于编译器层面上能否进行编译,因此就衍生出了trivial和non-trivial默认构造函数的概念,如果是一个non-trivial性质的,编译器就会合成;否则就不会合成。
编译器总共支持四种non-trivial的情形,出现这些情形中的任何一个或多个都会当做non-trivial从而合成出默认构造函数:
1. 类的成员对象存在默认构造函数
2.