最近在论坛上发现的问题,改变了我以前在这方面的错误看法,跟大家分享一下。
据说这个问题在面试中被问到的机率比较高,幸运的是我好像没有碰到过。
一般流行的看法是:
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》
一个空类什么时候不是空类? ---- 当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
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.
至此相信读者心中已经有答案了吧。