c++构造函数之谜

写这篇博客之前，我一直都觉得c++中的构造函数是个比较简单的东西，另外也是我之前学习构造函数这一点的深度还不够。通过最近的学习我认识到了自己关于构造函数的几个误解，另外也希望看到这篇博客的人少走弯路。

之前的关于构造函数的误解：

（1）如果一个类内没有显示定义构造函数，那么编译器会为类自动合成默认的构造函数；

（2）合成的默认构造函数会初始化类内的所有成员；

这两个误解可以用下面一个简单的例子印证（vs2013）：

#include<iostream>
class A
{
public:
int a;
int b;
};
int main()
{
A s;
std::cout << s.a ;
}

出现错误为：。通过这个错误很明显可以看出此时此刻编译器并没有为类A合成默认的构造函数。

那么我们就会问：在什么样的情况下会合成默认的构造函数？下面我们就来什么剖析这个问题。

1、什么是默认构造函数？

从语言层面来说，默认构造函数就是我们在调用时不用显示提供初始化的构造函数。我个人感觉这句话说得有点抽象，假设我们有类A，下面用代码个大家说下：

第一类：构造函数中没有形参                    A(){.... }

第二类：有形参，但是每个形参都有默认参数值         A(int a_ = 0, int b_ = 0):a(a_),b(b_){....... }

这两种情况下，我们创建该类的对象时，不用显示提供实参就能能够调用构造函数。

class A
{
public:
A():a(1),b(2){} //第一类
// A(int a_ = 1, int b_ = 2) :a(a_), b(b_){} //第二类
int a;
int b;
};
int main()
{
A s;
std::cout << s.a ;
}

这种情况下代码显然是对的。注意在vs2013中两种默认的构造函数只能存在一种。接下来我们言归正传，到底情况下系统会为我们合成默认的构造函数？

2、什么情况下系统会为我们合成默认的构造函数？

第一种情况：一个类B中有对象成员A a，只有当对象成员中有默认构造函数时，系统会为该类B合成默认构造函数；

但是有一个问题，系统为类B合成的默认构造函数只是完成了对对象成员a的初始化，并不会初始化类B中其他成员。如下代码：

class A
{
public:
A():a(1),b(2){}
int a;
int b;
};
class B
{
public:
A a;
int c;
};
int main()
{
B s;
std::cout << s.c ;
}

系统会为类B合成一个默认构造函数，但是该构造函数只是初始化了成员对象a，B中的数据c并没有初始化。

第二种情况：基类base中有默认的构造函数，此时派生类derived中没有显示定义构造函数的话，系统会为派生类合成一个默认的构造函数；

第三种情况：一个类中有虚函数的话（不管虚函数从哪里来），系统会为该类合成默认构造函数；

第四种情况：有虚基类的类，系统会为其合成默认构造函数；

对于默认拷贝构造函数、operator=情况也一样

总结：

总上所述，在编程过程中，最好形成自己编写默认构造函数的习惯。如果类的对象不是禁止拷贝的话，要编写拷贝构造函数，operator=。