我有一些不寻常的要求,变量应该始终在堆上而不是堆栈上。现在我尝试使用私有析构函数和类的静态方法执行此操作,该方法将简单地获取指针并对其调用 delete。
Class A
{
public :
static void method(const A* ptr)
{
delete ptr;
}
private :
~A();
};
但是现在我只是好奇看到更好的altrnative,我想到的一件事是,如果我可以为每个方法添加一些预检查以查看哪个变量在堆栈上还是堆上,那么我就不必声明静态方法。谁能告诉我怎么做?我刚刚想到了一个解决方案,即使用 sbrk(0) 或 pthread API 获取当前堆栈的边界,然后将其与类变量的地址进行比较,但不可移植。
谢谢尼拉吉·拉蒂
实际上,您的解决方案不起作用。
using Buffer = std::aligned_storage<sizeof(A), alignof(A)>::type;
int main() {
// Allocate scratch area to build a 'A'
Buffer buffer;
// Build a 'A' using placement new
new (&buffer) A();
// Ensure proper deletion at end of scope using `unique_ptr`
// and a custom deleter (and cast to `A*` as we go).
std::unique_ptr<A, A::method> a(reinterpret_cast<A*>(&buffer));
a->method(0);
// ...
}
因此,除了防止任意破坏之外,您还需要防止任意构造(包括复制构造和移动构造)。您可以将赋值保留为公共状态,因为它分配给现有对象,并且通过控制构造,您可以确保所有现有对象都放置在您希望它们放置的位置。