c++ - 检测堆栈或堆分配

Question

我有一个类，我希望能够在其中设置一个标志，说明它是否是堆分配的，这样它就可以正确地清理自己，而不是在堆栈上尝试删除自己。问题是……我似乎无法同时覆盖 new 和构造函数。所以它从设置 isHeapAllocated 标志的 new 重载开始，然后进入重置标志的构造函数。

void* String8::operator new(size_t size)
{
    String8* string = (String8*)malloc(size);
    if(string == null)
        Exception("allocation fail : no free memory");
    string->isHeapAllocated = true;
    return string;
}

String8::String8() 
{
    isHeapAllocated = false;
}

因此 new String8() 设置了 isHeapAllocated 标志，然后将其重置为 false。有什么办法吗？

Answer 1

它不会按预期工作:

new 运算符返回初始化内存给构造函数。您 - 正确地 - 执行 String8* string = (String8*)malloc(size);，但是 *string，在这个阶段还不是 String8 对象:它只是将包含它的内存块。

所以 string->isHeapAllocated = true; 实际上在一个尚未构造的对象(即 UB)中设置了一个标志。

承认这一点不会危及操作系统进程，这样程序就不会崩溃(你写的内存已经属于你了，毕竟......)，当你稍后做一些像 String8* ptr = new String8;，在 new 返回后，将调用 String8::String8 构造函数，并且该成员将独立于您在 new 运算符重载中所做的操作而设置回“false”。

管理 C++ 对象的惯用方法是让分配者负责释放。(如果“谁”是堆栈，它只是根据定义这样做)。