编译器什么情况下，合成构造函数？

——基于VS2017编译器环境下
我们知道，当我们要生成对象时，如果我们没有显式的定义构造函数，但是对象还是生成成功了。因为编译器会自动的为我们合成构造函数，然后调用构造函数生成对象。

那么我们可能会好奇，编译器会在什么情况下自动合成构造函数呢？
编译器感觉需要的时候，会自己合成构造函数。

什么情况下，它会感觉需要呢？
第一种情况：A类有构造函数，B类中没有构造函数，B类中有A类对象作为私有成员。如果这时候，我们需要生成一个B类对象时，编译器会为B类合成构造函数，并在初始化成员时，在初始化列表调用A类的构造函数。

class A 
{
public:
    A()   //A类的构造函数
    {}
private:
    int _a;
};
class B 
{
public:   //没有显式定义构造函数
private:
    int _b;
    A a;
};

int main()
{
    B b;
    return 0;
}

我们生成B类对象，看看代码的汇编：

我们没有显式的定义B类的构造函数，但是在汇编中，编译器调用了B类的构造函数，这是编译器合成的构造函数。那么它合成构造函数干什么呢？再看构造函数中有什么？

在B类的构造函数中，编译器又调用了A类的构造函数进行B类成员的初始化。

---

第二种情况：A类为基类，B类是A类的子类，A类中有缺省的构造函数，则在生成B类的对象的时候，编译器会为B类合成构造函数，且调用。并在初始化列表里调用A类的构造函数。在调用析构函数时，先调用B类的析构函数，再调用A类的析构函数。

class A 
{
public:
    A()
    {}
private:
    int  _a;
};
class B :public A
{
public:
private:
    int _b;
};
int main()
{
    B b;
    return 0;
}

---

第三种情况：虚拟继承，A类，B类中都没有显式定义构造函数。但在生成B类对象时，编译器会自动合成构造函数。目的：要把基类的偏移量表格地址放到对象地址的前4个字节中。

class A 
{
public:
private:
    int  _a;
};
class B :virtual public A
{
public:
private:
    int _b;
};
int main()
{
    B b;
    return 0;
}

合成了构造函数。
在构造函数中把基类的偏移表的地址放到了前四个字节中。

---

第四中情况：A类中带有虚函数，但是该类没有显式定义构造函数。编译器会自动合成构造函数。构造函数的操作：会把虚表的地址放到对象的前四个字节中。

class A 
{
public:
    virtual void FunTest()
    {
        cout << "FunTest()" << endl;
    };
private:
    int  _a;
};

int main()
{
    A a;
    return 0;
}

以上就是编译器会自动合成构造函数的几种情况。
如有错误，望得到指正。