在《C++中类的合成的默认构造函数2-1》中提到,当类没有定义默认构造函数时,C++编译器为该类自动生成一个合成的默认构造函数。当使用合成默认构造函数时,需要注意以下几个事项。
1 编译器生成默认构造函数的前提
只有当类没有声明任何构造函数时,C++编译器才会自动地生成默认构造函数。也就是说,一旦类定义了其他格式的构造函数,C++编译器不会为其生成默认构造函数。
struct MyStruct
{
int i;
MyStruct(int a) {
a = i;
}
};
其中,MyStruct类定义了一个带有参数的构造函数,此时C++不再为MyStruct类生成合成默认的构造函数。因此,
MyStruct sd1;
以上代码会报错,其报错信息为“error C2512: “MyStruct”: 没有合适的默认构造函数可用”。因此此时应该调用MyStruct类的默认构造函数,但是该类没有定义默认构造函数,而C++也不再为MyStruct类生成合成默认的构造函数,所以此时会提示没有合适的默认构造函数可用。对于这种情况,需要自己手动为MyStruct添加默认构造函数。
struct MyStruct
{
int i;
MyStruct(int a) {
a = i;
}
MyStruct() {
i = 1;
}
};
2 合成的默认构造函数使用未定义的值初始化
当在main函数内部通过合成的默认构造函数定义类对象时,该函数使用会未定义的值初始化成员。
struct MyStruct
{
int *p;
};
其中,MyStruct没有定义构造函数,此时C++编译器会为MyStruct类产生合成的默认构造函数。在main()函数中,定义MyStruct类的对象sd1,
MyStruct sd1;
int i = *sd1.p;
此时,会显示“error C4700: 使用了未初始化的局部变量“sd1””。因为合成的默认构造函数会将sd1.p初始化为未定义的值,在VS2015中,该值是0xcccccccc,此时对sd1.p进行解引用操作,获取0xcccccccc地址上的值,程序将会报错。
3 当包含没有默认构造函数的类成员时
当一个类A的成员时另一个类B的变量,而类B定义了其他格式的构造函数,没有定义默认构造函数,此时C++编译器无法为类A生成合成的默认构造函数。
struct Test
{
int i;
Test(int a) {
i = a;
}
};
struct MyStruct
{
Test t;
};
其中,类Test定义了一个具有参数的构造函数,也就是说,此时Test类是没有默认构造函数的,类MyStruct中有一个Test类对象成员t,此时MyStruct没有定义构造函数,按理说,C++编译器应该为MyStruct类生成一个合成的默认构造函数,但是由于Test没有默认构造函数,此时
MyStruct sd1;
会有“ error C2280: “MyStruct::MyStruct(void)”: 尝试引用已删除的函数”的错误信息。解决的方法是为Test类定义默认构造函数。
struct Test
{
int i;
Test(int a) {
i = a;
}
Test() {
i = 1;
}
};