具有新放置的右值引用（类似于 std::vector.push_back 的功能）

Question

我正在实施一个容器 class (ObjectPool)。它在连续内存中维护一组模板对象。在构造时，它分配一个内存块（相当于（模板对象的大小）*（池大小））。当向池中添加新对象时，它使用 'placement new' 运算符在特定内存地址创建一个对象（并自动调用模板对象的构造函数）。

我如何实现 ObjectPool.add() 方法，接受模板对象并将其添加到对象池中，而不调用它的构造函数两次（std::vector 中实现的功能。push_back() 例如)?

为简单起见，在本例中，ObjectPool class 仅包含一个模板对象而不是数组。

class FooClass
{
public:
    FooClass(int p_testValue) : m_testValue(p_testValue)
    {
        std::cout << "Calling constructor: " << m_testValue << std::endl;
    }

    int m_testValue;
};

template <class T_Object>
class ObjectPool
{
public:
    ObjectPool()
    {
        // Allocate memory without initializing (i.e. without calling constructor)    
        m_singleObject = (T_Object*)malloc(sizeof(T_Object));
    }

    // I have tried different function arguments (rvalue reference here, amongs others)
    inline void add(T_Object &&p_object)
    {
        // Allocate the template object
        new (m_singleObject) T_Object(p_object);
    }

    T_Object *m_singleObject;
};

int main()
{
    ObjectPool<FooClass> objPool;
    objPool.add(FooClass(1));
}

Answer 1

如果你使用一个 T_Object&&，它必须引用一个已经构建的 T_Object，然后你需要在你的存储中创建一个新对象，所以这是另一个构造函数调用。

您需要符合 emplace_back:

的内容

template<class... Args>
void emplace(Args&&... args)
{
    // Allocate the template object
    ::new (static_cast<void*>(m_singleObject)) T_Object(std::forward<Args>(args)...);
}

称其为objPool.emplace(1)。

顺便说一下，采用 T_Object&& p_object 的 add 版本应该从 std::move(p_object).

构造包含的对象

具有新放置的右值引用（类似于 std::vector.push_back 的功能）

rvalue references with placement new (similar functionality to std::vector.push_back)

c++

templates

rvalue

placement-new

c++11