c++ - 如何复制 boost::aligned_storage 对象中的数据？

Question

boost::aligned_storage为了在 c++11 之前的世界中提供对齐存储，数据类型对我很有用。我有一个包含此存储成员的类:

template <size_t StoreSize>
class RoutineStorage {
   enum { ROUTINE_STORAGE_SIZE = StoreSize};
   enum { BUFFER_ALIGNMENT_VALUE = 8 };

   template <typename TStorageType> TStorageType& getStorageAsType()
   {
       BOOST_STATIC_ASSERT_MSG(boost::has_trivial_assign<TStorageType>::value &&
         boost::has_trivial_copy<TStorageType>::value,
         "The storage type must be trvially copyable and assignable to support this classes "
          "copy|assign semantics.");
        ... // Checking and some other code.
        return new (_store.address()) TStorageType();
   }

private:
    typedef boost::aligned_storage<ROUTINE_STORAGE_SIZE, BUFFER_ALIGNMENT_VALUE> 
        StorageBuffer;

    StorageBuffer _store;
}

我想为这个类提供一个复制构造函数，但是当我查看 aligned_storage 的实现时，它有一个列为私有(private)的复制构造函数和一个注释 //noncopyable。在任何关于这种类型的 boost 页面中似乎都没有对此的解释，所以我得出结论，他们不想处理不同可能的模板化缓冲区大小的复制。我怀疑以下内容适合复制此缓冲区:

RoutineStorage(const RoutineStorage<StoreSize>& copy)
{
    std::memcpy(_store.address(), copy._store.address(), _store.size())
}

这样会不会有问题？据我所知，aligned_buffer address 函数将提供连续内存地址的开始，size 将让我始终复制正确的大小.

Answer 1

就像你做的那样复制缓冲区

RoutineStorage(const RoutineStorage<StoreSize>& copy)
{
    std::memcpy(_store.address(), copy._store.address(), _store.size())
}

还不够。是的，您将拥有一个精确的拷贝，但您实际上并没有在该 StorageBuffer 中创建的对象。 [intro.object]\1指出

The constructs in a C++ program create, destroy, refer to, access, and manipulate objects. An object is created by a definition ([basic.def]), by a new-expression, when implicitly changing the active member of a union ([class.union]), or when a temporary object is created ([conv.rval], [class.temporary]).

因此，在您将对象复制到 store 中并放置 new 之前，您实际上并没有对象，只有存储空间。

假设您正在存储一个 Foo。最初，您会在 StorageBuffer 中创建 Foo，例如

Foo* f = new(_store.address()) Foo();

因此，在复制构造函数中，您只需调用 Foo 的复制构造函数并将其放入 _store 中

RoutineStorage(const RoutineStorage<StoreSize>& copy)
{
    f = new(_store.address()) Foo(copy.*f);
}