C++必知必会 - 赋值和初始化并不相同

赋值发生于当你赋值时，除此之外，遇到所有其他的复制的情形均为初始化，包括声明、函数返回、参数传递以及捕获异常中的初始化。

 

假定其赋值操作符的函数如下,并且string中有一个private的S_成员:

 
 
String &


String::operator


 =( const char *str ) {  //假定str!= this





    if( !str ) 


str


 = 


""


;  


    char *


tmp


 = 


strcpy


( new char[ strlen(str)+1 ], str );  


    delete [] s_;  


    


s_


 = 


tmp


;  


    return *this;  


} 

对于内置类型来说，这两个动作的区别可能不是很明显。 对于复杂的用户自定义类型来说，目标在采用源重新初始化之前必须被清理掉；这样看，赋值有点像一个析构函数后跟着一个构造函数(当然要先判断=左右是否是同一个object)。

正是由于一个正当的赋值操作会清掉左边的实参,因此永远不要对一个未初始化 的存储区执行用户自定义的赋值操作:

1. String *
   
   
   names
   
   
    = 
   
   
   static_cast
   
   
   <
   
   
   String
   
   
    *
   
   
   >
   
   
   (::operator new( BUFSIZ ));  
   
   
   
   
   
   names[0] = "Sakamoto"; // 哎呀！delete []未被初始化的指针names！ 
   
   
   

在这个例子中，names指向未初始化的存储区，因为我们直接调用了operator new，从而避免了通过String的默认构造函数执行的隐式初始化动作，因此names指向一块填充着随机位的内存。当String赋值操作符在第二行 代码中被调用时，它试图对一个未初始化的指针执行一个array delete操作。 (哇哈哈，知道构造函数的好处了吧!)