假设您有一个 T 类型的对象和一个适当对齐的内存缓冲区 alignas(T) unsigned char[sizeof(T)] . 如果使用 std::memcpy 从 T 类型的对象复制到 unsigned char 数组,是否考虑复制构造或复制分配?
如果一个类型可以轻易复制而不是标准布局,那么可以想象一个类如下:
struct Meow
{
int x;
protected: // different access-specifier means not standard-layout
int y;
};
可以像这样实现,因为编译器不会被强制使用标准布局:
struct Meow_internal
{
private:
ptrdiff_t x_offset;
ptrdiff_t y_offset;
unsigned char buffer[sizeof(int) * 2 + ANY_CONSTANT];
};
编译器可以在 buffer 的任何部分将缓冲区中的 x 和 y 存储在缓冲区中,甚至可以在 buffer 内的随机偏移处存储,只要它们正确对齐且不重叠即可 . 如果编译器希望, x 和 y 的偏移量甚至可以随每个结构随机变化 . ( x 可以在 y 之后,如果编译器希望,因为标准只要求相同访问说明符的成员按顺序排列,并且 x 和 y 具有不同的访问说明符 . )
这将符合可轻易复制的要求; memcpy 将复制隐藏的偏移字段,因此新副本将起作用 . 但有些事情是行不通的 . 例如,在 memcpy 上持有指向 x 的指针会中断: