placement-new 上的析构函数

Question

是否有一种模式可以在 placement-new 初始化对象退出范围时自动调用堆栈上的析构函数？我想跳过记忆显式调用析构函数的需要。或者，是否有与 placement-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;
}

Answer 1

您可以像这样创建包装器 class：

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 将更简单。

Answer 2

已经有一个标准的包装器模板 class 可以做到这一点 - 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-

placement-new 上的析构函数

destructor on placement-new

c++

gcc

destructor

g++

placement-new