Effective C++

chapter 2. 构造 / 析构 / 赋值运算

(Constructors, Destructors, and Assignment Operators)

Item 6. 若不想使用编译器自动生成的函数,就该明确拒绝

(Explicitly disallow the use of compiler-generated functions you do not want)

地产中介商卖的是房子,一个中介软件系统自然而然想必有个 class 用来描述待售房屋:

class HomeForSale { ... };

地产商都认为每一笔资产都是独一无二的,因而为 HomeForSale 对象做一份副本有点没道理。因此应该乐意看到 HomeForSale 的对象拷贝动作以失败收场:

HomeForSale h1;
HomeForSale h2;
HomeForSale h3(h1); //企图拷贝 h1 — — 不该通过编译
h1 = h2; //企图拷贝 h2 — — 也不该通过编译

阻止这一类代码的编译并不是很直观。通常如果不希望 class 支持某一特定机能,只要不声明对应函数就行。但这个策略对 copy 构造函数和 copy assignment 操作符却不起作用,因为 Item 5 已经指出,如果不声明而尝试调用它们,编译器会声明它们。

这便遇到一个困境。如果不声明 copy 构造函数或 copy assignment 操作符,编译器可能为你产出一份,于是你的 class 支持 copying。如果声明它们,你的 class 还是支持 copying。但这里的目标却是要阻止 copying!

答案的关键是,所有编译器产出的函数都是 public。为阻止这些函数被创建出来,得自行申明它们,但这里并没有什么需求使你必须将它们申明为 public。因此你可以将 copy 构造函数或 copy assignment 操作符申明为 private。藉由明确申明一个成员函数以阻止编译器暗自创建其专属版本;而令这些函数为 private,使你得以成功阻止人们调用它。

一般而言这个做法并不绝对安全,因为 member 函数和 friend 函数还是可以调用 private 函数。除非你不去定义它们,那么如果某些人不慎调用任何一个,会获得一个连接错误 (linkage error )。“将成员函数声明为 private 而且故意不实现它们”这一伎俩是如此为大家接受,因而被用在 C++ iostream 程序库中阻止 copying 行为。这个伎俩施行与 HomeForSale 也很简单:

class HomeForSale
{
public:
...
private:
...
HomeForSale (const HomeForSale &); //只有声明
HomeForSale& operator= (const HomeForSale &);
};

有了上述 class 定义,当客户企图拷贝 HomeForSale 对象,编译器会阻挠他。如果你不慎在 member 函数或者 friend 函数之内那么做,轮到连接器发出抱怨。

将连接期错误转移至编译器是可能的(而且那是好事,毕竟俞早侦测出错误愈好),只要将 copy 构造函数和 copy assignment 操作符申明为 private 就可以办到,但不是在 HomeForSale 自身,而是在一个专门为了阻止 copying 动作而设计的 base class 内。这个 base class 非常简单:

class Uncopyable
{
protected:
Uncopyable() { } //允许 derived 对象构造和析构
~ Uncopyable() { }
private:
Uncopyable (const Uncopyable&); //但阻止 copying
Uncopyable& operator=(const Uncopyable&);
};

为求阻止 HomeForSale 对象被拷贝,我们唯一需要做的就是继承  Uncopyable:

class HomeForSale: private  Uncopyable       //class 不再申明 copy 构造函数或 copy assignment 操作符
{
...
};

这行得通,因为任何(甚至是 member 函数或 friend 函数)尝试拷贝 HomeForSale 对象,编译器便试着生成一个 copy 构造函数和一个 copy assignment 操作符,而正如 Item 12 所说,这些函数的“编译器生成版”会尝试调用其 base class 的对应兄弟,那些调用会被编译器拒绝,因为其 base class 的拷贝函数是 private。

Uncopyable class 的实现和运用颇为微妙,包括不一定得以 public 继承它(见 Item 32 和 Item 39),以及  Uncopyable 的析构函数不一定得是 virtual (见 Item 7)等等。 Uncopyable 不含数据,因此符合 Item 39 所描述的 empty base class optimization 资格。但由于它总是扮演 base class,因此使用这项技术可能导致多重继承(因为你还可能继承其他 class,多重继承见 Item 40),而多重继承有时会阻止 empty base class optimization (再次见 Item 39)。通常可以忽略这些微妙点,只像上面那样使用 Uncopyable,因为它完全像“广告”所说的能够正常运行。也可以使用 Boost(见 Item 55) 提供的版本,名为 noncopyable 的 class。

请记住

  • 为驳回编译器自动(暗自)提供的机能,可将相应的成员函数声明为 private 并且不予实现。使用像 Uncopyable 这样的 base class 也是一种做法。

