C++ 拷贝构造函数和赋值构造函数的区别 !

1. 何时调用复制构造函数
  复制构造函数用于将一个对象复制到新创建的对象中。也就是说,它用于初始化过程中,而不是常规的赋值过程中。类的复制构造函数原型通常如下:
  class_name(const class_name&);
  它接受一个指向类对象的常量引用作为参数。例如,String类的复制构造函数的原型如下:
  String(const String&);
  新建一个对象并将其初始化为同类现有对象时,复制构造函数都将被调用。这在很多情况下都可能发生,最常见的情况是将新对象显示地初始化为现有的对象。例如,假设motto是一个String对象,则下面4种声明都将调用复制构造函数:
  String ditto(motto);
  String metoo = motto;
  String also = String(motto);
  String *pString = new String(motto);
  其中中间的2种声明可能会使用复制构造函数直接创建metto和also,也可能会使用复制构造函数生成一个临时对象,然后将临时对象的内容赋给 metoo和also,这取决于具体的实现。最后一种声明使用motto初始化一个匿名对象,并将新对象的地址赋给pString指针。
2. 何时调用赋值构造函数
  赋值构造函数是通过重载赋值操作符实现的,这种操作符的原型如下:
  Class_name& Class_name::operator=(const Class_name&);

  它接受并返回一个指向类对象的引用。例如,String 类的赋值操作符的原型如下:
  String& String::operator=(const String&);
  将已有的对象赋给另一个对象时,将使用重载的赋值操作符:
  String headline1("test");
  String knot;
  knot = headline1;
  初始化对象时,并不一定会使用赋值操作符:
  String metoo = knot;
  这里,metoo是一个新创建的对象,被初始化为knot的值,此时使用复制构造函数。不过,正如前面指出的,实现时也可能分两步来处理这条语句:使用复制构造函数创建一个临时对象,然后通过赋值将临时对象的值复制到新对象中。这就是说,初始化总是会调用复制构造函数,而使用=操作符时也可能调用赋值操作符。

3、总结:复制构造函数和赋值操作符的区别

        同样是利用现有对象的值,生成/更新另一个对象的值。区别在于:复制构造函数是去完成对未初始化的存储区的初始化,而赋值操作符则是处理一个已经存在的对象。对一个对象赋值,当它一次出现时,它将调用复制构造函数,以后每次出现,都调用赋值操作符。

4.拷贝构造函数的标准写法如下:

class Base
{
public:
  Base(){}
  Base(const Base &b){..}
  //
}

拷贝构造函数必须是引用传递传递地址,不可以值传递,否则会陷入无限循环创建的过程!!!。

那么如果我们不写成引用传递呢,而是值传递,那么会怎样?

class Base
{
public:
  Base(){}
  Base(const Base b){}
  //
}

编译出错:error C2652: 'Base' : illegal copy constructor: first parameter must not be a 'Base'

事实上,你可以从这个小小的问题认真搞清楚2件事:
1) 拷贝构造函数的作用就是用来复制对象的,在使用这个对象的实例来初始化这个对象的一个新的实例。其实,个人认为不应该叫这些constructor(default constructor, copy constructor....)为构造函数,更佳的名字应该是"初始化函数"(见我的另一片文章).
2) 参数传递过程到底发生了什么?
    将地址传递和值传递统一起来,归根结底还是传递的是"值"(地址也是值,只不过通过它可以找到另一个值)!

i)值传递:
       对于内置数据类型的传递时,直接赋值拷贝给形参(注意形参是函数内局部变量);
       对于类类型的传递时,需要首先调用该类的拷贝构造函数来初始化形参(局部对象);如void foo(class_type obj_local){}, 如果调用foo(obj);  首先class_type obj_local(obj) ,这样就定义了局部变量obj_local供函数内部使用

ii)引用传递:
       无论对内置类型还是类类型,传递引用或指针最终都是传递的地址值!而地址总是指针类型(属于简单类型), 显然参数传递时,按简单类型的赋值拷贝,而不会有拷贝构造函数的调用(对于类类型).

上述1) 2)回答了为什么拷贝构造函数使用值传递会产生无限递归调用...

3). 如果不显式声明拷贝构造函数的时候,编译器也会生成一个默认的拷贝构造函数,而且在一般的情况下运行的也很好。但是在遇到类有指针数据成员时就出现问题了:因为默认的拷贝构造函数是按成员拷贝构造(浅拷贝),这导致了两个不同的指针(如ptr1=ptr2)指向了相同的内存。当一个实例销毁时,调用析构函数free(ptr1)释放了这段内存,那么剩下的一个实例的指针ptr2就无效了,在被销毁的时候free(ptr2)就会出现错误了, 这相当于重复释放一块内存两次。这种情况必须显式声明并实现自己的拷贝构造函数,来为新的实例的指针分配新的内存(深拷贝)。

上述3)回答了在类中有指针数据成员时,拷贝构造函数使用值传递等于白显式定义了拷贝构造函数,因为默认的拷贝构造函数就是这么干的...

  • 5
    点赞
  • 23
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值