如何知道对象的创建是堆还是不堆？
我们希望在低延迟系统上工作，堆分配在应用程序中成本较高。 但是在某种程度上允许在堆上创建对象。 这就是为什么我们想要指示对象是否被创建在堆上？
下面的方法是找到在堆内存上创建的对象的正确方法。
将有新的泛型类和删除操作符被重载，以维持堆分配指针....
#include <iostream>
#include <set>
using namespace std;
class MemStat //base class
{
typedef set<MemStat*> POINTERS;
static POINTERS m_ptrlist;
public:
void* operator new (size_t size)
{
MemStat* ptr = ::new MemStat;
m_ptrlist.insert(ptr);
return ptr;
}
void operator delete(void* dptr)
{
MemStat* ptr = static_cast<MemStat*>(dptr);
m_ptrlist.erase(ptr);
::delete ptr;
}
// void* operator new[] (size_t sz);
// void operator delete[] (void*);
bool is_on_heap() { m_ptrlist.find(this) != m_ptrlist.end(); }
protected: // ctor & dtor are protected for restrictions
MemStat() { }
virtual ~MemStat() { }
MemStat(const MemStat&) { }
const MemStat& operator=(const MemStat& ) { return *this; }
};
MemStat::POINTERS MemStat::m_ptrlist;
对于我们需要检查堆创建的最终用户类将从MemStat类派生，并在实例化基类对象时使用new＆delete操作符调用。
class MyClass : public MemStat //end user class
{
};
int main()
{
MyClass* myptr = new MyClass;
MyClass obj;
cout << myptr->is_on_heap() << endl; //results into yes
cout << obj.is_on_heap() << endl; //reults into no
delete myptr;
}
请注意，只要MyClass对象是另一个可能或不可能动态分配的对象（继承或包含）的子对象，您的方案就会失败。 （而且我知道防止动态分配的技巧也会失败。）
所以你所做的只是进一步减慢堆分配而没有获得太多。 除少数非常少见的情况外，分配对象是您的课程用户决定的。
如果他们认为他们需要动态分配一个，你不同意谁？