编译器隐式生成的特殊成员函数

在 C++ 中，如果程序员没有显式声明某些特定函数，编译器会自动为类生成这些函数。这些函数包括默认构造函数、拷贝构造函数、拷贝赋值运算符以及析构函数。这种行为是默认的，意味着即使类体为空，编译器也会合成这些成员函数以确保对象可以被创建、复制和销毁。

class Component {
public:
    // 编译器会自动生成以下函数：
    // Component();
    // Component(const Component&);
    // Component& operator=(const Component&);
    // ~Component();
};

禁止编译器合成特定函数的策略

有时，类的语义不允许被复制（例如单例模式或资源独占对象）。在这种情况下，必须明确阻止编译器生成拷贝构造函数和拷贝赋值运算符。传统做法是将这些函数声明为私有成员且不给予实现。这样，任何试图调用这些函数的外部代码或友元函数都会导致链接错误。

class ExclusiveLicense {
public:
    ExclusiveLicense() {}
private:
    // 声明为私有且不实现，阻止拷贝
    ExclusiveLicense(const ExclusiveLicense&);
    ExclusiveLicense& operator=(const ExclusiveLicense&);
};

另一种更通用的方法是设计一个不可拷贝的基类，让需要禁止拷贝的类继承自该基类。这样可以将禁止拷贝的逻辑复用。

多态基类中虚析构函数的必要性

如果一个类打算作为基类使用，并且希望通过基类指针操作派生类对象（即多态），那么该基类必须声明虚析构函数。如果基类析构函数非虚，当通过基类指针删除派生类对象时，只会调用基类的析构函数，派生类部分的资源将无法释放，从而导致内存泄漏。

判断准则：如果类包含任何虚函数，它通常应该拥有虚析构函数。反之，如果类不作为基类使用，无需虚析构函数，以免增加对象 size 开销。

class NetworkNode {
public:
    virtual ~NetworkNode() {} // 虚析构函数确保派生类资源被释放
};

class Router : public NetworkNode {
public:
    ~Router() override {
        // 清理 Router 特有的资源
    }
};

void cleanup() {
    NetworkNode* node = new Router();
    delete node; // 正确调用 Router::~Router() 然后 NetworkNode::~NetworkNode()
}

析构函数中的异常处理机制

析构函数绝对不应该抛出异常。如果在栈展开过程中（例如容器销毁元素时），某个对象的析构函数抛出异常，而此时已有另一个异常在处理中，程序将直接终止（std::terminate）。因此，析构函数必须捕获所有潜在异常，并将其吞下或记录日志，绝不能传播出去。

如果某个操作可能失败并抛出异常，应提供普通成员函数供客户端调用，而不是在析构函数中执行该操作。

class SessionManager {
public:
    ~SessionManager() {
        try {
            closeSession();
        } catch (...) {
            // 记录日志但不抛出异常
            logError("Session close failed");
            // 可选：std::abort();
        }
    }
private:
    void closeSession() {
        // 可能抛出异常的操作
    }
};

更好的设计是提供显式的 close 接口，让客户端决定如何处理异常，析构函数仅作为最后的保障措施。

构造与析构期间调用虚函数的风险

在构造函数或析构函数执行期间，不要调用虚函数。因为在这一阶段，派生类的部分尚未初始化或已经销毁，虚函数调用不会动态绑定到派生类的版本，而是解析为基类的版本。这通常不符合预期，且可能导致访问未初始化的成员变量。

解决方案是将虚函数改为非虚函数，并通过构造函数参数将派生类所需的信息传递给基类。

class AuditTrail {
public:
    explicit AuditTrail(const std::string& info) {
        logEvent(info); // 调用非虚函数，安全
    }
private:
    void logEvent(const std::string& info) const {
        // 记录日志
    }
};

class PurchaseOrder : public AuditTrail {
public:
    PurchaseOrder() : AuditTrail(generateInfo()) {}
private:
    static std::string generateInfo() {
        // 生成日志信息，static 确保不依赖未初始化的成员
        return "Purchase Order Created";
    }
};

通过将日志信息作为参数传递给基类构造函数，避免了在基类构造期间调用派生类虚函数的问题，确保了对象状态的一致性。