如何分辨拷贝构造函数和赋值操作符两种操作

  看到关于拷贝控制的内容的时候对于拷贝构造函数(又称复制构造函数)和用赋值操作符来对对象赋值的两种操作产生了疑问,到底什么时候是属于拷贝构造函数的范围,又有哪些时候是属于赋值构造函数的范围呢?

  首先拷贝构造函数是属于构造函数的一种,如果我们没有为一个类定义拷贝构造函数的话,编译器会为我们隐式定义一个,与合成构造函数不同的是,即使我们定义了其他的构造函数,编译器因为会为我们合成一个拷贝构造函数(注意虽然说拷贝构造函数是属于构造函数的一种,但是关于在程序员已经定义了构造函数的情况下,有没有合成的默认构造函数和合成的拷贝构造函数这两种是要分开来看的)。

  对于赋值操作符,与处理拷贝构造函数一样,如果一个类没有定义自己的拷贝赋值函数的话,编译器同样也会生成一个合成的拷贝赋值函数,同时,拷贝赋值函数的实现是依靠=的运算符重载的。

  我们再来看拷贝构造函数和赋值运算符,其实这个时候我们需要意识到,拷贝构造函数既然是构造函数的一种,那么很好理解的就是拷贝构造函数是用于初始化对象中成员的,而赋值运算符是用于赋值的。或者说:

  拷贝构造函数是用一个已经初始化后的对象来初始化一个新对象的(也就是用于初始化的),而赋值构造函数是用于给已经初始化的对象来进行赋值的(是用于赋值的),简单的例子来看的话:

//第一种例子
String s1("hello"),s2=s1;//拷贝构造函数
//第二种例子
Sring s1("hello"),s2;
s1=s2;//赋值运算符重载
  下面一个例子可以将拷贝构造函数和赋值构造函数中是初始化和赋值中的不同深挖,TestChild被Test类嵌套定义了。

#include<iostream>
using namespace std;
class TestChild
{
public:
    TestChild()
    {
        x=0;
        y=0;
        printf("TestChild: Constructor be called!\n");
    }
    ~TestChild(){}
    TestChild(const TestChild& tc)
    {
        x=tc.x;
        y=tc.y;
        printf("TestChild: Copy Constructor called!//因为写在了Test(拷贝)构造函数的初始化列表里\n");
    }
    
    const TestChild& operator=(const TestChild& right)
    {
        x=right.x;
        y=right.y;
        printf("TestChild: Operator = be called! //因为写在了Test(拷贝)构造函数的函数体里\n");
        return *this;
    }
	
    int x,y;
};

class Test
{
public:
	
    Test(){printf("Test:      Constructor be called!\n");}
    explicit Test(const TestChild& tcc)
    {
        tc=tcc;
    }//不允许隐式调用构造函数 
    ~Test(){}
    Test(const Test& test):tc(test.tc)//试想,如果在这里去掉初始化列表的初始化方法,那么将会输出什么?
    {
        tc=test.tc;
        printf("Test:      Copy Constructor be called!\n");
    }
	
    const Test & operator=(const Test& right)
    {
        tc=right.tc;
        printf("Test:      Operator= be called!\n");
        return *this;
    }
	
    TestChild tc;
};

int main()
{
    printf("Test test1; DO:\n");
    Test test1;
    printf("\n");
    printf("Test test2=test1; DO:\n");
    Test test2=test1;
    printf("\n");
    printf("Test test3(test2); DO:\n");
    Test test3(test2);
    printf("\n");
    printf("test3=test1; DO:\n");
    test3=test1;
    return 0;
}
运行结果如下图


  可以知道在初始化列表中调用了复制构造函数进行初始化,然后后续在函数体中使用赋值部分的时候就是利用的赋值操作符,这个时候注意一点,因为上述例子中test2和test3第一次出现的时候都未经初始化,所以不管使用的是等于号还是括号,当test2/test3一出现的意思就是让他们通过复制构造函数先进行上面的列表初始化后进行赋值,初始化和赋值的过程中分别使用了TestChild复制构造函数和赋值操作符。而这段程序的最后一段,以为已经初始化了,所以就只调用了赋值操作符。

  这里再来回答代码中提出的那个问题,如果在Test中的复制构造函数并没有用列表初始化方式来进行初始化,那么此时的输出就是


也就是此时执行的是默认构造函数,原来用复制构造函数初始化的过程被默认构造函数初始化代替,函数体内的为赋值过程,那如果不在Test的构造函数体中进行赋值,而仅仅在初试化列表中进行初始化呢?

这样很明显就没有赋值过程了。



评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值