effective C++ 读后感（六）若不想使用编译器自动生成的函数，就该明确拒绝

最新推荐文章于 2025-07-27 19:04:17 发布

原创最新推荐文章于 2025-07-27 19:04:17 发布 · 552 阅读

0 ·

CC 4.0 BY-SA版权

本文详细介绍了如何在C++中通过将析构函数、复制构造函数、复制赋值运算符声明为private来自定义类的行为，以避免编译器自动生成这些函数。并通过定义基类的方式进一步限制类的功能。

六、若不想使用编译器自动生成的函数，就该明确拒绝

前一节讲过，如果代码中没有声明，编译器会自动生成一个析构函数，copy构造函数，copy assignment操作符和一个无参数的构造函数，而有些时候，我们并不希望某个类具有全部（或部分）这些功能。如对于一些独一无二的对象（如房子），我们不希望它能被赋值或拷贝，该怎么办呢？这似乎出现了矛盾，一方面，如果不想让编译器生成这些函数，需要在代码中将这些函数显示声明出来，而我们恰恰不希望类有这样的功能！其实并不是这样，在前一节里，我们也可以看出来，问题关键在于编译器自动生成的这些函数都是public的，如果我们在代码中将其声明为private的，问题基本上就解决了。

为什么说是“基本上”解决呢？不要忘了还有友元函数和成员函数还是可以调用它们的。所以，真正的解决方法有两个：

一、将这些方法声明为private，而且不实现它。那么当成员函数或友元函数调用这些方法时，虽然在编译时期查不出错误，但在链接时期会出错。

二、如果希望都在编译时期就能查出错误（毕竟越早发现错误越好），则可以定义一个基类，将这此方法声明为private的，让那些不想编译器生成这些方法的类都继承自这个类。如，我们希望一个类A不能被复制（即不希望编译器自动生成copy构造函数和 copy assignment操作符，可以定义一个Uncopyable类如下：

#include <iostream>
using namespace std;

class Uncopyable {
public:
	Uncopyable(){}
	~Uncopyable(){}
private:
	Uncopyable(const Uncopyable &);
	Uncopyable& operator=(const Uncopyable &);
};

class A: public Uncopyable {

};

这样，就算是A的成员函数和友元函数都不能复制A的对象了。

在Boost中的noncopyable就是这样实现的：

#ifndef BOOST_NONCOPYABLE_HPP_INCLUDED
#define BOOST_NONCOPYABLE_HPP_INCLUDED

namespace boost {

//  Private copy constructor and copy assignment ensure classes derived from
//  class noncopyable cannot be copied.

//  Contributed by Dave Abrahams

namespace noncopyable_  // protection from unintended ADL
{
  class noncopyable
  {
   protected:
      noncopyable() {}
      ~noncopyable() {}
   private:  // emphasize the following members are private
      noncopyable( const noncopyable& );
      const noncopyable& operator=( const noncopyable& );
  };
}

typedef noncopyable_::noncopyable noncopyable;

} // namespace boost

#endif  // BOOST_NONCOPYABLE_HPP_INCLUDED