空类默认隐式声明的成员函数

        最近在论坛上发现的问题，改变了我以前在这方面的错误看法，跟大家分享一下。

据说这个问题在面试中被问到的机率比较高，幸运的是我好像没有碰到过。

一般流行的看法是：

class Empty{}; 

相当于：

class Empty 
{ 
public: 
    Empty(); 
    Empty(const Empty&); 
    ~Empty(); 
    Empty& operator=(const Empty& rhs); 
    Empty* operator&(); 
    const Empty* operator&() const; 
}; 

        结合ISO/IEC 14882:2003(E)中12 Special member functions章节的描述，可以确定的是

默认构造函数 拷贝构造 析构 operator=是隐式声明的。Empty* operator&()和const Empty* operator&() const; 是不会隐式声明的。

        关于错误的来源是侯捷翻译的中文简体《Effective c++, 2nd》

        条款45: 弄清C++在幕后为你所写、所调用的函数
一个空类什么时候不是空类？ ---- 当C++编译器通过它的时候。如果你没有声明下列函数，体贴的编译器会声明它自己的版本。这些函数是：一个拷贝构造函数，一个赋值运算符，一个析构函数，一对取址运算符。另外，如果你没有声明任何构造函数，它也将为你声明一个缺省构造函数。所有这些函数都是公有的。换句话说，如果你这么写：

class Empty{};

和你这么写是一样的：

class Empty {
public:
  Empty(); 
  Empty(const Empty& rhs); 
  ~Empty();
  Empty& operator=(const Empty& rhs);
  Empty* operator&();
  const Empty* operator&() const;
};

        对于这个问题，早有读者向书的作者Scott Meyers提出了疑问，Scott Meyers也认为上边的答案是有问题的。
下面是作者对于这个问题的解释：

! 2/10/00 ic 212 A class declaring no operator& function(s) 9/10/01

  cxh 213 does NOT have them implicitly declared. Rather,

  245 compilers use the built-in address-of operator

  246 whenever "&" is applied to an object of that

  type. This behavior, in turn, is technically

  not an application of a global operator&

  function. Rather, it is a use of a built-in

  operator.

至此相信读者心中已经有答案了吧。