基类析构时避免调用虚函数，如何正确释放派生类关联内存？

问题场景 #

现有基类Base包含void* V成员，三类派生类A/B/C分别为V分配不同类型的堆内存（int、double、int[4]）。要求：

• 无需用户在每个派生类析构函数中手动释放V，避免疏漏
• 基类析构时无法调用虚函数（派生类部分已销毁，虚函数表切换）
• 不额外添加_type成员（避免内存占用及手动填充）

可行方案 #

方案1：CRTP模板基类封装释放逻辑 #

通过模板基类自动处理V的释放逻辑，用户仅需继承对应模板类，无需编写析构或释放代码。

代码实现

class Base {
public:
    void* V;
    virtual ~Base() = default;
};

// 模板基类，根据类型和是否为数组确定释放方式
template<typename T, bool IsArray = false>
class AutoReleaseBase : public Base {
public:
    ~AutoReleaseBase() override {
        if constexpr (IsArray) {
            delete[] static_cast<T*>(V);
        } else {
            delete static_cast<T*>(V);
        }
    }
};

// 派生类仅需继承对应模板并分配V
class A : public AutoReleaseBase<int> {
public:
    A() {
        V = new int;
    }
};

class B : public AutoReleaseBase<double> {
public:
    B() {
        V = new double;
    }
};

class C : public AutoReleaseBase<int, true> {
public:
    C() {
        V = new int[4];
    }
};

原理说明

• 析构顺序：删除Base*指针时，先执行最派生类的默认析构，再执行AutoReleaseBase的析构，最后执行Base的析构
• 模板基类的析构函数在编译期确定释放方式（delete或delete[]），直接调用对应逻辑，无需依赖虚函数
• 无额外内存开销，无需手动维护类型标记

方案2：替换void*为std::variant+智能指针（类型安全） #

若允许修改Base的V成员类型，使用std::variant存储不同类型的智能指针，完全由智能指针自动管理内存。

代码实现

#include <variant>
#include <memory>

class Base {
public:
    // 用variant存储不同类型的智能指针
    using VType = std::variant<std::unique_ptr<int>, std::unique_ptr<double>, std::unique_ptr<int[]>>;
    VType V;
    virtual ~Base() = default; // 智能指针自动释放内存
};

class A : public Base {
public:
    A() : V(std::make_unique<int>()) {}
};

class B : public Base {
public:
    B() : V(std::make_unique<double>()) {}
};

class C : public Base {
public:
    C() : V(std::make_unique<int[]>(4)) {}
};

原理说明

• std::unique_ptr自动管理堆内存，析构时自动释放
• std::variant存储不同类型的智能指针，其析构会调用对应unique_ptr的析构函数
• 完全消除手动释放的需求，类型安全，避免void*的类型转换风险

方案选择 #

• 若必须保留void*成员，优先选择方案1，无额外内存开销，用户代码极简
• 若允许修改V的类型，优先选择方案2，类型安全，内存管理更可靠

内容的提问来源于stack exchange，提问作者Nekomiya Kasane