C++中的构造函数,拷贝构造函数和赋值运算

关于C++中的构造函数,拷贝构造函数和赋值运算,以前看过一篇《高质量C++/C编程指南》的文章中介绍的很清楚,网上能搜索到,如果想详细了解这方面的知识可以参看一下这篇文章。

常见的给对象赋值方式有构造函数,拷贝构造函数,赋值运算符这三种方法,如下代码演示了这几种常见的方法。

    A a1;
    A a2(a1);
    A a3 = a1;
    a3 = a2;

如果不手动写代码,C++编译器默认提供了构造函数,拷贝构造函数,赋值运算符的这三种方法的默认实现。

默认构造函数没有参数,它什么也不做,程序员如果要实现手动构造的话则需要编写相应的重载版本。前面代码的第一行就是通过默认构造函数来创建一个对象,一般也不会和其它几种构造方式混淆,和C#,Java等其它语言也是一样的,还比较容易掌握。

而拷贝构造函数和赋值运算符则是C++独有的,也是很多人所不熟悉的地方。构造函数和拷贝构造函数用于从一个对象复制出另一个对象。系统提供的默认拷贝构造函数和赋值运算的工作方式是内存拷贝,也就是浅拷贝。如果对象中用到了需要手动释放的对象,则会出现问题,这时就要手动重载这两个函数,实现深拷贝。

拷贝构造函数和赋值运算的重载声明如下:

    A (const A& other)
    A& operator = (const A& other)

要实现这两个函数,我们必须知道这几个基本信息

  1. 什么时候会调用
  2. 输入参数代表什么
  3. 函数体应该如何实现
  4. 返回值代表什么

1. 什么时候会调用

首先我们来看这两个函数什么时候会调用,对于上面代码的2-4行。

  • 第二行:A a2(a1);     这个很明显调用的是拷贝构造函数
  • 第四行:a3 = a2    这个很明显调用的是赋值运算
  • 第三行:A a3 = a1;    这个就没其它几个那么好懂了,看起来即像是调用拷贝构造函数创建一个对象,又像是调用赋值运算复制一个对象,还是两个都调了? 实际上,这个调用的是拷贝构造函数,和第二行的方式是等价的。

对于第三行的 A a3 = a1; 这种方式,我们如何去理解它呢?实际上有一个很好记的统一的大原则:从无到有是调用构造函数,从有到有调用的是赋值运算。基于这个原则,前面四行代码哪个是调用哪个函数就很好区分了。

2. 输入参数代表什么

拷贝构造函数和赋值运算函数都一个入参,这个入参很明显是待复制的数据源对象,简单讲就是括号里面的,= 号右边的。

从拷贝构造函数和赋值运算函数的声名形式来看,它是一个const型的,说明复制的过程中不应该修改源对象。当然,如果定义为const型的也能编过去,就是用起来没那么好用罢了(可以参看后面的effective C++ 条款15链接)。

3. 函数体应该如何实现

拷贝构造函数和赋值运算的功能一样,都是根据已有的对象复制出新对象。它们拥有同样的入参,实现的功能也应该是一样的。

按照c++的设计原则,重载了一个就应该重载另一个,并且有相同的实现,否则这种不一致性很容易导致程序出问题。

至于复制过程如何实现,关于如何实现对象深拷贝的网上有许多文章详细的讲解了这一过程,这个也是c程序员的基本技能。由于篇幅所限这里就不多介绍了。我的一般方法就是:先实现位拷贝,然后在对动态申请对象编码实现深拷贝。

4. 返回值代表什么

拷贝构造函数没有返回值,这个很好理解。但赋值运算有一个返回值就不那么容易理解了,数据复制操作时在函数运算体内就已经完成了,还要一个返回值干嘛,返回到外面有什么用?

最初我也认为这个函数返回值设计为void型更容易理解,后来才知道返回值主要是为了实现类似w = x = y = z = 0的连等,不过连等这个编程习惯本身就不大好。

最后再看看应该如何返回,其实直接返回个return *this; 就可以了,至于为什么不用其它的方式,还是看看权威的解释吧(链接失效的话直接google搜索标题):effective C++ 条款15: 让operator=返回*this的引用

时间: 2024-10-27 20:07:52

C++中的构造函数,拷贝构造函数和赋值运算的相关文章

C++中拷贝构造函数的应用详解_C 语言

