声明:最近在看《深度探索C++对象模型》,也是在学习,此博客作为读书摘要吧,欢迎指点交流,不胜感激。
问题:C++面向对象编程时,如果我们没有声明任何构造函数constructor,按照以前最初学习,说编译器会自动合成一个默认的无参构造函数default constructor,但是事实确实是这样吗,存不存在例外呢,即使有合成构造函数,那么它又将对类数据进行怎样的初始化呢?
1、回答第一个问题:存在例外!!!
(下文讨论的前提是:我们没有声明任何构造函数)
如果我们没有声明任何构造函数,编译器不会在任何时候都会合成一个默认的无参构造函数!如果该类的数据成员都是基本数据类型:如:int、char、double、float等,那么编译器不会合成一个默认构造函数。用书中的话说就是:这样如果合成的构造函数是trivial(浅薄无能的,没啥用的)
请看代码:
#include<iostream>
using namespace std;
class test
{
//类其他函数,但不含构造函数哦
public:
int i;
double j;
};
void main()
{
test t;//哈哈,事实证明这个类并没有被编译器合成缺省构造函数哦!
//详见《深度探索c++对象模型》第二章!!
cout<<t.i<<" "<<t.j<<endl;
system("pause");
}
运行结果:-858993460 -9.25596e+061
看到了吧,i并没有如我们所愿被初始化为0,j没被初始化为0.0。
2、那什么时候编译器会合成默认构造函数default constructor 呢?
四种情况下会合成default constructor:
- 带有default constructor 的成员类对象( member class object);
- 带有default constructor 的基类(base class)的类;
- 带有虚函数(virtual functions)的类;
- 带有虚基类(virtual class)的类;
2.1 带有default constructor 的成员类对象( member class object)
此种情况下编译器会合成一个构造函数,以调用成员类的default constructor。
代码:
class base
{
public:
base(){}
//....
};
class test
{
public:
int i;
double j;
base ba;
};
这时编译器会在成员类的
default constructor被调用的时候合成的构造函数,比如声明子类对象时,如果
成员类的
default constructor没有被
调用时是不会合成的构造函数,相信学过面向对象的都知道吧,声明类只是声明了一种自定义类型,其实并没有被开辟内存,只有使用时才被开辟内存空间的。
此时合成的构造函数大概为:
inline test::test()
{
ba.base::base();
}
完成对ba的初始化,但是仍然不会对test中的i、j进行初始化,验证一下:
#include<iostream>
#include<string>
using namespace std;
class base
{
public:
base(){}
//....
};
class test
{
public:
int i;
double j;
base ba;
};
void main()
{
test t;//此时才会合成构造函数哦
cout<<t.i<<" "<<t.j<<endl;
system("pause");
}
运行结果:-858993460 -9.25596e+061
如果要实现对i、j的初始化,那只有咱自己声明一个显示构造函数了,并且编译器会对我们声明的构造函数做出一定的修改,以调用成员类的default constructor。比如:
inline test::test()
{
i = 0;
j = 0.0;
}
最后编译器可能把它修改成这样:
inline test::test()
{
ba.base::base();
i = 0;
j = 0.0;
}
对于一个类里有多个类成员对象是,其默认构造函数的初始化顺序为各个类的申明顺序。
2.2 带有default constructor 的基类(base class)的类
2.3 带有虚函数(virtual functions)的类
此种情况也包含两种情况:
- class声明或继承一个virtual functions;
- class派生自一个继承串链,其中有一个或多个virtual functions;
- 一个virtual function table(虚函数表)被编译器产生出来,内放class的virtual functions地址;
- 在每一个子类对象中,一个额外的vptr(虚函数指针)会被合成,内含相关class的virtual function table地址;
关于虚函数、虚函数表、虚函数指针可参见:http://blog.csdn.net/haoel/article/details/1948051
http://blog.csdn.net/haoel/article/details/3081328
http://blog.csdn.net/BlueDog/article/details/4711169
2.4 带有虚基类(virtual class)的类
虚继承也会在子类对象中被合成一个指向虚基类的指针,因此也要被初始化,所以必须要构造函数,虚基类或者虚继承保证子类对象中只有一份虚基类的对象,特别是对于多重继承更是很重要,相关内容我后续会写出来的,当然上述三个博客链接里的讲解也很透彻了。
两个误区:
- 任何class 如果没有定义default constructor 多会被合成出来的;
- 编译器合成出来的default constructor 会显示的初始化该类的每一个数据成员。
好吧,到此为止,欢迎交流。