c++中的拷贝构造函数

   

int a = 2;
int b = a;

 

在c++中，上面的代码没有问题，对于int， string，char之类的变量可以直接互相赋值，没问题。但是如果是某个类的对象互相赋值,如：

 

Example ex1;
Example ex2 = ex1;

 

这样，一般情况下也是没有问题的，可以认为类中有个函数叫做"默认的拷贝构造函数"（这个名字本人觉得很恶心），这个函数跟什么默认构造函数默认析构函数差不多，最重要的是这个函数不是你写的，你也看不到。这个函数完成的赋值的过程。

 

调用“默认的拷贝构造函数”完成的赋值叫做“浅拷贝”。

 

但是就如同下面一段话中所说，有些情况下直接赋值不行：

 

　　以下讨论中将用到的例子：

 

　　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 theObjone;

　　theObjone.Init(40);

　　//现在需要另一个对象,需要将他初始化成对象一的状态

　　CExample theObjtwo=theObjone;

　　...

　　}

　　语句"CExample theObjtwo=theObjone;"用theObjone初始化theObjtwo。

　　其完成方式是内存拷贝，复制所有成员的值。

　　完成后，theObjtwo.pBuffer==theObjone.pBuffer。

　　即它们将指向同样的地方，指针虽然复制了，但所指向的空间并没有复制，而是由两个对象共用了。这样不符合要求，对象之间不独立了，并为空间的删除带来隐患。所以需要采用必要的手段来避免此类情况。

　　回顾一下此语句的具体过程:首先建立对象theObjtwo，并调用其构造函数，然后成员被拷贝。

　　可以在构造函数中添加操作来解决指针成员的问题。

　　所以C++语法中除了提供缺省形式的构造函数外，还规范了另一种特殊的构造函数：拷贝构造函数，上面的语句中，如果类中定义了拷贝构造函数，这对象建立时，调用的将是拷贝构造函数，在拷贝构造函数中，可以根据传入的变量，复制指针所指向的资源。

　　拷贝构造函数的格式为:构造函数名(对象的引用)

　　提供了拷贝构造函数后的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(RightSides.pBuffer,pBuffer,nSize*sizeof(char));

　　}

　　这样，定义新对象，并用已有对象初始化新对象时，CExample(const CExample& RightSides)将被调用，而已有对象用别名RightSides传给构造函数，以用来作复制。原则上，应该为所有包含动态分配成员的类都提供拷贝构造函数。

 

 

类中手动开辟过空间的情况下，对象之间不能直接赋值（默认构造函数完不成工作，就需要自己写一个拷贝构造函数）。

 

 

自己写了拷贝构造函数时，对象之间赋值叫做“深拷贝”。

 

拷贝构造函数调用情况：

 

    网上都说以下3种情况下会调用拷贝构造函数：

    1. 对象赋值（上面介绍的）

    2. 对象作为函数参数时

    3. 对象作为函数返回值时

 

1没什么问题。

2也没什么问题。

 

         

void func1(Example obj) {

}

int main()
{
    Example ex1;
    func1(ex1);

    return 0;
}

 

 

3就有问题了！

 

 

 

Example func2() {
    Example obj_in_func2;
    return obj_in_func2;
}

int main()
{
    Example ret = func2();

    return 0;
}

 

代码如上面，事实证明，这样并不调用构造函数，我在class Example的拷贝构造函数中打印一句话，事实证明并不打印，不知道是什么问题哦。