C++中如何确保类静态方法生成的对象指针被自动释放？

针对你遇到的手动释放指针容易遗漏的问题，以下是几种实用的解决方案，无需手动调用delete即可确保内存被正确回收：

1. 使用智能指针替代裸指针（最推荐的方案） #

C++11及以后的智能指针可以自动管理对象生命周期，完全避免手动delete的麻烦。只需修改静态方法的返回类型，并给基类添加虚析构函数（确保派生类对象能被正确销毁）：

#include <memory>

// 抽象基类：必须添加虚析构函数
class Expression{
public:
    virtual ~Expression() = default;
};

class Scaler: public Expression{
public:
    float value;

    Scaler(float _value) : value(_value){};

    static std::unique_ptr<Expression> from(float value) {
        return std::make_unique<Scaler>(value);
    }
    // 修正原zero方法的冗余参数
    static std::unique_ptr<Expression> zero() {
        return from(0);
    }
};

使用时无需手动释放：

auto num1 = Scaler::zero();
auto num2 = Scaler::from(69.0f);
// 智能指针会在离开作用域时自动销毁对象，释放内存

2. 工厂模式结合对象池（适合频繁创建销毁的场景） #

如果需要反复创建Expression派生类对象，可以用对象池复用实例，统一管理所有对象的生命周期：

#include <vector>
#include <memory>

class ExpressionPool {
private:
    std::vector<std::unique_ptr<Expression>> pool;
public:
    Scaler* get_scaler(float value) {
        auto scaler = std::make_unique<Scaler>(value);
        Scaler* ptr = scaler.get();
        pool.push_back(std::move(scaler));
        return ptr;
    }

    Scaler* get_zero_scaler() {
        return get_scaler(0);
    }

    // 手动清空所有对象
    void clear() {
        pool.clear();
    }

    // 析构时自动清空池内所有对象
    ~ExpressionPool() {
        clear();
    }
};

使用方式：

ExpressionPool pool;
Scaler* num1 = pool.get_zero_scaler();
Scaler* num2 = pool.get_scaler(69.0f);
// 无需手动释放，pool销毁时会自动回收所有对象

3. 统一对象管理器（兼容旧代码的过渡方案） #

如果暂时无法改用智能指针，可以实现一个管理器类来持有所有动态生成的指针，统一销毁：

#include <vector>

class Expression{
public:
    virtual ~Expression() = default;
};

class ExpressionManager {
private:
    std::vector<Expression*> objects;
public:
    void add(Expression* obj) {
        objects.push_back(obj);
    }

    void destroy_all() {
        for(auto obj : objects) {
            delete obj;
        }
        objects.clear();
    }

    ~ExpressionManager() {
        destroy_all();
    }
};

使用方式：

ExpressionManager manager;
Expression* num1 = Scaler::zero();
manager.add(num1);
Expression* num2 = Scaler::from(69.0f);
manager.add(num2);
// manager销毁时会自动调用delete释放所有添加的对象

内容的提问来源于stack exchange，提问作者啊鹿Dizzyi