如何复制 boost::aligned_storage 对象中的数据?

How data in a boost::aligned_storage object is copied?

本文关键字：对象 storage 数据 aligned 复制 boost 何复制      更新时间：2023-10-16
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的实现时，它有一个副本构造函数列为私有和一个注释// noncopyable。在任何关于这种类型的提升页面中似乎都没有对此进行解释，所以我得出结论，他们不想处理不同可能的模板化缓冲区大小的复制。我怀疑以下内容可用于复制此缓冲区：

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

这会有问题吗？据我所知，aligned_bufferaddress函数将给出一个连续内存地址的开头，size将让我始终复制正确的大小。

就像你一样复制缓冲区

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

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

C++程序中的构造创建、销毁、引用、访问和操作对象。对象由定义([basic.def](、新表达式、隐式更改联合的活动成员([class.union](或创建临时对象([conv.rval]，[class.temporary](创建。

因此，在您将对象复制到带有放置新位置的store之前，您实际上没有对象，只有存储。

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

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

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

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