您的位置:首页 > 其它

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

2016-04-26 13:43 316 查看
Item 06:Explicitly disallow the use of compiler-generated functions you do not want.

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也是一种做法。

内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: