放置上的析构函数 - 新

destructor on placement-new

本文关键字：析构函数      更新时间：2023-10-16

是否有一种模式可以在堆栈上自动调用放置新初始化对象的析构函数，当它退出作用域时？我想跳过记忆来显式调用析构函数的需要。或者，是否有与放置-new不同的方法来构造具有可变大小data[]尾巴的基于堆栈的对象？我使用 g++。

/* g++ f.cpp -o f.exe */
/* 8< --- f.cpp ----  */
#include <stdio.h>
#include <stdlib.h> 
#include <string>
class aclass {
public:
aclass(int size) : size_(size) {};
~aclass() { /* do something */ };
int size_;
char data[0];
};
void f(int size)
{
char v[sizeof(aclass) + size];
aclass *p = new(static_cast<void*>(&v)) aclass(size);
p->~aclass();
}
int main(int argc, char **argv)
{
f(10);
f(100);
return 0;
}

您可以像这样创建一个包装类：

template <typename T>
class Foo {
private:
T *m_ptr;
public:
Foo(void *area, int size) {
m_ptr = new(area) T(size);
}
Foo(const Foo &) = delete;
~Foo() {
m_ptr->~T();
}
void operator=(const Foo &) = delete;
T *operator->() {
return m_ptr;
}
};

用法：

void f(int size) {
char v[sizeof(aclass)+size];
Foo<aclass> p(v, size);
p->doSomething(); // call a function from aclass
}

请注意，您使用的是 GCC 扩展，因为size不是编译时常量。

如果它是一个编译时常量，那么你可以把v放到Foo(size将是一个模板参数(，这样f会更简单。

已经有一个标准的包装器模板类可以做到这一点 -std::unique_ptr.

注意评论中的注意事项

#include <cstdio>
#include <cstdlib> 
#include <string>
#include <memory>
class aclass {
public:
aclass(int size);
~aclass();
int size_;
char data[0];   // this is illegal in standard c++
};
// deleter which only calls destructor, does not deallocate
struct inplace_deleter
{
template<class T>void operator()(T* p) const noexcept
{
p->~T();
}
};
void f(int size)
{
// VLAs are not standard c++. This is a compiler extension on gcc.
char v[sizeof(aclass) + size];
using ptr_type = std::unique_ptr<aclass, inplace_deleter>;
auto p = ptr_type(new(&v) aclass(size));
// auto deleted
}
int main()
{
f(10);
f(100);
return 0;
}

https://godbolt.org/z/qEwld-

相关文章：