foo的构造函数在起初声明时是要求默认合成,而不是我们自定义提供的,因此它属于编译器 合成的 默认构造函数 。而bar的构造函数则不同,它是在定义时被要求合成,因此它属于我们用户 自定义的 默认构造函数 。
前面提到的关于值初始化的规则时,有说明到: 如果T类型的默认构造函数不是用户自定义的,默认初始化之前先进行零初始化 。因为foo的默认构造函数不是我们自定义的,是编译器合成的,所以在对foo类型的对象进行值初始化时,会先进行一次零初始化,然后再调用默认构造函数,这导致a.a的值被初始化为0,而bar的默认构造函数是用户自定义的,所以不会进行零初始化,而是直接调用默认构造函数,从而导致b.b的值是未初始化的,因此每次都是随机值。
这个陷阱迫使我们注意:如果你不想要你的默认构造函数是用户自定义的,那么必须在类的内部声明处使用"=default",而不是在类外部定义处使用。
对于类类型来说,用户提供自定义的默认构造函数有一些额外的“副作用”。比如,对于缺少用户提供的自定义默认构造函数的类,是无法定义该类的const对象的。示例如下:
class exec
{
int i;
};
const exec e; //错误!缺少用户自定义默认构造函数,不允许定义const类对象
通过开头的例子,我们已经对C++的一些初始化方式有了直观的感受。 C++中的初始化分为6种:零 初始化、 默认初始化、值初始化、直接初始化、拷贝初始化、列表初始化。
零初始化和变量的类型和位置有关系,比如是否static,是否aggregate聚合类型。能进行0初始化的类型的对象的值都是0,比如int为0,double为0.0,指针为nullptr;
现在我们已经了解了几种初始化的规则,下面则是几种初始化方式的使用形式:
1. 默认初始化是定义对象时,没有使用初始化器,也即没有做任何初始化说明时的行为。典型的:
int i;
vector<int> v;
2. 值初始化是定义对象时,要求初始化,但没有给出初始值的行为。典型的:
int i{};
new int();
new int{}; //C++11
3. 直接初始化和拷贝初始化主要是相对于我们自定义的对象的初始化而言的,对于内置类型,这两者没有区别。对于自定义对象,直接初始化和拷贝初始化区别是直接调用构造函数还是用"="来进行初始化。典型的:
vector<int> v1(10); //直接初始化,匹配某一构造函数
vector<string> v2(10); //直接初始化,匹配某一构造函数
vector<int> v3=v1; //拷贝初始化,使用=进行初始化










