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

2017-02-27 10:22:10来源:http://www.jianshu.com/p/d20305abd10c作者:容我三思兮人点击

Item 06:Explicitly disallow the use of compiler-generated functions you do not want.


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&);
};

有了上述实现,当客户企图拷贝对象时,编译器会阻挠他;如果不小心在成员函数或友元函数中调用,则轮到连接器来阻挠了。


这种方法很像一个虚职的官员,挂着职位,又没有实权。


另一种实现

能不能将连接期错误移至编译器呢?(越早发现问题就越好,这样才能你好我好大家好)。当然是可以的,只要将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也是一种做法。



Effective C++

微信扫一扫

第七城市微信公众平台