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)。

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

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

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