题目描述(赋值运算符函数)

如下为类型 CMyString 的声明，请为该类型添加赋值运算符函数。

image

考察的关注点

• 返回值的类型。是否把返回值的类型声明为该类型的引用，并在函数结束前返回实例自身的引用(*this)。只有返回一个引用，才可以允许连续赋值。否则，如果函数返回的类型是 Void,则该赋值运算符将不能连续赋值。比如 str1=str2=str3 ,这样的形式将不被允许。
• 传入的参数类型。是否把传入的参数声明为常量引用。如果传入的参数不是引用而是实例，那么从形参到实参会调用一次复制构造函数。把参数声明为引用可以避免这样的无谓消耗，提高代码的效率。同时，在赋值运算符函数内不会改变传入的实例的状态，因此还应该为传入的引用参数加上 const 关键字。
• 内存泄漏问题 。是否释放实例自身已有的内存。如果忘记在分配新内存之前释放掉自身已有的空间，则程序将会出现内存泄漏。
• 多情况考虑 。 判断传入的参数和当前的实例是不是同一个实例。如果是同一个，则不进行赋值操作,直接返回。如果事先不判断就进行赋值，那么在释放实例自身的时候就会导致严重的问题：当 *this 和传入的参数是同一个实例时，一旦释放了自身的内存，传入的参数的内存也同时被释放了，因此再也找不到需要赋值的内容了。

经典解法

image

考虑异常安全性的解法

要想在赋值运算符函数中实现异常安全性，我们有两种方法。一种简单的办法是我们先用 new 分配新内容，再用 delete 释放已有的内容(考虑到可能内存不足，无法分配问题)。另一种方法是先创建已给临时实例，再交换临时实例和原来的实例。

image

程序主要利用了 C++ 的特性以及交换临时实例的方法来实现。关键的是 strTemp 是一个局部的变量，那么在方法执行完毕后，它是会自动调用析构函数而释放内存的，那么就不需要手动释放，而通过交换我们也能拿到要赋值的值。

考点

• 基础语法的理解，如运算符函数、常量引用等；
• 内存泄漏的理解；
• 代码异常安全性的考虑。

参考

<<剑指offer2>>