Effective C++ — 构造/析构/赋值运算(二)

ゞ浴缸里的玫瑰 2022-06-08 06:41 105阅读 0赞

# Effective C++ #

# ——————————————————————— #

**条款11：在operator=中处理"自我赋值"**

有的人可能想了，有谁会写出 a = a;这种表达式这个条款是拿来充数的吧？ 你还真的别这么说，这种情况还真的有情

况发生.比如有 的自我赋值你根本看不出来:比如:

a\[i\] = a\[j\]; //潜在的自我赋值，如果i = j的时候.

\*px = \*py; // 潜在的自我赋值，如果px和py恰巧指向同一个东西.

这些都不是明显的自我赋值，是"别名"带来的结果.一般而言当某段代码操作Points和reference而他们被用来"指向多

个相同类型的对 象"，就需要考虑这些对象是否为同一个.实际上两个对象只要来自同一个继承体系，他们甚至不许声明

为相同类型就可能造成"别名" 因为一个base class的reference或者points可以指向derived class对象.

我们一般的operator=实现代码为：

widget& operator=(const widget& rhs)
    {
    	delete pb;  //假设pb为管理资源的指针
    	pb = new Bitma(*rhs.pb);
    	return *this;
    }

但是如果不慎出现别名，那么你是先删除掉自己然后再自己对自己赋值？ 让自己的指针指向一个被销毁的地方？ 所以

我们需要加 上一层判断.

widget& operator=(const widget& rhs)
    {
    	if (this == &rhs)
    	{
    		return *this;
    	}
    	delete pb;  //假设pb为管理资源的指针
    	pb = new Bitma(*rhs.pb);
    	return *this;
    }

这样做是一点问题都没有的，但是这个新版本会存在异常方面的麻烦.更明确的说，如果"new Bitma"导致异常，widget最终会持有

一个指针指向一块被删除的bitmap.这样的指针是有害的，你无法安全的删除它们，甚至无法安全的读取他们.唯一能对他们做的安

全事件是付出许多调试能力找出错误根源.

如果你为了让operator= 具有"异常安全性，所以我们只需要注意在复制pb所指东西之前别删除pb:

widget& operator=(const widget& rhs)
    {
    	Bitma* porig = pb; //假设pb为管理资源的指针
    	pb = new Bitma(*rhs.pb);
    	delete porig;  
    	return *this;
    }

现在，如果"new Bitma"抛出异常，pb保持原状.即使没有证同测试，这段代码还是能够处理自我赋值，因为我们对原pb做了一件

复件，然后重新定义pb，最后pb定义好了之后，删除掉复件. 它或许不是处理"自我赋值"的最高效方法，但它行得通.

**总结:**

确保当对象自我赋值时operator有良好的行为，检查他是否存在自赋值.

确定任何函数如果操作一个或一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确.

**条款12:复制对象时勿忘其每一个成分**

设计良好之面向对象系统会将对象的内部封装起来，只留下两个函数负责对象拷贝，那就是copy构造函数和

copy assignment操作符 我称他们为copying函数.

如果你声明自己的copying函数，意思就是告诉编辑器你并不喜欢却省实现中的某些行为。编译器就会觉得被冒犯一

样，会用一种奇 怪的方式来回敬你，当你的代码出现一点错误的时候却不告诉你.

我就这样说吧，当你编写一个copying函数请确保两件事情:

1.复制所有的local成员变量.

2.调用所有base classes内的适当的copying函数.

其实两个copying函数往往拥有相同的实现本体，这可能会引诱你让某个函数去乔勇另一个函数以避免代码重复.这样

精益求精的态 度值得赞赏，但是令某个copying函数调用一个copying函数却无法让你达到你想要的目标.

令copy assignment操作符调用copy构造函数是不合理的，因为这就像试图构造一个已经存在的对象.这挺起来就很不

通顺.单纯的接 受这个建议：你不该令copy assignment操作符调用copy构造函数.

