问题:C++面向对象编程时,如果我们没有声明任何构造函数constructor,按照以前最初学习,说编译器会自动合成一个默认的无参构造函数default constructor,但是事实确实是这样吗,存不存在例外呢,即使有合成构造函数,那么它又将对类数据进行怎样的初始化呢?
1、回答第一个问题:存在例外!!!
(下文讨论的前提是:我们没有声明任何构造函数)
如果我们没有声明任何构造函数,编译器不会在任何时候都会合成一个默认的无参构造函数!如果该类的数据成员都是基本数据类型:如:int、char、double、float等,那么编译器不会合成一个默认构造函数。用书中的话说就是:这样如果合成的构造函数是trivial(浅薄无能的,没啥用的)
#include <iostream>
using namespace std;
class Base
{
public:
int _b;
};
int main()
{
Base b; //哈哈,事实证明这个类并没有被编译器合成缺省构造函数哦!
//详见《深度探索c++对象模型》第二章!!
return 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)
#include <iostream>
using namespace std;
class Base
{
public:
Base(){}
};
class test
{
public:
int i;
double j;
Base ba;
};
int main()
{
test te;
return 0;
}
2.2、带有default constructor 的基类(base class)的类;
#include <iostream>
using namespace std;
class Base
{
public:
Base(){}
int _b;
};
class Derived : public Base
{
public:
int _d;
};
int main()
{
Derived d; //编译器默认给d创建了构造函数,
//在派生类的初始化列表对基类进行了构造
return 0;
}
2.3 带有虚函数(virtual functions)的类;
#include <iostream>
using namespace std;
class Base
{
public:
virtual void test()
{
cout << "hello world" << endl;
}
int _b;
};
int main()
{
Base b; //有构造函数的话调试的时候会在这里停下来
return 0;
}
2.4、带有虚基类(virtual class)的类;
#include <iostream>
using namespace std;
class Base
{
public:
virtual void test()
{
cout << "Base" << endl;
}
};
class Derived : public Base
{
public:
void test()
{
cout << "Derived" << endl;
}
};
int main()
{
Derived d;
return 0;
}