C++类的构造函数深入探讨

 

构造函数 :

  

 

 

                class CExample { public: CExample(){pBuffer=NULL; nSize=0;} CExample(int size){pBuffer=NULL; nSize=size;} ~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)); }    

 

 

1. 各种构造函数被调用的情景

l   CExample obj;

会调用类的一个没有参数的构造函数 , 如果用户自己没有设置 , 系统也会为该类设计一个默认构造函数 , 也就是说一个类至少有一个构造函数

l   CExample obj(size);

会调用一个含有 size 输入参数的构造函数

l   CExample obj2 = obj;

对象声明时使用 = , 也相当于使用 (). 此处的 = 并不表示赋值操作 , 而是初始化操作 .

会调用一个拷贝构造函数 , 注意这里即使没有设置拷贝构造函数 , 这样的赋值也是可以的 , 也就是说 C++ 中的类本身对赋值等号 = 有一个默认的操作 , 那就是 :

完全的内存拷贝 , 把 obj 里所有成员变量的值都拷贝到 obj2 相应的对象里去 . 这是系统默认的方法 , 但是这个方法有一个严重的问题就是如果类里面有指针的时候 ,

比如 pBuffer 拷贝值之后 obj 和 obj2 里的 pBuffer 都指向同一块内存 , 这样很容易出现内存错乱 , 所有我们可以得到以下规则 :

应该为所有包含动态分配成员的类都提供拷贝构造函数 , 在拷贝构造函数中，可以根据传入的变量，复制指针所指向的资源。

l   CExample obj3(obj);

同上 , 调用拷贝构造函数

l   BOOL testfunc(CExample obj);

类以值传递的方式做为函数的参数时同样会调用拷贝构造函数

 

l   类对象做为函数返回值时

 

       CExample func() { CExample theTest; return theTest; }

如上例子所示 , 函数内部申请了一个局部对象 , 最后返回这个对象 . 这个过程详细经过是 : 函数到结尾处调用 return theTest;

然后系统会根据 theTest 对象拷贝构造 一个临时对象 temp, 之后调用 theTest 的析构函数 , 之后再删除 theTest 所占的内存 .

而外部函数的调用者可访问的是临时对象 temp, 函数调用结束之后再删除该临时对象 temp.

 

2 ． 重载 赋值 “=” 操作符

一般情况下含有动态分配内存的类还需要重载 = 操作符. 具体操作如下 :

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     //调用重载后的"=",这样pBuffer就不是指针的复制了,而是所指向的值的复制
}

  
 
====================================

3．问题思考:
[问题]
在定义拷贝构造函数时,我们使用了
 CExample::CExample(const CExample& RightSides), 但是如果使用下面的语句会有什么不同:
 CExample::CExample(const CExample RightSides),
其中区别是第一个是引用参数传递,
第二个是值传递.
[分析]
    如果使用值传递,那么就会在拷贝构造函数被调用时产生一个临时对象RightSides, 而这个对象目的是要把外部参数对象复制一个副本,但是这个复制过程应该是通过类的拷贝构造函数完成的,也就是说在拷贝构造函数还未定义的时候就要使用它,这样就会产生无限个临时对象,进入死循环.

所以拷贝构造函数参数的传递必须使用引用. 经过测试也发现使用值传递的方式编译都不通过.