令copy构造函数调用copy assignment操作符同样没有意义.构造函数是用来初始化新对象，而assignent操作符知识

性于已初始化对 象身上.对应尚未构造好的对象赋值，就像在一个尚未初始化的对象身上做"只对已初始化对象才有意

义"的事情一样.同样无聊. 如果你发现你的copy构造函数和 copy assignment操作符有相近的代码，消除重复代码的做

法就是建立一个新的成员函数给两者调用 这样的函数往往是private而且常被命名为init. 你可以尝试这样.

总结:

Copying函数应该确保复制"对象内的所有成员变量"及"所有base class 成分"

不要尝试以某个copying函数实现另一个copying函数，应该将共同的机能放进第三个函数当中.

发表评论取消回复

表情：

评论列表（有 0 条评论，105人围观）

还没有评论，来说两句吧...

相关阅读

相关 C++基础#5：构造函数，析构函数，拷贝构造函数和赋值函数

1. 构造函数 (1). 构造函数是一种用于创建对象的特殊成员函数，当创建对象时，系统自动调用构造函数。 (2). 构造函数名与类名相同，一个类可以拥有多个构造函

朱雀/ 2023年10月16日 21:54/ 0 赞/ 88 阅读

相关 C++ 类和对象（二）构造和析构

C++ 类和对象（二）构造和析构文章目录 C++ 类和对象（二）构造和析构 1. 构造函数和析构函数 1.1 构造和析构

约定不等于承诺〃/ 2022年12月20日 12:36/ 0 赞/ 80 阅读

相关读书笔记_Effective C++_构造，析构，赋值

条款五 class Empty { }; 这样的一个类，当C++处理过后，编译器会为它声明一个copy构造函数、一个copy assignment操作符、一个析构函

傷城~/ 2022年08月08日 00:52/ 0 赞/ 115 阅读

相关构造函数、析构函数和赋值函数

作者：寒小阳时间：2013年9月。出处：[http://blog.csdn.net/han\_xiaoyang/article/details/10833

妖狐艹你老母/ 2022年08月01日 14:59/ 0 赞/ 208 阅读

相关 Effective C++ — 构造/析构/赋值运算(二)

Effective C++ ——————————————————————— 条款11：在operator=中处理"自我赋值" 有的人

ゞ浴缸里的玫瑰/ 2022年06月08日 06:41/ 0 赞/ 106 阅读

相关 Effective C++ — 构造/析构/赋值运算(一)

Effective C++ \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\

太过爱你忘了你带给我的痛/ 2022年06月08日 05:44/ 0 赞/ 108 阅读

相关 Effective C++ (二) : 构造/析构/赋值运算

构造/析构/赋值运算条款05：了解C++默默编写并调用哪些函数写一个空类，当自己没声明，编译器会声明一个default构造函数，声明一个copy构造函数，一个c

朱雀/ 2022年05月26日 04:12/ 0 赞/ 115 阅读

相关 Effective C++读书笔记二（构造 / 析构 / 赋值运算）

条款05：了解C++默默编写并调用了哪些函数 class Empty {}; 上面这个类是一个空类，但是经过C++处理之后，它就不再是一个空类了。如果

ゝ一纸荒年。/ 2022年05月17日 10:09/ 0 赞/ 118 阅读

相关 C++语法基础--派生类的构造函数，赋值操作符，析构函数，虚析构函数

1.如果派生类定义了自己的构造函数（复制构造函数）或赋值操作符，该构造函数（复制构造函数）或赋值操作符一般应显式使用基类构造函数（复制构造函数）或赋值操作符初始化基类部分、

秒速五厘米/ 2021年12月21日 13:49/ 0 赞/ 241 阅读

相关构造函数、赋值操作函数、析构函数

构造函数 1、构造函数的与类的名字相同，并且不能指定返回类型，不能声明为const。因为构造函数的工作是初始化对象，不管对象是否为const，都用一个构造函数来初始化该对象。

谁践踏了优雅/ 2021年09月14日 03:02/ 0 赞/ 418 阅读