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

问题描述-阻止对象的拷贝

现实生活中的房产中介卖房子,一个服务于这个中介的软件系统很自然的会有一个表示要被销售的房屋的类:

1 class HomeForSale { ... };

每个房产中介会立刻指出来,要销售房屋的每个属性都是唯一的,没有两个完全一样的房屋。在这种情况下,拷贝一个HomeForSale对象就没有任何意义了。你在怎么能拷贝一些独一无二的东西呢?因此你可能会尝试,如果有拷贝HomeForSale对象的函数,代码将不能够通过编译。

 1 HomeForSale h1;
 2 
 3 HomeForSale h2;
 4 
 5 HomeForSale h3(h1); // attempt to copy h1 — should
 6 
 7 // not compile!
 8 
 9 h1 = h2; // attempt to copy h2 — should
10 
11 // not compile!

阻止这样的编译不是简简单单能够做到的。在通常情况下,如果你不想一个类支持特定类别的函数,你只要不声明这个函数就可以了。但是这个策略对拷贝构造函数和拷贝赋值运算符来说就不工作了,因为正如Item5指出的:如果你没有声明这两个函数的情况下,如果一些人尝试去调用它们,编译器会自动声明它们。

你遇到麻烦了,如果你没有声明拷贝构造函数或者拷贝赋值运算符,编译器会为你生成。你的类于是会支持拷贝。如果你声明了它们,你的类还是会支持它们。但是你的目标是阻止拷贝!

阻止对象拷贝方法一-将拷贝构造函数和赋值运算符声明为private,并且不去实现它们

 解决方案的关键在于所有编译器生成的函数都是public的。为了阻止这些函数被生成,你必须自己声明它们,但是不需要你将它们声明成public的。而是把拷贝构造函数和拷贝赋值运算符声明成private。通过显示的声明一个函数,就会阻止编译器生成它们自己的版本,同时,通过将函数声明成private,你也能够阻止人来调用它们。

这个方法不是十分安全的,因为类成员函数和友元函数仍然能够访问你的私有函数。除非你够聪明而不去定义这些函数。这样如果有人无意调用它们,就会得到一个链接错误。将函数声明成private而不去定义它的诡计如此被大家接受,它常常用在c++ 的iostreams库中,用于阻止类对象之间的拷贝。你可以看一下,在你的标准库的实现中,ios_base,basic_ios和sentry的定义处。你就会发现在每种情况中,拷贝构造函数和拷贝赋值运算符都被声明成private的并且没有被定义。

将这个伎俩用于HomeSale很简单:

 1 class HomeForSale {
 2 
 3 public:
 4 
 5 ...
 6 
 7 private:
 8 
 9 ...
10 
11 HomeForSale(const HomeForSale&); // declarations only
12 
13 HomeForSale& operator=(const HomeForSale&);
14 
15 };

 你会发现这里我将函数的参数省略掉了。这不是必须的,只是一个约定俗成的东西。毕竟,这个函数永远不会被实现,更不用说被使用了,因此指定函数参数没有什么用处。

使用上面的类定义,编译器就会阻止客户端尝试拷贝HomeForSale对象,如果你无意的在一个成员函数或者友元函数中这么做了,连接器会发出抱怨。

阻止对象拷贝方法二-将函数的私有声明提到特定基类

  

将拷贝构造函数和拷贝赋值运算符声明为private的位置由HomeForSale类替换为一个专门设计的基类,同样能够阻止拷贝,并且可以将链接才能发现的错误移动到在编译期就能够发现(这是好事,早点发现错误比晚发现要好)。

 1 class Uncopyable {
 2 
 3 protected: // allow construction
 4 
 5 Uncopyable() {} // and destruction of
 6 
 7 ~Uncopyable() {} // derived objects...
 8 
 9 private:
10 
11 Uncopyable(const Uncopyable&); // ...but prevent copying
12 
13 Uncopyable& operator=(const Uncopyable&);
14 
15 };

为了阻止HomeForSale被拷贝,我们需要做的是继承Uncopyable.

1 class HomeForSale: private Uncopyable { // class no longer
2 
3 ... // declares copy ctor or
4 
5 }; // copy assign. Operator

这个方法也是行得通的,因为编译器会尝试生成一个拷贝构造函数和一个拷贝赋值运算符如果任何人(包括成员函数或者友元函数)尝试拷贝一个HomeForSale对象。在Item12中解释到,这些函数的编译器生成版本会调用基类的对应的部分,这样调用就会被拒绝,因为基类中的拷贝操作都是private的。

Uncopyable的一些使用和实现有一些微妙的地方,像从Upcopyable继承不必是public继承(Item32和Item39)Uncopyable的析构函数不必是虚函数。因为Uncopyable没有包含任何数据,因此符合Item39描述的,它是进行空基类优化(empty base class optimization)的合格者.一般来说,你可以忽略这些微妙之处,按照展示的使用就可以了,它会恰到好处的工作。你也可以使用Boost库中的版本,名字叫做noncopuable。这是一个很好的类,只是名字看上去不太自然。

原文地址:https://www.cnblogs.com/harlanc/p/6392436.html