C++ Выделить хранилище для объекта без его инициализации?

Question

Есть ли принятая идиома для выделения хранилища резервных копий для объекта на месте, но не для его инициализации? Вот мое наивное решение:

#include <utility> 

template<typename T> 
union Slot { 
    T inst; 

    Slot() {} 
    ~Slot() {} 

    template<typename... Args> 
    T* init(Args&&... args) { return new(&inst) T(std::forward<Args>(args) ...); } 
    void release() { inst.~T(); } 
}; 

Мой непосредственный случай использования для объекта пула, но он также будет более полезным в целом.

Answer 1

В C++ 11 вы можете использовать std::aligned_storage (see also):

template<typename T> 
struct Slot { 
    typename std::aligned_storage<sizeof(T)>::type _storage; 

    Slot() {} 
    ~Slot() { 
     // check if destroyed! 
     ... 
    } 

    template<typename... Args> 
    T* init(Args&&... args) { 
     return new(address()) T(std::forward<Args>(args) ...); 
    } 

    void release() { (*address()).~T(); } 

    T* address() { 
     return static_cast<T*>(static_cast<void*>(&_storage)); 
    } 
};