精华内容
下载资源
问答
  • C++拷贝构造函数详解

    万次阅读 多人点赞 2011-02-23 13:39:00
    什么是拷贝构造函数 首先对于普通类型的对象来说,它们之间的复制是很简单的,例如: int a = 100; int b = a; 而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量。 下面看一个类对象...

    一. 什么是拷贝构造函数

    首先对于普通类型的对象来说,它们之间的复制是很简单的,例如:


    而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量。
    下面看一个类对象拷贝的简单例子。

    运行程序,屏幕输出100。从以上代码的运行结果可以看出,系统为对象 B 分配了内存并完成了与对象 A 的复制过程。就类对象而言,相同类型的类对象是通过拷贝构造函数来完成整个复制过程的

    下面举例说明拷贝构造函数的工作过程。


    CExample(const CExample& C) 就是我们自定义的拷贝构造函数。可见,拷贝构造函数是一种特殊的构造函数,函数的名称必须和类名称一致,它必须的一个参数是本类型的一个引用变量


    二. 拷贝构造函数的调用时机

    在C++中,下面三种对象需要调用拷贝构造函数!
    1. 对象以值传递的方式传入函数参数


    调用g_Fun()时,会产生以下几个重要步骤:
    (1).test对象传入形参时,会先会产生一个临时变量,就叫 C 吧。
    (2).然后调用拷贝构造函数把test的值给C。 整个这两个步骤有点像:CExample C(test);
    (3).等g_Fun()执行完后, 析构掉 C 对象。

    2. 对象以值传递的方式从函数返回


    当g_Fun()函数执行到return时,会产生以下几个重要步骤:
    (1). 先会产生一个临时变量,就叫XXXX吧。
    (2). 然后调用拷贝构造函数把temp的值给XXXX。整个这两个步骤有点像:CExample XXXX(temp);
    (3). 在函数执行到最后先析构temp局部变量。
    (4). 等g_Fun()执行完后再析构掉XXXX对象。

    3. 对象需要通过另外一个对象进行初始化;

    后两句都会调用拷贝构造函数。


    三. 浅拷贝和深拷贝

    1. 默认拷贝构造函数

        很多时候在我们都不知道拷贝构造函数的情况下,传递对象给函数参数或者函数返回对象都能很好的进行,这是因为编译器会给我们自动产生一个拷贝构造函数,这就是“默认拷贝构造函数”,这个构造函数很简单,仅仅使用“老对象”的数据成员的值对“新对象”的数据成员一一进行赋值,它一般具有以下形式:

     
        当然,以上代码不用我们编写,编译器会为我们自动生成。但是如果认为这样就可以解决对象
    的复制问题,那就错了,让我们来考虑以下一段代码:

      这段代码对前面的类,加入了一个静态成员,目的是进行计数。在主函数中,首先创建对象rect1,输出此时的对象个数,然后使用rect1复制出对象rect2,再输出此时的对象个数,按照理解,此时应该有两个对象存在,但实际程序运行时,输出的都是1,反应出只有1个对象。此外,在销毁对象时,由于会调用销毁两个对象,类的析构函数会调用两次,此时的计数器将变为负数。

    说白了,就是拷贝构造函数没有处理静态数据成员。

    出现这些问题最根本就在于在复制对象时,计数器没有递增,我们重新编写拷贝构造函数,如下

    2. 浅拷贝

        所谓浅拷贝,指的是在对象复制时,只对对象中的数据成员进行简单的赋值,默认拷贝构造函数执行的也是浅拷贝。大多情况下“浅拷贝”已经能很好地工作了,但是一旦对象存在了动态成员,那么浅拷贝就会出问题了,让我们考虑如下一段代码:

        在这段代码运行结束之前,会出现一个运行错误。原因就在于在进行对象复制时,对于动态分配的内容没有进行正确的操作。我们来分析一下:

        在运行定义rect1对象后,由于在构造函数中有一个动态分配的语句,因此执行后的内存情况大致如下:

     

     

        在使用rect1复制rect2时,由于执行的是浅拷贝,只是将成员的值进行赋值,这时 rect1.p = rect2.p,也即这两个指针指向了堆里的同一个空间,如下图所示:

     

    当然,这不是我们所期望的结果,在销毁对象时,两个对象的析构函数将对同一个内存空间释放两,这就是错误出现的原因。我们需要的不是两个p有相同的值,而是两个p指向的空间有相同的值,解决办法就是使用“深拷贝”。


    3. 深拷贝

        在“深拷贝”的情况下,对于对象中动态成员,就不能仅仅简单地赋值了,而应该重新动态分配空间,如上面的例子就应该按照如下的方式进行处理:

    此时,在完成对象的复制后,内存的一个大致情况如下:

     

    此时rect1的p和rect2的p各自指向一段内存空间,但它们指向的空间具有相同的内容,这就是所谓的“深拷贝”。


    3. 防止默认拷贝发生

        通过对对象复制的分析,我们发现对象的复制大多在进行“值传递”时发生,这里有一个小技巧可以防止按值传递——声明一个私有拷贝构造函数。甚至不必去定义这个拷贝构造函数,这样因为拷贝构造函数是私有的,如果用户试图按值传递或函数返回该类对象,将得到一个编译错误,从而可以避免按值传递或返回对象。

    四. 拷贝构造函数的几个细节

    1. 拷贝构造函数里能调用private成员变量吗?
    解答:
    这个问题是在网上见的,当时一下子有点晕。其时从名子我们就知道拷贝构造函数其时就是
    一个特殊的构造函数,操作的还是自己类的成员变量,所以不受private的限制。


    2. 以下函数哪个是拷贝构造函数,为什么?


    解答:对于一个类X, 如果一个构造函数的第一个参数是下列之一:
    a) X&
    b) const X&
    c) volatile X&
    d) const volatile X&
    且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数.


    3. 一个类中可以存在多于一个的拷贝构造函数吗?
    解答:
    类中可以存在超过一个拷贝构造函数。


    注意,如果一个类中只存在一个参数为 X& 的拷贝构造函数,那么就不能使用const X或volatile X的
    对象实行拷贝初始化.


    如果一个类中没有定义拷贝构造函数,那么编译器会自动产生一个默认的拷贝构造函数。
    这个默认的参数可能为 X::X(const X&)X::X(X&),由编译器根据上下文决定选择哪一个。

    展开全文
  • 详解C++ 拷贝构造函数

    2020-08-18 21:20:31
    主要介绍了C++ 拷贝构造函数的相关资料,文中示例代码非常详细,帮助大家更好的理解和学习,感兴趣的朋友可以了解下
  • C++ 拷贝构造函数.pdf

    2021-08-26 11:27:46
    C++ 拷贝构造函数.pdf
  • C++ 拷贝构造函数 赋值构造函数 解释
  • C++拷贝构造函数详解.pdf
  • 拷贝构造函数C++最基础的概念之一,大家自认为对拷贝构造函数了解么?请大家先回答一下三个问题:1. 以下函数哪个是拷贝构造函数,为什么?X::X(const X&); X::X(X); X::X(X&, int a=1); X::X(X&, int a=1, b=2);...
  • c++拷贝构造函数

    千次阅读 多人点赞 2019-06-28 16:22:40
    什么是拷贝构造函数 首先对于普通类型的对象来说,它们之间的复制是很简单的,例如: int a = 100; int b = a; 而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量。 下面看一个类对象...

    一. 什么是拷贝构造函数

    首先对于普通类型的对象来说,它们之间的复制是很简单的,例如:

    int a = 100;
    int b = a; 


    而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量。
    下面看一个类对象拷贝的简单例子。

    #include <iostream>
    using namespace std;
    
    class CExample {
    private:
         int a;
    public:
          //构造函数
         CExample(int b)
         { a = b;}
    
          //一般函数
         void Show ()
         {
            cout<<a<<endl;
          }
    };
    
    int main()
    {
         CExample A(100);
         CExample B = A; //注意这里的对象初始化要调用拷贝构造函数,而非赋值
          B.Show ();
         return 0;
    }

     

    运行程序,屏幕输出100。从以上代码的运行结果可以看出,系统为对象 B 分配了内存并完成了与对象 A 的复制过程。就类对象而言,相同类型的类对象是通过拷贝构造函数来完成整个复制过程的。

    下面举例说明拷贝构造函数的工作过程。

    #include <iostream>
    using namespace std;
    
    class CExample {
    private:
        int a;
    public:
        //构造函数
        CExample(int b)
        { a = b;}
        
        //拷贝构造函数
        CExample(const CExample& C)
        {
            a = C.a;
        }
    
        //一般函数
        void Show ()
        {
            cout<<a<<endl;
        }
    };
    
    int main()
    {
        CExample A(100);
        CExample B = A; // CExample B(A); 也是一样的
         B.Show ();
        return 0;
    } 


    CExample(const CExample& C) 就是我们自定义的拷贝构造函数。可见,拷贝构造函数是一种特殊的构造函数,函数的名称必须和类名称一致,它必须的一个参数是本类型的一个引用变量

     

    二. 拷贝构造函数的调用时机

    在C++中,下面三种对象需要调用拷贝构造函数!
    1. 对象以值传递的方式传入函数参数

     

    class CExample 
    {
    private:
     int a;
    
    public:
     //构造函数
     CExample(int b)
     { 
      a = b;
      cout<<"creat: "<<a<<endl;
     }
    
     //拷贝构造
     CExample(const CExample& C)
     {
      a = C.a;
      cout<<"copy"<<endl;
     }
     
     //析构函数
     ~CExample()
     {
      cout<< "delete: "<<a<<endl;
     }
    
         void Show ()
     {
             cout<<a<<endl;
         }
    };
    
    //全局函数,传入的是对象
    void g_Fun(CExample C)
    {
     cout<<"test"<<endl;
    }
    
    int main()
    {
     CExample test(1);
     //传入对象
     g_Fun(test);
    
     return 0;
    }


    调用g_Fun()时,会产生以下几个重要步骤:
    (1).test对象传入形参时,会先会产生一个临时变量,就叫 C 吧。
    (2).然后调用拷贝构造函数把test的值给C。 整个这两个步骤有点像:CExample C(test);
    (3).等g_Fun()执行完后, 析构掉 C 对象。

     

    2. 对象以值传递的方式从函数返回

    class CExample 
    {
    private:
     int a;
    
    public:
     //构造函数
     CExample(int b)
     { 
      a = b;
     }
    
     //拷贝构造
     CExample(const CExample& C)
     {
      a = C.a;
      cout<<"copy"<<endl;
     }
    
         void Show ()
         {
             cout<<a<<endl;
         }
    };
    
    //全局函数
    CExample g_Fun()
    {
     CExample temp(0);
     return temp;
    }
    
    int main()
    {
     g_Fun();
     return 0;
    }


    当g_Fun()函数执行到return时,会产生以下几个重要步骤:
    (1). 先会产生一个临时变量,就叫XXXX吧。
    (2). 然后调用拷贝构造函数把temp的值给XXXX。整个这两个步骤有点像:CExample XXXX(temp);
    (3). 在函数执行到最后先析构temp局部变量。
    (4). 等g_Fun()执行完后再析构掉XXXX对象。

     

    3. 对象需要通过另外一个对象进行初始化;

    CExample A(100);
    CExample B = A; 
    // CExample B(A); 

    后两句都会调用拷贝构造函数。

     

    三. 浅拷贝和深拷贝

    1. 默认拷贝构造函数

        很多时候在我们都不知道拷贝构造函数的情况下,传递对象给函数参数或者函数返回对象都能很好的进行,这是因为编译器会给我们自动产生一个拷贝构造函数,这就是“默认拷贝构造函数”,这个构造函数很简单,仅仅使用“老对象”的数据成员的值对“新对象”的数据成员一一进行赋值,它一般具有以下形式:

    Rect::Rect(const Rect& r)
    {
        width = r.width;
        height = r.height;
    }


        当然,以上代码不用我们编写,编译器会为我们自动生成。但是如果认为这样就可以解决对象的复制问题,那就错了,让我们来考虑以下一段代码:

    class Rect
    {
    public:
        Rect()      // 构造函数,计数器加1
        {
            count++;
        }
        ~Rect()     // 析构函数,计数器减1
        {
            count--;
        }
        static int getCount()       // 返回计数器的值
        {
            return count;
        }
    private:
        int width;
        int height;
        static int count;       // 一静态成员做为计数器
    };
    
    int Rect::count = 0;        // 初始化计数器
    
    int main()
    {
        Rect rect1;
        cout<<"The count of Rect: "<<Rect::getCount()<<endl;
    
        Rect rect2(rect1);   // 使用rect1复制rect2,此时应该有两个对象
         cout<<"The count of Rect: "<<Rect::getCount()<<endl;
    
        return 0;
    }

      这段代码对前面的类,加入了一个静态成员,目的是进行计数。在主函数中,首先创建对象rect1,输出此时的对象个数,然后使用rect1复制出对象rect2,再输出此时的对象个数,按照理解,此时应该有两个对象存在,但实际程序运行时,输出的都是1,反应出只有1个对象。此外,在销毁对象时,由于会调用销毁两个对象,类的析构函数会调用两次,此时的计数器将变为负数。

    说白了,就是拷贝构造函数没有处理静态数据成员。

    出现这些问题最根本就在于在复制对象时,计数器没有递增,我们重新编写拷贝构造函数,如下:

    class Rect
    {
    public:
        Rect()      // 构造函数,计数器加1
        {
            count++;
        }
        Rect(const Rect& r)   // 拷贝构造函数
        {
            width = r.width;
            height = r.height;
            count++;          // 计数器加1
        }
        ~Rect()     // 析构函数,计数器减1
        {
            count--;
        }
        static int getCount()   // 返回计数器的值
        {
            return count;
        }
    private:
        int width;
        int height;
        static int count;       // 一静态成员做为计数器
    };

    2. 浅拷贝

        所谓浅拷贝,指的是在对象复制时,只对对象中的数据成员进行简单的赋值,默认拷贝构造函数执行的也是浅拷贝。大多情况下“浅拷贝”已经能很好地工作了,但是一旦对象存在了动态成员,那么浅拷贝就会出问题了,让我们考虑如下一段代码:

    class Rect
    {
    public:
        Rect()      // 构造函数,p指向堆中分配的一空间
        {
            p = new int(100);
        }
        ~Rect()     // 析构函数,释放动态分配的空间
        {
            if(p != NULL)
            {
                delete p;
            }
        }
    private:
        int width;
        int height;
        int *p;     // 一指针成员
    };
    
    int main()
    {
        Rect rect1;
        Rect rect2(rect1);   // 复制对象
        return 0;
    }

        在这段代码运行结束之前,会出现一个运行错误。原因就在于在进行对象复制时,对于动态分配的内容没有进行正确的操作。我们来分析一下:

        在运行定义rect1对象后,由于在构造函数中有一个动态分配的语句,因此执行后的内存情况大致如下:

     

     

        在使用rect1复制rect2时,由于执行的是浅拷贝,只是将成员的值进行赋值,这时 rect1.p = rect2.p,也即这两个指针指向了堆里的同一个空间,如下图所示:

     

    当然,这不是我们所期望的结果,在销毁对象时,两个对象的析构函数将对同一个内存空间释放两次,这就是错误出现的原因。我们需要的不是两个p有相同的值,而是两个p指向的空间有相同的值,解决办法就是使用“深拷贝”。


    3. 深拷贝

        在“深拷贝”的情况下,对于对象中动态成员,就不能仅仅简单地赋值了,而应该重新动态分配空间,如上面的例子就应该按照如下的方式进行处理:

    class Rect
    {
    public:
        Rect()      // 构造函数,p指向堆中分配的一空间
        {
            p = new int(100);
        }
        Rect(const Rect& r)
        {
            width = r.width;
            height = r.height;
            p = new int;    // 为新对象重新动态分配空间
            *p = *(r.p);
        }
        ~Rect()     // 析构函数,释放动态分配的空间
        {
            if(p != NULL)
            {
                delete p;
            }
        }
    private:
        int width;
        int height;
        int *p;     // 一指针成员
    };

    此时,在完成对象的复制后,内存的一个大致情况如下:

     

    此时rect1的p和rect2的p各自指向一段内存空间,但它们指向的空间具有相同的内容,这就是所谓的“深拷贝”。

     


    3. 防止默认拷贝发生

        通过对对象复制的分析,我们发现对象的复制大多在进行“值传递”时发生,这里有一个小技巧可以防止按值传递——声明一个私有拷贝构造函数。甚至不必去定义这个拷贝构造函数,这样因为拷贝构造函数是私有的,如果用户试图按值传递或函数返回该类对象,将得到一个编译错误,从而可以避免按值传递或返回对象。

    // 防止按值传递
    class CExample 
    {
    private:
    	int a;
    
    public:
    	//构造函数
    	CExample(int b)
    	{ 
    		a = b;
    		cout<<"creat: "<<a<<endl;
    	}
    
    private:
    	//拷贝构造,只是声明
    	CExample(const CExample& C);
    
    public:
    	~CExample()
    	{
    		cout<< "delete: "<<a<<endl;
    	}
    
        void Show ()
    	{
            cout<<a<<endl;
        }
    };
    
    //全局函数
    void g_Fun(CExample C)
    {
    	cout<<"test"<<endl;
    }
    
    int main()
    {
    	CExample test(1);
    	//g_Fun(test); 按值传递将出错
    	
    	return 0;
    } 

    四. 拷贝构造函数的几个细节

    1. 拷贝构造函数里能调用private成员变量吗?
    解答:
    这个问题是在网上见的,当时一下子有点晕。其时从名子我们就知道拷贝构造函数其时就是一个特殊的构造函数,操作的还是自己类的成员变量,所以不受private的限制。

     

    2. 以下函数哪个是拷贝构造函数,为什么?

    X::X(const X&);    
    X::X(X);    
    X::X(X&, int a=1);    
    X::X(X&, int a=1, int b=2);

    X::X(const X&); X::X(X); X::X(X&, int a=1); X::X(X&, int a=1, int b=2); 
    解答:对于一个类X, 如果一个构造函数的第一个参数是下列之一:
    a) X&
    b) const X&
    c) volatile X&
    d) const volatile X&
    且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数.

     

    X::X(const X&);  //是拷贝构造函数    
    X::X(X&, int=1); //是拷贝构造函数   
    X::X(X&, int a=1, int b=2); //当然也是拷贝构造函数

    X::X(const X&); //是拷贝构造函数 X::X(X&, int=1); //是拷贝构造函数 X::X(X&, int a=1, int b=2); //当然也是拷贝构造函数

     

    3. 一个类中可以存在多于一个的拷贝构造函数吗?
    解答:
    类中可以存在超过一个拷贝构造函数。

    class X { 
    public:       
      X(const X&);      // const 的拷贝构造
      X(X&);            // 非const的拷贝构造
    };


    注意,如果一个类中只存在一个参数为 X& 的拷贝构造函数,那么就不能使用const X或volatile X的对象实行拷贝初始化.

    class X {    
    public:
      X();    
      X(X&);
    };    
    
    const X cx;    
    X x = cx;    // error
    


    如果一个类中没有定义拷贝构造函数,那么编译器会自动产生一个默认的拷贝构造函数。
    这个默认的参数可能为 X::X(const X&)或 X::X(X&),由编译器根据上下文决定选择哪一个。

     

    感谢原作者分享!

    本文转载自:https://blog.csdn.net/lwbeyond/article/details/6202256

    展开全文
  • c++ 拷贝构造函数

    2014-02-24 16:46:03
    拷贝构造函数(深拷贝vs浅拷贝) 类对象之间的初始化是由类的拷贝构造函数完成的。它是一种特殊的构造函数,它的作用是用一个已知的对象来初始化另一个对象。如果在类中没有显式地声明一个拷贝构造函数,那么,编译器...

    拷贝构造函数(深拷贝vs浅拷贝)

    类对象之间的初始化是由类的拷贝构造函数完成的。它是一种特殊的构造函数,它的作用是用一个已知的对象来初始化另一个对象。如果在类中没有显式地声明一个拷贝构造函数,那么,编译器将会自动生成一个默认的拷贝构造函数,该构造函数完成对象之间的位拷贝。位拷贝又称浅拷贝。

     

    一、拷贝构造函数定义格式

    类名::拷贝构造函数名(类名& 引用名)

    例如:

    Tdate ::Tdate(Tdate & d); //形参是一个对象的引用

    CString( const CString & stringSrc ); //形参是一个const的对象引用

     

    二、通常在下述三种情况下,需要用拷贝初始化构造函数:

    1)明确表示由一个对象初始化另一个对象时;如Cdate day3(d1);

    2)当对象作为函数实参传递给函数形参时;如fun(Cdate day);

    3)当对象作为函数的返回值,创建一个临时对象时。

     

    浅拷贝和深拷贝

    浅拷贝只对对象数据成员进行简单的赋值复制操作,在某些状况下,类内成员变量需要动态开辟堆内存,如果实行位拷贝,也就是把对象里的值完全复制给另一个对象,如A=B。这时,如果B中有一个成员变量指针已经申请了内存,那A中的那个成员变量也指向同一块内存。这就出现了问题:当B把内存释放了(如:析构),这时A内的指针就是野指针了,出现运行错误。

     

    深拷贝和浅拷贝可以简单理解为:如果一个类拥有资源,当这个类的对象发生复制过程的时候,资源重新分配,这个过程就是深拷贝,反之,没有重新分配资源,就是浅拷贝。下面举个深拷贝的例子。

    #include "stdafx.h"
    #include <iostream>
    #include <string>
    #include <stdio.h>
    using namespace std;
    class CClass
    {
    public:
    	CClass (char *cName="",int snum=0);
    	~CClass()
    	{cout<<"析构班级:"<<pname<<endl;
    	delete  pname;
    	}
    	void Print();
    private:
    	char *pname;
    	int num;
    };
    
    CClass::CClass(char *cName,int snum)
    {
    	int length = strlen(cName);
    	pname = new char[length+1];
    	if (pname!=0)         //pname!=NULL
    	strcpy(pname,cName);
    	num=snum;
    	cout<<"创建班级:"<<pname<<endl;
    }
    
    void CClass::Print()
    {
    	cout<<pname<<"班的人数为:"<<num<<endl;
    }
    
    
    int _tmain(int argc, _TCHAR* argv[])
    {
    	CClass c1("计算机061班,56);
    	CClass c2 (c1);
    	c1.Print();
    	c2.Print(); 
    	//system("pause");
    	return 0;
    }

    c1、c2内存分配情况(深拷贝): 


    CClass(CClass &p);  //自定义拷贝构造函数声明
    //添加自定义拷贝构造函数
    CClass::CClass(CClass &p)
    {
    	pname = new char[strlen(p.pname )+1];
    	if (pname!=0)
    		strcpy(pname,p.pname);
    	num=p.num ;
    	cout<<"创建班级的拷贝:"<<pname<<endl;
    }


    运行结果:

    创建班级:计算机061班

    创建班级的拷贝:计算机061班

    计算机061班班的人数为:56

    计算机061班班的人数为:56

    析构班级:计算机061班

    析构班级:计算机061班 




    展开全文
  • C++ 拷贝构造函数this指针练习.pdf
  • 主要介绍了拷贝构造函数防篡改示例,需要的朋友可以参考下
  • 主要介绍了c/c++拷贝构造函数和关键字explicit的相关知识,非常不错,具有一定的参考借鉴价值,需要的朋友可以参考下
  • 本文主要介绍了拷贝构造函数和赋值运算符的区别,以及在什么时候调用拷贝构造函数、什么情况下调用赋值运算符。最后,简单的分析了下深拷贝和浅拷贝的问题。有需要的朋友可以看下
  • C++ 拷贝构造函数和赋值构造函数

    万次阅读 多人点赞 2019-04-06 16:43:35
    C++中复制控制是一个比较重要的话题,主要包括复制构造函数、重载赋值操作符、析构函数这三部分,这三个函数是一致的,如果类需要析构函数,则它也需要复制操作符 和 复制构造函数,这个规则被称为 C++的“三法则...

            在C++中复制控制是一个比较重要的话题,主要包括复制构造函数、重载赋值操作符、析构函数这三部分,这三个函数是一致的,如果类需要析构函数,则它也需要复制操作符 和 复制构造函数,这个规则被称为 C++的“三法则”。如果需要手动定义了其中了一个,那么另外的两个也需要定义,通常在存在指针或者前期相关操作的情况下,都需要手动的定义。
            复制构造函数与重载赋值操作符实现的大题相同,如果没有手动的实现,那么编译器会自动生成一个,而且这两个函数的参数也是一致的,是不能够改变的。析构函数相比前面的两个存在一个巨大的差别,就是无论我们是否定义这个函数,编译器都会自动生成一个析构函数。析构函数主要是完成对象的释放操作。
            复制构造函数与重载赋值操作符在没有定义的情况下,编译器会为我们生成一个,这说明这两个函数是一个类必不可少的部分。由此可知如果一个类没有定义任何的东西,编译器也会帮助我们生成下面的4个函数:
    1、一个构造函数,也就是所谓的类名比如classname(),这是在没有定义构造函数时,编译器会自动生成的。
    2、析构函数,
    3、复制构造函数。
    4、重载赋值操作符。
    假设存在一个类Base;
       class Base 
        {
            public:
                Base(); //构造函数
                Base(const Base &);  // 复制构造函数
                Base & operator = (const Base &);   // 赋值操作符
                ~Base();   // 析构函数
            private:
                .......
        };

    现在对复制构造函数和赋值操作符做个详细的说明,下面是一个将要使用的例子;

    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;
    };
        这个类的主要特点是包含指向其他资源的指针。 pBuffer指向堆中分配的一段内存空间。 
    一、拷贝构造函数
    int main(int argc, char * argv[])
    {
         CExample A;
         A.Init40);
        
         CExample B=A; //把B初始化为A的副本
         ...
    }
        B = A ; 此语句的具体过程:首先建立对象theObjtwo,并调用其构造函数,然后成员被拷贝。
        语句"CExample B=A;"  用 A 初始化 B。 其完成方式是内存拷贝,复制所有成员的值。 完成后,A.pBuffer = B.pBuffer,  即它们将指向同样的地方,指针虽然复制了,但所指向的空间并没有复制,而是由两个对象共用了。这样不符合要求,对象之间不独立了,并为空间的删除带来隐患。 所以需要采用必要的手段(拷贝构造函数)来避免此类情况。 
     

    拷贝构造函数的格式为 : 构造函数名(对象的引用)  提供了拷贝构造函数后的CExample类定义为: 
    class CExample
    {
    public :
         CExample(){pBuffer=NULL; nSize=0;}  //构造函数
         ~CExample(){delete pBuffer;}   // 析构函数
         CExample(const CExample&); //拷贝构造函数
        void Init(int n){ pBuffer=new char [n]; nSize=n;}
    private :
        char *pBuffer; //类的对象中包含指针,指向动态分配的内存资源
        int nSize;
    };

     //拷贝构造函数的定义
    CExample::CExample(const CExample& RightSides)
    {
         nSize=RightSides.nSize;    //复制常规成员
         pBuffer=new char [nSize];    //复制指针指向的内容
         memcpy(pBuffer,RightSides.pBuffer,nSize*sizeof (char ));
    }
         这样,定义新对象,并用已有对象初始化新对象时,即执行语句“CExample B=A; ” 时,CExample(const CExample& RightSides)将被调用,而已有对象用别名RightSides传给构造函数,以用来作复制。原则上,应该为所有包含动态分配成员的类都提供拷贝构造函数。 

    拷贝函数被调用的情况有:
    1,定义新对象,并用已有对象初始化新对象时; 即执行语句“CExample B=A; ” 时(定义对象时使用赋值初始化);
    2,当对象直接作为参数传给函数时,函数将建立对象的临时拷贝,这个拷贝过程也将调同拷贝构造函数。 
        例如:
            BOOL testfunc(CExample obj)
            {
                 //针对obj的操作实际上是针对复制后的临时拷贝进行的
            }
            testfunc(theObjone); //对象直接作为参数,拷贝函数将被调用;
    3,当函数中的局部对象被返回给函数调者时,也将建立此局部对象的一个临时拷贝,拷贝构造函数也将被调用 ;
        例如:
        CTest func()
        {
             CTest   theTest;
             return   theTest
         }  

    二、赋值符的重载 
        下面的代码与上例相似
    int main(int argc, char * argv[])
    {
         CExample A;
         A.Init(40);
        
         CExample C;
         C.Init(60);


          //现在需要一个对象赋值操作,被赋值对象的原内容被清除,并用右边对象的内容填充。
         C = A;
        return 0;
    }
         也用到了"="号,但与上面的例子中语句“ CExample B=A;  ” 不同“ CExample B=A;  ”语句中的 "=" 在对象声明语句中,表示初始化。更多时候,这种初始化也可用括号表示。 例如 CExample B(A); 

         而本例子中,"=" 表示赋值操作。将对象 A 的内容复制到对象C;,这其中涉及到对象C 原有内容的丢弃,新内容的复制。 但"="的缺省操作只是将成员变量的值相应复制。旧的值被自然丢弃。 由于对象内包含指针,将造成不良后果:指针的值被丢弃了,但指针指向的内容并未释放。指针的值被复制了,但指针所指内容并未复制。 因此,包含动态分配成员的类除提供拷贝构造函数外,还应该考虑重载"="赋值操作符号。 

    类定义变为: 
    class CExample
    {
    public :
         CExample(){pBuffer=NULL; nSize=0;}  //构造函数
         ~CExample(){delete pBuffer;}   // 析构函数
         CExample(const CExample&); //拷贝构造函数
         CExample& operator = (const CExample&); //赋值符重载
        void Init(int n){ pBuffer=new char [n]; nSize=n;}
    private :
        char *pBuffer; //类的对象中包含指针,指向动态分配的内存资源
        int nSize;
    };
    //赋值操作符重载
    CExample & CExample::operator = (const CExample& RightSides)
    {
         nSize=RightSides.nSize; //复制常规成员
        char *temp=new char [nSize]; //复制指针指向的内容 
         memcpy(temp,RightSides.pBuffer,nSize*sizeof (char ));

        delete []pBuffer; //删除原指针指向内容   (将删除操作放在后面,避免X=X特殊情况下,内容的丢失)
         pBuffer=temp;    //建立新指向
        return *this 
    }
    三、拷贝构造函数使用赋值运算符重载的代码。 
    CExample::CExample(const CExample& RightSides)
    {
         pBuffer=NULL;
         *this =RightSides      //调用重载后的"="
    }

        为了更好地理解拷贝构造函数   
     1、为什么要有拷贝构造函数,它跟构造函数有什么区别?
           答:拷贝构造函数其实也是构造函数,只不过它的参数是const 的类自身的对象的引用。如果类里面没有指针成员(该指针成员指向动态申请的空间),是没有必要编写拷贝构造函数的 。     我们知道,如果有一个类CObj,它已经产生了一个对象ObjA,现在又用CObj去创建ObjB,如果程序中使用语句ObjB = ObjA; 也就是说直接使用ObjA的数据给ObjB赋值。这对于一般的类,没有任何问题,但是如果CObj里面有个char * pStr的成员,用来存放动态申请的字符串的地址,在ObjA中使用new 方法动态申请了内存并让ObjA.pStr指向该申请的空间,在OjbB = OjbA之后,ObjA.pStr和ObjB.pStr将同时指向那片空间,这样到导致了谁也不知道到底该由谁来负责释放那块空间,很有可能导致同一块内存被释放两次。     使用拷贝构造函数,先申请ObjA.pStr所指向的空间大小的空间,然后将空间内容拷贝过来,这样就不会同时指向同一块内存,各自有各自申请的内存,各自负责释放各自申请的内存,从而解决了刚才的问题。所以这里的“拷贝”拷贝的是动态申请的空间的内容,而不是类本身的数据。另外注意到,拷贝构造函数的参数是对象的引用,而不是对象的指针。至于为什么要用引用,不能够用指针暂时还没有搞明白,等搞明白了再说。    
    2、为什么要对=赋值操作符进行重载?
        答:接上面的例子,用户在使用语句ObjB = ObjA的时候,或许ObjB的pStr已经指向了动态申请的空间,如果直接简单将其指向的地址覆盖,就会导致内存泄露,所以需要对=赋值操作符进行重载,在重载函数中判断pStr如果已经指向了动态申请的空间,就先将其释放。    
    3、拷贝构造函数和=赋值操作符重载的关系。
        答:从原文的例子中可以看出,=赋值操作符重载比拷贝构造函数做得要多,它除了完成拷贝构造函数所完成的拷贝动态申请的内存的数据之外,还释放了原本自己申请的内存空间。所以原文最后给出的拷贝构造函数的实现可以使用=赋值操作符的重载来完成。    
    4、拷贝构造函数何时被调用?
        a.对象的直接赋值也会调用拷贝构造函数  ;
        b.函数参数传递只要是按值传递也调用拷贝构造函数;
        c.函数返回只要是按值返回也调用拷贝构造函数。 

     四、拷贝构造函数 和 赋值运算符重载 为什么要使用引用? 
        
    首先先说下基类 和 派生类的关系:
        例如:
            class Derived:public Base
            {
                public:
                  .....
                private:
                    .......
            };
     
     不同继承方式的基类和派生类特性

    继承方式基类特性派生类特性
    公有继承publicpublic
    protected
    private
    protected
    不可访问
    私有继承publicprivate
    protected
    private
    private
    不可访问
    保护继承publicprotected
    protected
    private
    protected
    不可访问


            首先,派生类对象的引用初始化基类引用。多态性的动态绑定中存在两个条件:1,必须是virtual 函数(虚函数);2, 必须是通过基类的引用或基类的指针进行成员函数的调用。
         

        由于派生类中存在基类的成员,也就相当于一个派生类对象中包含了一个基类对象,所以可以采用一个基类引用来绑定一个派生类对象。引用实质上是针对一块内存区域,引用是一个标号,是这块内存区域的一个名字,一个引用与一块内存区域绑定,因为派生对象中存在基类部分,可以认为派生对象的区域中存在基类对象,这时可用基类的引用来表明这块内存区域,即采用一个基类的别名来表示(绑定)这段内存区域,派生对象的地址(这段内存)以及内容都没有发生改变,也没有重现创造出一个新的对象,基类的引用还是指向这个派生对象。对于指针的分析方式相似。因此可以采用基类的引用绑定派生类对象。

       

        但是如何实现派生类对象到基类的转换呢?

        这时候的转换与前面的绑定存在很大的差别,因为这是重新分配一个基类对象,而不再是引用问题,不再是绑定问题,是依据一个派生类对象生成一个新的基类对象。因为派生类对象中存在一个基类对象基本的信息,完全可以生成一个基类对象,完全将此过程看作是一个初始化或者赋值的问题。也就是采用派生类创建一个新的对象或者赋值一个对象。

        从上面的分析我们可以采用下面的形式来实现:
         Base(const Derived &);
         Base &operator=(const Derived &);

        是在基类函数中采用构造函数基于派生类来重载一系列的构造函数,但是这也存在一个问题,如果存在很多派生类,这时候就要重载很多构造函数,这肯定不是我们需要的。

     

        这时候我们发现对于一个类而言,为什么复制构造函数和重载赋值操作符这么重要了。因为这两个函数都是接受一个基类的引用,根据前面的分析我们知道一个基类引用完全可以绑定一个派生类的对象,而派生类对象中又包含了一个基类对象的基本信息。我们能够实现一个从一个派生对象到基类的构造过程。
        我们用一个基类引用绑定一个派生对象,然后采用基类引用对基类成员进行访问,完成了一个基类对象基本要素的填充操作,相当于完成了基类对象的创建,也就是构造问题。这样也就能完成由派生类对象到基类对象的构造过程。

     

        总结起来说了,因为在复制构造函数中,C++中的基类引用可以绑定一个派生类的对象,如果在允许访问的情况下,采用基类引用可以访问基类的成员以及派生类的其他成员,采用引用可以复制派生类对象中基类成员的值到新创建的基类成员中,完成一个基类成员数据的填充操作,这时候一个完整的基类对象就创建完成了。

     

        重载赋值操作符则是发生在使用一个派生对象来赋值一个基类对象时,这时候也是const基类引用绑定一个派生类对象,然后复制对应的基类成员到基类对象对于的成员中,完成一个基类对象成员的更新操作。

     

        复制构造函数不仅仅实现了同类型之间的初始化操作,同时也完成了采用一个派生类对象初始化一个基类对象的操作,重载赋值操作符实现了同类型之间的赋值操作,也完成了采用派生类对象赋值基类对象的操作。如果没有这两个函数的存在,也就不能完成派生类到基类的赋值和初始化操作。这也是为什么一定会存在这两个函数的原因。

    展开全文
  • 1. 类的声明,构造函数,拷贝构造函数,赋值函数 代码实现 class String { public: String(const char* initChar); String(const String& str); String& operator = (const String& str); private: char*...
  • c++拷贝构造函数是形如User(const User & user)的函数,看起来与构造函数类似,没有返回类型,但是其参数一定要是不可修改的引用类型,即参数是被拷贝的对象,不可修改 同时,拷贝构造函数也是构造函数的一个特例...
  • C++拷贝构造函数和赋值操作 拷贝构造函数对同一个对象来说只会调用一次,而且是在对象构造时调用。此时对象本身还没有构造,无需要去释放自己的一些资源。而赋值操作可能会调用多次,你在拷贝之前要释放自己的一些...
  • C++拷贝构造函数与拷贝赋值运算符

    千次阅读 2019-04-20 21:44:45
    拷贝构造函数 拷贝构造函数定义了当同类型的另一个对象初始化本对象时做什么,如果一个构造函数的第一个参数是自身类类型的引用,且任何额外参数都有默认值,则此构造函数是拷贝构造函数拷贝构造函数的参数类型...
  • 本文综合了《C++ 拷贝构造函数和赋值运算符》和《拷贝构造函数和赋值函数的必要性和意义》的内容,并加上自己的理解。 C++ 拷贝构造函数和赋值运算符函数 本文主要介绍了拷贝构造函数和赋值运算符函
  • C++ 拷贝构造函数与赋值函数

    千次阅读 2014-06-07 14:47:43
    C++ 类的拷贝构造函数和赋值函数
  • C++拷贝构造函数、构造函数和析构函数

    万次阅读 多人点赞 2018-08-30 22:09:15
    一、拷贝构造函数 转载自:http://www.cnblogs.com/BlueTzar/articles/1223313.html 1、类对象的拷贝  对于普通类型的对象来说,它们之间的复制是很简单的,例如: int a=88; int b=a;   而类对象与普通...
  • C++ 拷贝构造函数

    千次阅读 多人点赞 2017-04-26 09:13:49
    1. 定义  (const &);  class A { int x,y; public: A(); A(const A& a) { x = a.x+1;... 其中,const是为了防止在函数中修改实参对象,可以省略。... 拷贝构造函数也可以带有其他参数,但这
  • C++拷贝构造函数(复制构造函数)

    千次阅读 2018-12-22 14:03:33
    一、拷贝构造函数的形式 复制构造函数是构造函数的一种特殊情况。因为类的对象包含各种成员变量,在发生拷贝时不能和普通对象一样来拷贝,所以我们需要使用拷贝构造函数来进行对象拷贝。拷贝构造函数只有一个参数,...
  • C++拷贝构造函数被调用的时机

    千次阅读 多人点赞 2017-07-28 17:41:59
    拷贝构造函数调用的几种情况: 1. 当用类的一个对象去初始化该类的另一个对象(或引用)时系统自动调用拷贝构造函数实现拷贝赋值。 2. 若函数的形参为类对象,调用函数时,实参赋值给形参,系统自动调用拷贝构造...
  • C++ 拷贝构造函数和重载赋值函数

    千次阅读 2016-03-24 15:05:10
    拷贝构造函数和重载赋值=的函数可以有效防止在浅复制过程中可能对于同一片内存释放两次的问题。 然而拷贝函数和重载复制=的函数很容易混淆。拷贝构造函数是在对象创建时调用的,而赋值函数只能被已经存在的对象调用...
  • 主要介绍了C++中构造函数,拷贝构造函数和赋值函数的区别和实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
  • C++拷贝构造函数和赋值构造函数

    千次阅读 2011-02-20 20:36:00
    C++拷贝构造函数和赋值构造函数 简介:这是C++拷贝构造函数和赋值构造函数的详细页面,介绍了和c/c++,有关的知识、技巧、经验,和一些c/c++源码等。 重点:包含动态分配成员的类 应提供拷贝构造函数,并...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 124,534
精华内容 49,813
关键字:

c++拷贝构造函数的作用

c++ 订阅