一.C++中拷贝构造函数的定义: 有一个参数的类型是其类类型的构造函数是为拷贝构造函数. 如下所示: X::X( const X& x); Y::Y( const Y& y, int =0 ); //可以是多参数形式,但其第二个即后继参数都有一个默认值 二.拷贝构造函数的应用: 当一个类对象以另一个同类实体作为初值时,大部分情况下会调用拷贝构造函数. 一般是这三种具体情况: 1.显式地以一个类对象作为另一个类对象的初值,形如X xx=x; 2.当类对象被作为参数交给函数时. 3.当函数返回

关于拷贝构造函数和赋值运算符

重点:包含动态分配成员的类 应提供拷贝构造函数,并重载"="赋值操作符. 以下讨论中将用到的例子: class CExample { public: CExample(){pBuffer=NULL; nSize=0;} ~CExample(){delete pBuffer;} void Init(int n){ pBuffer=new char[n]; nSize=n;} private: char *pBuffer; //类的对象中包含指针,指向动态分配的内存资源 int nSize

浅析拷贝构造函数

这篇文章,主要是受Jinhao (辣子鸡丁·GAME就这样OVER了 )在CSDN上一篇题为<有关拷贝构造函数的说法不正确的是>的帖子启发,鸡丁就这四个问题回答如下.    拷贝构造函数的名字和类名是一样的 [错]    类中只有一个拷贝构造函数 [错]    拷贝构造函数可以有多个参数 [对]          拷贝构造函数无任何函数类型 [错] 在这里我不想讨论以上问题的正确与错误,只是讨论一下构造函数,拷贝构造函数,可能还会涉及到赋值函数,析构函数,这些都属于类中的特殊函数.至于以上问题

C++之拷贝构造函数

一. 什么是拷贝构造函数 首先对于普通类型的对象来说,它们之间的复制是很简单的,例如: [c-sharp] view plaincopy int a = 100;   int b = a;    而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量. 下面看一个类对象拷贝的简单例子. [c-sharp] view plaincopy #include <iostream>   using namespace std;      class CExample {   privat

【C/C++学院】(6)构造函数/析构函数/拷贝构造函数/深copy浅copy

1.构造函数     类的初始化即为构造函数.也为:隐式的初始化. 构造函数在对象初始化的时候,自动被调用.隐式的调用. 构造函数分为三种:有参构造函数.无参构造函数.拷贝构造函数. 有参构造函数调用有三种:括号法.等号法.手工法. #include <iostream> using namespace std; class Test { private: int m_a; public: Test()//无参构造函数 { } Test(const Test &obj)//拷贝构造函数

C++拷贝构造函数详解

转自:http://blog.csdn.net/lwbeyond/article/details/6202256 对于一个空类,编译器默认生成四个成员函数:默认构造函数.析构函数.拷贝构造函数.赋值函数: 一. 什么是拷贝构造函数 首先对于普通类型的对象来说,它们之间的复制是很简单的,例如: int a = 100; int b = a; 而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量.下面看一个类对象拷贝的简单例子. 1 #include <iostream> 2 us

C/C++ 拷贝构造函数

一. 什么是拷贝构造函数 首先对于普通类型的对象来说,它们之间的复制是很简单的,例如: [c-sharp] view plain copy int a = 100;   int b = a;    而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量. 下面看一个类对象拷贝的简单例子. [c-sharp] view plain copy #include <iostream>   using namespace std;      class CExample {   priv

深入C++拷贝构造函数的总结详解_C 语言

拷贝构造函数是C++最基础的概念之一,大家自认为对拷贝构造函数了解么?请大家先回答一下三个问题:1. 以下函数哪个是拷贝构造函数,为什么?X::X(const X&);   X::X(X);   X::X(X&, int a=1);   X::X(X&, int a=1, b=2);  2. 一个类中可以存在多于一个的拷贝构造函数吗?3. 写出以下程序段的输出结果, 并说明为什么? 如果你都能回答无误的话,那么你已经对拷贝构造函数有了相当的了解. #include <iost

c++拷贝构造函数(深拷贝,浅拷贝)详解

一.什么是拷贝构造函数      首先对于普通类型的对象来说,它们之间的复制是很简单的,例如: int a=100; int b=a;     而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量.  下面看一个类对象拷贝的简单例子.    #include<iostream> using namespace std; class CExample { private: int a; public: //构造函数 CExample(int b) { a=b; printf(&q