Effective C++ 之 Item 6 : 若不想使用编译器自动生成的函数,就该明确拒绝的更多相关文章

  1. 【Effective c++】条款6:若不想使用编译器自动生成的函数就应该明确拒绝

    地产中介卖的是房子,其使用的中介软件系统应该有个类用来描述卖掉的房子 class HomeFoeSale { ......} 但是任何房子都是独一无二的,不应该存在两个房子拥有同样的属性,因此以下操作 ...

  2. 读书笔记 effective c++ Item 6 如果你不想使用编译器自动生成的函数,你需要明确拒绝

    问题描述-阻止对象的拷贝 现实生活中的房产中介卖房子,一个服务于这个中介的软件系统很自然的会有一个表示要被销售的房屋的类: class HomeForSale { ... }; 每个房产中介会立刻指出 ...

  3. Effective C++ 条款06:若不想使用编译器自动生成的函数,就该明确拒绝

    规则一 将成员函数声明为private而且故意不实现他们 class HomeForSale { public: ... private: ... HomeForSale(const HomeForS ...

  4. Effective C++ 条款六 若不想使用编译器自动生成的函数,就该明确拒绝

    class HomeForSale //防止别人拷贝方法一:将相应的成员函数声明为private并且不予实现 { public: private: HomeForSale(const HomeForS ...

  5. Effective C++ -----条款06:若不想使用编译器自动生成的函数,就该明确拒绝

    为驳回编译器自动提供的功能,可将相应的成员函数声明为private并且不予实现. 使用像Uncopyable这样的base class也是一种做法(即先声明一个基类,然后私有继承它).这其实有点像使用 ...

  6. Effective C++学习笔记 条款06:如不想使用编译器自动生成的函数,就该明确拒绝

    一.为驳回编译器自动提供的机能,可将相应成员函数声明为private并且不予实现.(如果你仅仅是自己不实现的话,编译器会帮你实现) 如: class A { public: A(const strin ...

  7. Effective C++_笔记_条款06_若不想使用编译器自动生成的函数,就该明确拒绝

    (整理自Effctive C++,转载请注明.整理者:华科小涛@http://www.cnblogs.com/hust-ghtao/) 通常如果你不希望class支持某一特定机能,只要不声明对应函数就 ...

  8. [EffectiveC++]item06:若不想使用编译器自动生成的函数,就该明确决绝

  9. 条款6:若不想使用编译器自动生成的函数,就该明确拒绝(Explicity disallow the use of compiler-generated functions you do not want)

    class uncopyable{ protected: uncopyable(){};                                                         ...

随机推荐

  1. oracle,mybatis主键自增长

    <insert id="insert" parameterType="resource"> <selectKey resultType=&qu ...

  2. iOS 活动图 流程图

    活动图        活动图和状态机图都被称为演化图,其区别和联系如下:       1.活动图:用于描述用例内部的活动或方法的流程,如果除去活动图中的并行活动描述以后,它就变成流程图.       ...

  3. Nginx反向代理到Tomcat服务器

    在实际生产中,Tomcat服务器一般不单独使用在项目中,对于静态资源的响应Nginx表现的比较好,另外由于nginx是专门用于反向代理的服务器,所以很容易实现将java的请求转发到后端交给tomcat ...

  4. 如果你修改了ashx.cs的命名空间

    如果你修改了ashx.cs的命名空间,记得要同时修改ashx的WebHandler的Class. 在解决方案资源管理器中右键,查看标记

  5. ecshop修改后台访问地址

    本文转自‘做个好男人’的博客. 打开data/config.php,找到define(’ADMIN_PATH’,’admin’),这里是定义后台目录的地方,把其中的admin换成你的后台自定义目录,如 ...

  6. ABAP 单位转换函数

    CALL FUNCTION 'UNIT_CONVERSION_SIMPLE'         EXPORTING           input                = wa_all-btg ...

  7. SQL中关于字符串的处理

    DECLARE @STR VARCHAR(MAX),@PRAM VARCHAR(20)SET @STR='中华人民共和国万岁'--字符串连接SET @STR=@STR+'an'+@STR --字符串拆 ...

  8. 【QT】C++ GUI Qt4 学习笔记2

    Go To Cell 利用QT Desinger做好界面后加入的代码有 gotocelldialog.h #ifndef GOTOCELLDIALOG_H #define GOTOCELLDIALOG ...

  9. 【编程题目】输入一个单向链表,输出该链表中倒数第 k 个结点

    第 13 题(链表):题目:输入一个单向链表,输出该链表中倒数第 k 个结点.链表的倒数第 0 个结点为链表的尾指针.链表结点定义如下: struct ListNode {int m_nKey;Lis ...

  10. 【ACM】hud1166 敌兵布阵(线段树)

    经验: cout 特别慢 如果要求速度 全部用 printf !!! 在学习线段树 内容来自:http://www.cnblogs.com/shuaiwhu/archive/2012/04/22/24 ...