编译器什么情况下,合成构造函数?

——基于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;
}

这里写图片描述
这里写图片描述
这里写图片描述

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

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值