Item 06: 若不想使用编译器自动生成的函数,就该明确拒绝
2016-04-26 13:43
316 查看
Item 06:Explicitly disallow the use of compiler-generated functions you do not want.
你可能会哈哈一笑,你是(si)不是(si)傻?不声明对象的功能函数不就行了。
但是,你这个策略对copy构造函数和copy assignment操作符却不起作用。因为你不声明它们,当客户尝试调用它们,编译器就会为你声明它们。你说怎么办?你不声明吧,编译器可能会为你生成一份,这就与你目的不符了;如果你声明了,这个类还是支持copying,还是与你的目的不符合,唉 怎么办呢?
答案的关键在于编译器产出的函数都是public。机智如你,你可能想到了,我把copy构造函数和copy assignment操作符声明为private不就可以了吗,这样既明确声明了一个成员函数,阻止了编译器为你偷偷创建,又使这些函数为private,从而可以阻止客户调用它。哈哈,你真是太机智了。
但是,类的其他成员函数和友元函数可以调用你的private函数。这该怎么办啊?感觉自己被逼到了悬崖边上。。。。。。
机智如你的你,想到了不去定义它们,如果有其他人不小心调用它们,就会获得一个连接错误。哈哈,完美!
“将成员函数声明为private而且故意不去实现它们”,这可真是高招啊,在我们的C++ iostream库中,阻止copying行为的方法就是这个方法。
有了上述实现,当客户企图拷贝对象时,编译器会阻挠他;如果不小心在成员函数或友元函数中调用,则轮到连接器来阻挠了。
这种方法很像一个虚职的官员,挂着职位,又没有实权。
为了阻止HomeForSale对象copy,我们唯一需要做的就是继承Uncopyable:
任何人——甚至是成员函数或友元函数,尝试copy HomeForSale对象,编译器便试着生成一个copy构造函数和copy assignment操作符,而这些函数的“编译器生成版本”会尝试调用其base class的对象函数,那些调用会被编译器拒绝,因为其base class的拷贝函数为private。
Boost库也提供了一个版本,那个class名为noncopyable。大家可以尝试使用一下。
使用像Uncopyable这样的base class也是一种做法。
1. private + 不予实现
假设你现在要实现一个类,你不想实现类中的某些功能,该怎么办?你可能会哈哈一笑,你是(si)不是(si)傻?不声明对象的功能函数不就行了。
但是,你这个策略对copy构造函数和copy assignment操作符却不起作用。因为你不声明它们,当客户尝试调用它们,编译器就会为你声明它们。你说怎么办?你不声明吧,编译器可能会为你生成一份,这就与你目的不符了;如果你声明了,这个类还是支持copying,还是与你的目的不符合,唉 怎么办呢?
答案的关键在于编译器产出的函数都是public。机智如你,你可能想到了,我把copy构造函数和copy assignment操作符声明为private不就可以了吗,这样既明确声明了一个成员函数,阻止了编译器为你偷偷创建,又使这些函数为private,从而可以阻止客户调用它。哈哈,你真是太机智了。
但是,类的其他成员函数和友元函数可以调用你的private函数。这该怎么办啊?感觉自己被逼到了悬崖边上。。。。。。
机智如你的你,想到了不去定义它们,如果有其他人不小心调用它们,就会获得一个连接错误。哈哈,完美!
“将成员函数声明为private而且故意不去实现它们”,这可真是高招啊,在我们的C++ iostream库中,阻止copying行为的方法就是这个方法。
class HomeForSale { public: ... private: ... HomeForSale(const HomeForSale&); // declarations only HomeForSale& operator=(const HomeForSale&); };
有了上述实现,当客户企图拷贝对象时,编译器会阻挠他;如果不小心在成员函数或友元函数中调用,则轮到连接器来阻挠了。
这种方法很像一个虚职的官员,挂着职位,又没有实权。
2. 继承Uncopyable
能不能将连接期错误移至编译器呢?(越早发现问题就越好,这样才能你好我好大家好)。当然是可以的,只要将copy构造函数和copy assignment操作符声明为private就可以办到,但不是在HomeForSale自身,而是专门为了阻止copying动作而设计的base class内。这个base class非常简单:class Uncopyable { protected: // 允许derived对象构造和析构 Uncopyable() {} ~Uncopyable() {} private: Uncopyable(const Uncopyable&); // 但阻止copying Uncopyable& operator=(const Uncopyable&); };
为了阻止HomeForSale对象copy,我们唯一需要做的就是继承Uncopyable:
class HomeForSale: private Uncopyable { // 不再声明copy构造函数和copy assignment操作符 ... };
任何人——甚至是成员函数或友元函数,尝试copy HomeForSale对象,编译器便试着生成一个copy构造函数和copy assignment操作符,而这些函数的“编译器生成版本”会尝试调用其base class的对象函数,那些调用会被编译器拒绝,因为其base class的拷贝函数为private。
Boost库也提供了一个版本,那个class名为noncopyable。大家可以尝试使用一下。
Note:
为了不使用编译器提供的机能,可以将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。
相关文章推荐
- flume 使用 spool source的时候字符集出错
- Newtonsoft.Json
- Linux下Keepalived 安装与配置
- SQLZOO(More JOIN operations)Writeup
- 我U盘中的efi manager
- iOS程序启动原理
- CentOS7.1上安装Apache + SVN
- ios导航栏透明
- 信长之野望
- APNs改动 (转)
- 使用JS遇到的问题点
- JavaScript 函数讲解
- 002-storm基本概念
- String类中常用方法归纳
- 百度云盘资料查询地址
- PHP学习04----PHP代码标记风格
- concurrent之BlockingQueue
- django admin site override save_model
- UITableView总结
- Android中的安全与访问权限控制