- 正确答案：在C++中，当程序员定义一个空类（即不包含任何成员变量和显式声明的成员函数）时，编译器会自动为该类生成六个特殊成员函数。这些函数是： 1. 默认构造函数（Default Constructor） 2. 析构函数（Destructor） 3. 拷贝构造函数（Copy Constructor） 4. 拷贝赋值运算符（Copy Assignment Operator） 5. 移动构造函数（Move Constructor，C++11起） 6. 移动赋值运算符（Move Assignment Operator，C++11起）这些函数只有在首次被调用时才会被编译器隐式生成，并且是public、inline的。 - 解答思路：首先要理解C++的“特殊成员函数”机制。编译器为了保证类的基本操作语义完整，会在必要时自动生成一些函数。对于空类，虽然没有显式定义任何函数，但程序仍可能需要创建对象、销毁对象、复制对象等操作。因此，编译器提供默认实现来支持这些基本行为。回答时应明确指出是哪六个函数（尤其是C++11引入的移动语义带来的两个新函数），并说明它们的生成条件和访问属性。可进一步说明：如果程序员显式定义了其中某个函数，编译器将不再自动生成某些其他函数（如显式定义析构函数不会阻止默认构造函数生成，但显式定义拷贝构造会抑制拷贝赋值的隐式生成逻辑等，具体遵循“三法则”或“五法则”）。 - 深度知识讲解： 1. 特殊成员函数的作用与生成条件： - 默认构造函数：无参构造函数，用于创建对象实例。只有当类中没有用户定义的构造函数时，编译器才会生成。 - 析构函数：负责清理资源。若未定义，编译器生成一个默认析构函数，执行非虚拟的、空的析构动作（注意：不是虚函数，除非继承体系需要）。 - 拷贝构造函数：形如 `ClassName(const ClassName&)`，用于以另一个同类型对象初始化当前对象。 - 拷贝赋值运算符：`operator=(const ClassName&)`，用于对象之间的赋值操作。 - 移动构造函数：`ClassName(ClassName&&)`，通过右值引用接收临时对象资源，避免深拷贝。 - 移动赋值运算符：`operator=(ClassName&&)`，将临时对象的资源转移给当前对象。 2. 底层实现机制：编译器生成的这些函数通常是浅拷贝（shallow copy）。例如，默认拷贝构造函数只是逐字节复制所有成员变量的值。对于内置类型没问题，但对于指针成员可能导致多个对象共享同一块内存，造成重复释放等问题。示例：若类中有指针成员而未定义深拷贝逻辑，则使用默认拷贝构造函数会导致问题。 3. C++11 的变化：在C++11之前，只有前四个函数会被考虑。C++11引入右值引用和移动语义后，增加了移动构造和移动赋值。但如果用户定义了拷贝操作，编译器通常不会自动生成移动操作（出于安全考虑），反之亦然。规则总结（C++11及以后）： - 如果定义了析构函数、拷贝构造、拷贝赋值中的任意一个，编译器可能不会自动生成移动操作。 - 使用 `= default` 可强制要求编译器生成默认版本。 - 使用 `= delete` 可禁止生成某函数。 4. 内存布局与空类大小：尽管空类没有任何成员变量，但其大小不为0，而是1字节（典型实现）。这是为了确保每个对象都有唯一的地址，满足“不同对象地址不同”的语言要求。这个额外的字节由编译器插入（称为“占位字节”）。例如： ```cpp class Empty {}; cout << sizeof(Empty) << endl; // 输出 1 ``` 5. 相关规则：“三法则”与“五法则” - 三法则（Rule of Three）：如果一个类需要显式定义析构函数、拷贝构造函数、拷贝赋值运算符中的任何一个，那么它很可能也需要定义另外两个。 - 五法则（Rule of Five）：在C++11后扩展为包括移动构造和移动赋值运算符，共五个特殊成员函数都应被统一管理。 - 代码示例： ```cpp class Empty { // 编译器隐式生成以下全部六个函数 }; int main() { Empty e1; // 调用默认构造函数 Empty e2(e1); // 调用拷贝构造函数 Empty e3 = e1; // 拷贝构造（等价于上一行） e3 = e2; // 调用拷贝赋值运算符 Empty e4(std::move(e1)); // 调用移动构造函数 e4 = std::move(e2); // 调用移动赋值运算符 return 0; } ``` 若想查看哪些函数被调用，可以定义非空类并打印日志： ```cpp class Test { public: Test() { cout << "Default constructor\n"; } ~Test() { cout << "Destructor\n"; } Test(const Test&) { cout << "Copy constructor\n"; } Test& operator=(const Test&) { cout << "Copy assignment\n"; return *this; } Test(Test&&) { cout << "Move constructor\n"; } Test& operator=(Test&&) { cout << "Move assignment\n"; return *this; } }; ``` 即使什么都不写，编译器也会为 `Test` 类生成上述函数（除非被删除或禁用）。 - 扩展知识点： - 空基类优化（Empty Base Optimization, EBO）：C++标准允许编译器对继承的空基类进行空间优化，使得派生类不会因为继承空类而增加额外开销。例如： ```cpp class Empty {}; class Derived : public Empty { int x; }; ``` 此时 `sizeof(Derived)` 可能等于 `sizeof(int)`，而不是 `sizeof(int) + 1`，这依赖于编译器是否启用EBO。 - 显式控制生成方式： ```cpp class NoCopy { public: NoCopy() = default; NoCopy(const NoCopy&) = delete; NoCopy& operator=(const NoCopy&) = delete; }; ``` 上述代码禁止拷贝，提高安全性。综上所述，空类虽“空”，但编译器为其补充了完整的接口支持，理解这些隐式生成的函数对于掌握C++对象生命周期管理和资源管理至关重要。

岚图智驾C++一面面经

全站热榜

创作者周榜