六、若不想使用编译器自动生成的函数,就该明确拒绝
前一节讲过,如果代码中没有声明,编译器会自动生成一个析构函数,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