拷贝构造函数中的陷阱

Posted on 2013-12-25 16:28 huhuuu 阅读(3506) 评论(3) 编辑收藏举报

　　拷贝构造函数大家都比较熟悉，通俗讲就是传入一个对象，拷贝一份副本。

　　不过看似简单的东西，实际不注意的话就会产生问题！

#include<iostream>
using namespace std;

class CExample 
{
public:
    int a,b,c;
    char *str;

public:
    //构造函数
    CExample(int tb)
    { 
        a = tb;
        b = tb+1;
        c = tb+2;
        str=(char *)malloc(sizeof(char)*10);
        strcpy(str,"123456789");
        cout<<"creat: "<<endl;
    }


    //析构函数
    ~CExample()
    {
        cout<< "delete: "<<endl;
    }

    void Show ()
    {
        cout<<a<<endl;
    }

    //拷贝构造

    //CExample(const CExample& C)
    //{
    //    str=(char *)malloc(sizeof(char)*10);
    //    strcpy(str,C.str);
    //    cout<<"copy"<<endl;
    //}
};

//全局函数，传入的是对象
void g_Fun(CExample C)
{
    C.a=0;C.b=0;C.b=0;
    strcpy(C.str,"aaabbbccc");
    cout<<"test"<<endl;
}

int main()
{
    CExample test(1);
    cout<<"str:"<<test.str<<" a="<<test.a<<" b="<<test.b<<" c="<<test.c<<endl;
    
    g_Fun(test);//传入对象

    cout<<"str:"<<test.str<<" a="<<test.a<<" b="<<test.b<<" c="<<test.c<<endl;
    getchar();
    return 0;
}

这个结果似乎出乎了我们的预料，作为形式参数 test对象被修改了，同时是test.str的部分被修改了，test的整数成员变量没有被修改！

咱们先了解一下系统默认的拷贝构造函数，因为类中没有写自己的拷贝构造函数，所以调用的是默认的拷贝构造函数。

Thinking in c++：对于简单结构，编译器会自动生成一个缺省的，就是位拷贝（bitcopy)。
对于比较复杂的类型，编译器就会自动生成一个缺省的拷贝构造函数。

class CExample 
{
    int a,b,c;
};

这就是一个简单结构的类，位拷贝，就是按对象在内存中的二进制进行拷贝，对于不涉及指针等类型的时候，位拷贝是比较不错的拷贝方法。

但是，要是一个类中有指针类型的时候，如

class CExample 
{
    int a,b,c;
    char *str;
};

位拷贝就会把指针地址拷贝了一下，话句话说，这里只进行了“浅拷贝”，一旦副本里涉及到指针的操作，必然就会影响到原始对象的成员变量，这就是导致，上面代码中对象的整数变量没被修改（对整数变量的位拷贝其实就是一种“深拷贝”），而str所指的对象被修改的原因。

那么该如何防止对副本的修改影响原始对象呢？

答案是用户自定义拷贝构造函数！

    CExample(const CExample& C)
    {
        a=C.a;b=C.b;c=C.b;
        str=(char *)malloc(sizeof(char)*10);
        strcpy(str,C.str);
        cout<<"copy"<<endl;
    }

这样就可以正确完成拷贝构造的操作了。

总结：对于简单的数据类型，可以使用系统默认的拷贝构造函数；但对于复杂的数据类型（如指针），其实就是深拷贝和浅拷贝的区别！一般类如果包含指针或引用成员，应该遵守Rule of Three原则。（感谢@24K纯开源）

@24K纯开源指出的三法则：

三法则（英语：rule of three，the Law of The Big Three，The Big Three；三法则，三大定律）在 C++ 程序设计里，它是一个以设计的基本原则而制定的定律，三法则的要求在于，假如类型有明显地定义下列其中一个成员函数，那么程序员必须连其他二个成员函数也一同编写至类型内，亦即下列三个成员函数缺一不可。 ^[1]: