我有一个类,我希望能够在其中设置一个标志,说明它是否是堆分配的,这样它就可以正确地清理自己,而不是在堆栈上尝试删除自己。问题是……我似乎无法同时覆盖 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
。有什么办法吗?
最佳答案
它不会按预期工作:
new 运算符返回初始化内存给构造函数。
您 - 正确地 - 执行 String8* string = (String8*)malloc(size);
,但是 *string
,在这个阶段还不是 String8 对象:它只是将包含它的内存块。
所以 string->isHeapAllocated = true;
实际上在一个尚未构造的对象(即 UB)中设置了一个标志。
承认这一点不会危及操作系统进程,这样程序就不会崩溃(你写的内存已经属于你了,毕竟......),当你稍后做一些像 String8* ptr = new String8;
,在 new 返回后,将调用 String8::String8 构造函数,并且该成员将独立于您在 new 运算符重载中所做的操作而设置回“false”。
管理 C++ 对象的惯用方法是让分配者负责释放。 (如果“谁”是堆栈,它只是根据定义这样做)。
关于c++ - 检测堆栈或堆分配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15855979/