C++ 空類預設隱式宣告的成員函數：哪些會生成、哪些不會

常見誤區

許多教材（包括《Effective C++》早期版本）聲稱空類：

class Empty {};

等價於：

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

標準真相（C++03 / C++11 確認）

根據 ISO/IEC 14882 §12「特殊成員函數」：

• 隱式宣告（隱式定義）的：
  • 預設建構函數
  • 拷貝建構函數
  • 拷貝賦值運算子
  • 解構函數
• 不會隱式宣告：
  • 取址運算子 operator&()（無論 const 或非 const）

編譯器直接使用內建取址運算子，而非產生成員函數。這不是全域 operator& 的應用，而是語言內建行為。

#include <iostream>
struct Empty {};
int main() {
    Empty e;
    std::cout << &e << '\n';  // 正常編譯，使用內建 operator&
    // Empty::operator&() 並不存在
}