c++ - 在 C++ 中确定对象是否动态分配

Question

我有一个简单的 C++ 类，我需要知道在我的程序中的某个点是否应该删除一个对象。该机制应该可以跨平台和现代 C++ 编译器移植。

我能想到的一种方法是:有一个成员字段，它不是由构造函数初始化的，而是由重载的 operator new 分配的，如下所示:

class message
{
protected:
    int id;
    bool dynamic;
public:
    message(int _id): id(_id)
    {
        // don't touch `dynamic` in the constructor
    }

    void* operator new(size_t size)
    {
        message* m = (message*)::operator new(size);
        m->dynamic = true;
        return m;
    }

    void operator delete(void* m)
    {
        if (((message*)m)->dynamic)
            ::operator delete(m);
    }
};

除了“感觉”不对，这个方法还有什么问题？

编辑: 应该提到该对象要么是动态的要么是静态的(并且绝不是堆栈本地的)，因此可以保证用 new 清零或初始化。

Answer 1

构造函数需要将 dynamic 设置为 false，然后您需要一个静态方法而不是覆盖 new，例如:

static message *createMessage(int _id)
{
    message *ret = new message(_id);
    ret->dynamic = true;
    return ret;
}

然后调用该方法而不是 newing message。