C++如何拒绝对象的copy


<Effective C++>中的一个条款，如果是想要阻止一个对象的复制或是copy assignment操作应该怎么做呢？
 
class HomeForSale {};
 
HomeForSale h1;
 
HomeForSale h2;
 
HomeForSale h3(h1);      //企图调用h3的copy构造函数克隆出一份h1
 
h1 = h2;                          //企图调用copy assignment操作将h2对象完好的赋值给h1
 
以上两个例子均是对一个对象的复制或是赋值，两者说法不同，语法不同，调用时机不同，但是内部实现却是差不多的。如题，我们要避免的就是以上这两种例子的出现。
 
想要阻止这一类代码的编译不是很直观的事情，通常来说，我们不想让对象有某个操作，就不要声明与实现相应的函数就是了，这对一般的函数来说确实是可以的，但是我们要阻止的两个函数有一些特殊。这两个函数即使我们不显示的声明与实现，只要我们的代码在执行时有这两个中的一个需求，编译器都会为我们实现一份编译器版本。如何是好呢？
 
答案是：编译器为用户自动生成的函数均为public函数，我们可以显示的将这两个函数声明为private，又因为我们不会去调用他们，所以只是将他们声明为private，而不去实现他们。这么做就达到了两个目的：1显示的声明为private，编译器得知用户手动的声明的函数，就不会再自作主张为我们创建编译器版本了，也就不会有public相应函数了。2不实现，因为我们并不会去调用他们，所以实现了反而是画蛇添足了。
 
类的成员函数或是类的友元函数都有权利去访问类的私有域，但是这时候调用他们的话，会收到一个链接错误，因为我们并没有实现出这两个函数。我们能做的就是，尽可能的避免调用他们了。

C++ Primer Plus 第6版 中文版 清晰有书签PDF+源代码

读C++ Primer 之构造函数陷阱

读C++ Primer 之智能指针

读C++ Primer 之句柄类
 
这样子一来，我们前面的那几句代码：
 


HomeForSale h1;            //没有可用的构造函数
 
HomeForSale h2;            //同上
 
HomeForSale h3(h1);      //企图调用h3的copy构造函数克隆出一份h1，私有函数无法调用
 
h1 = h2;                          //企图调用copy assignment操作将h2对象完好的赋值给h1，私有函数无法调用
 

 

将链接期错误转到编译期是可行的，就是设计基类。
 
class Uncopyable
 {
 protected:
 Uncopyable() {}
 ~Uncopyable() {}  //即使是基类也没有将其析构函数设计为virtual，是这里没有动态释放对象的需求。
 private:
 Uncopyable(const Uncopyable &c);
 Uncopyable& operator= (const Uncopyable &c);
 };
 
class HomeForSale:public Uncopyable
 {
 //这时候类中就不需求声明copy构造函数，和copy assignment操作符了
 };
 

这里即使是成员函数或是友元函数尝试拷贝HomeForSale，编译器便试着生成一个copy构造函数或是copy assignment操作符，会去调用其基类的相应函数，因为基类中是private，所以编译器生成失败。抛出编译期错误，及早的发现了问题。

本文永久更新链接地址：

相关内容