面试题解析 | C++空类的默认成员函数（附生成条件与底层原理）
在C++面试中，“空类默认生成哪些成员函数”是考察对象模型和编译器行为的高频题目。许多资料仅提及前4个函数，但完整的答案应包含6个核心函数，并结合C++标准深入解析其生成规则与使用场景。
一、空类默认生成的6大成员函数
1. 缺省构造函数
原型：ClassName()
触发条件：通过ClassName obj;声明对象时自动生成。若用户显式定义其他构造函数（如拷贝构造），编译器不再生成默认版本。
底层行为：对空类无实际初始化操作，仅分配内存。
2. 缺省拷贝构造函数
原型：ClassName(const ClassName&)
触发条件：对象拷贝初始化（如ClassName obj2 = obj1;）。
默认行为：浅拷贝所有非静态成员变量（空类无实际效果）
风险：若类含指针成员，需手动实现深拷贝以避免重复释放。
3. 缺省析构函数
原型：~ClassName()
触发条件：对象生命周期结束（如局部对象离开作用域）。
关键点：若类管理动态资源（如new内存），必须显式重写析构函数
4. 缺省赋值运算符
原型：ClassName& operator=(const ClassName&)
触发条件：对象赋值操作（如obj2 = obj1;）。
与拷贝构造的区别：作用于已存在的对象，而非新对象初始化
5. 缺省取址运算符
原型：ClassName* operator&()
作用：返回对象的地址（等价于return this;）。
示例：
Empty obj;
Empty* p = &obj; // 调用默认取址运算符[6,10](@ref)6. 缺省取址运算符 const
原型：const ClassName* operator&() const
作用：返回const对象的地址，用于const对象调用场景
二、编译器行为与生成规则
1. 按需生成机制
所有默认函数仅在第一次被调用时生成，而非声明类时立即生成
例如：
class Empty {};
Empty e1; // 触发缺省构造函数生成
Empty e2 = e1; // 触发拷贝构造函数生成2. 覆盖规则
若用户显式定义任意成员函数（如拷贝构造），编译器不再生成对应的默认版本
例如：
class Empty {
public:Empty(const Empty&) {} // 显式定义拷贝构造
};
Empty e1; // 错误！缺省构造函数未生成3. 空类内存布局
即使没有成员变量，编译器仍为每个对象分配1字节占位符，确保地址唯一性
class Empty {};
cout << sizeof(Empty); // 输出1三、常见面试扩展问题
1. 为什么取址运算符容易被忽略？
- 历史原因：早期C++标准（C++03）未明确要求生成，部分书籍未提及
- 隐式调用：取址操作通常无需显式重载，开发者感知度较低。
2. C++11新增的移动语义
从C++11起，空类还会生成移动构造函数和移动赋值运算符，但需满足以下条件：
- 用户未显式定义拷贝构造、析构函数等
- 移动语义通过右值引用（
ClassName&&）触发，避免深拷贝开销
3. Rule of Three/Five/Zero原则
- Rule of Three：若自定义析构函数、拷贝构造或拷贝赋值，需同时定义三者（避免资源泄漏）。
- Rule of Five（C++11+）：扩展至包含移动构造和移动赋值
- Rule of Zero：优先使用智能指针等RAII机制，避免手动管理资源
四、总结
| 成员函数 | 触发场景 | C++标准支持 |
|---|---|---|
| 缺省构造函数 | 无参对象构造 | C++98+ |
| 缺省拷贝构造函数 | 对象拷贝初始化 | C++98+ |
| 缺省析构函数 | 对象销毁 | C++98+ |
| 缺省赋值运算符 | 对象赋值操作 | C++98+ |
| 缺省取址运算符 | 取非const对象地址 | C++98+ |
| 缺省取址运算符 const | 取const对象地址 | C++98+ |
面试回答技巧：
“C++空类默认生成6个成员函数：缺省构造、拷贝构造、析构、赋值运算符，以及两个取址运算符。这些函数仅在首次使用时由编译器隐式生成，且均为
public和inline。若用户显式定义任意函数，编译器将不再生成对应默认版本。需特别注意，C++11后新增的移动语义相关函数（移动构造/赋值）也属于默认生成范畴，但仅在满足特定条件时触发。”
【C语言】零基础到项目实战
【C语言/C++】零基础到项目实战
初学者营地：1021486511