每次我使用placement new分配时,析构函数都会隐式调用

Question

我有以下问题:我正在使用我的项目自定义池分配器,并且每次我要分配任何具有placement new的对象时,析构函数也会隐式调用该对象.

这是源代码:

测试对象:

class Obj {
public:
    Obj(const std::string& s) {  
        std::cout << "Constructor Called" << std::endl; 
    }
    ~Obj() { 
        std::cout << "Destructor Called" << std::endl; 
    }

};

主要:

int main()
{

    void *pmemory;
    pmemory = malloc(ONEGIG_SIZE);

    PoolAllocator* poolAllocator =  new PoolAllocator(sizeof(Obj), __alignof(Obj), ONEGIG_SIZE, pmemory);
    Obj *obj1 = allocator::allocateNew(*poolAllocator, Obj("Hello")); //<-- const and dest is called

    //......

    return 0;
}

这里是Allocator:AllocateNew函数的源代码:

template <class T> T* allocateNew(Allocator& allocator, const T& t)
{
        return new (allocator.allocate(sizeof(T), __alignof(T))) T(t);
}

泳池分配器:

PoolAllocator::PoolAllocator(size_t objectSize, u8 objectAlignment, size_t size, void* mem)
        : Allocator(size, mem), _objectSize(objectSize), _objectAlignment(objectAlignment)
{
    ASSERT(objectSize >= sizeof(void*));

    //Calculate adjustment needed to keep object correctly aligned
    u8 adjustment = pointer_math::alignForwardAdjustment(mem, objectAlignment);

    _free_list = (void**)pointer_math::add(mem, adjustment);

    size_t numObjects = (size-adjustment)/objectSize;

    void** p = _free_list;

    //Initialize free blocks list
    for(size_t i = 0; i < numObjects-1; i++)
    {
        *p = pointer_math::add(p, objectSize );
        p = (void**) *p;
    }

    *p = nullptr;
}

PoolAllocator::~PoolAllocator()
{
    _free_list = nullptr;
}

void* PoolAllocator::allocate(size_t size, u8 alignment)
{
    ASSERT(size == _objectSize && alignment == _objectAlignment);

    if(_free_list == nullptr)
        return nullptr;

    void* p = _free_list;

    _free_list = (void**)(*_free_list);

    _used_memory += size;
    _num_allocations++;

    return p;
}

void PoolAllocator::deallocate(void* p)
{
    *((void**)p) = _free_list;

    _free_list = (void**)p;

    _used_memory -= _objectSize;
    _num_allocations--;
}

似乎在Pool Allocator中的allocate方法中返回op后调用析构函数!任何人都可以解释为什么会这样？

Answer 1

...每次我要使用placement new分配任何对象时,析构函数也会隐式调用该对象

不,析构函数也叫上一个对象.您只是假设 - 错误地 - 被破坏的对象是您在池中分配的对象.

直观地看,因为你的allocateNew函数参数类型为const裁判的东西作为一个参数,即一些必须存在的,这意味着任何东西之前在池中被分配创建它.

但是,详细

Obj *obj1 = allocator::allocateNew(*poolAllocator, Obj("Hello"));

将:

1. Obj("Hello")

   创建一个新的匿名临时对象,使用std::string构造函数记录您看到的消息

2. allocateNew(Allocator& allocator, const T& t)

   将一个const ref传递给你的allocateNew函数.

3. return new (...) T(t)

   placement-new 池中的另一个对象,使用隐式生成的复制构造函数,它不记录任何内容

4. 返回指向池中分配的新对象的指针

5. 在语句结束时超出范围时销毁匿名临时语句.

如果您想要准确了解发生的情况,请实现日志版本的所有构造函数(和赋值运算符)变体.

如果要避免临时对象+复制,T&& t请将a 和move-construct 传递到池中.