std::aligned_storage 可以 memcpy 吗？

Question

std::aligned_storage::type 是 POD 类型。 POD类型可以memcpy。但是，如果将新的非平凡可复制类型放置到 std::aligned_storage 会怎样？ std::aligned_storage 可以 memcpy 吗？

非普通可复制类型（非 POD 类型）不能 memcpy，行为未定义。如果 std::aligned_storage memcpy 非平凡可复制类型，它是否也是未定义的行为？

#include <new>
#include <type_traits>
#include <cstring>
#include <iostream>

struct y { int a; } ;

// non-trivially-copyable
struct t
{
    y a;
    int* p;
    t(){ p = new int{ 300 }; }
    t( t const& ){ a.a += 100; }
    ~t(){ delete p; }
};

int main()
{   // Block 1
    { 
        t a; a.a.a = 100;
        t b; b.a.a = 200;
        // std::memcpy(&b,&a,sizeof(t));  // abort...non-trivially-copyable
    }
    // Block 2
    {
        std::aligned_storage_t<sizeof(t),alignof(t)> s;
        {
            t a;
            a.a.a = 100;
            std::memcpy(&s,&a,sizeof(t)); // OK...Coincidence? Behavior is undefined?
        }
        std::cout << static_cast<t*>(static_cast<void*>(&s))->a.a << std::endl; // OK...
    }
    // Block 3
    {
        std::aligned_storage_t<sizeof(t),alignof(t)> s1; new( &s1 ) t; 
        std::aligned_storage_t<sizeof(t),alignof(t)> s2; new( &s2 ) t;

        std::memcpy(&s2,&s1,sizeof(t)); // trivially-copyable????
    }
}

我认为它也是未定义的。但是，我们有工作。这是巧合吗？

Answer 1

首先：正如在中所讨论的，C++ 标准只定义了 memcpy 的行为，用于平凡可复制的对象。该线程给出了一个具体示例，说明它如何打破非平凡可复制的选项

因此，对标准的狭义解释会说调用 memcpy 的行为会导致 UB。

然而，更常识性的解释是复制字节是可以的，但任何将目标视为实际包含相同类型对象的尝试都会导致 UB。特别是在程序依赖于析构函数的副作用的情况下，就像你的一样。我的其余回答基于后一种解释。

从块 2 开始：

std::aligned_storage_t<sizeof(t),alignof(t)> s;
{
    t a;
    a.a.a = 100;
    std::memcpy(&s,&a,sizeof(t)); 
}
std::cout << static_cast<t*>(static_cast<void*>(&s))->a.a << std::endl

由于 t 不可复制，我们尚未在 s 的存储中创建有效的 t 对象。所以尝试使用 s 就好像它包含一个有效的 t 对象肯定会导致未定义的行为。当 UB 发生时，任何结果都会随之而来，包括（但不限于）它出现在 "work as expected"。

在块 1 中（如果 memcpy 未注释）：

{
    t a; a.a.a = 100;
    t b; b.a.a = 200;
    std::memcpy(&b,&a,sizeof(t));  // abort...non-trivially-copyable
}

这里我们有析构函数的副作用。 memcpy 结束了 a 的生命周期（因为 a 的存储被重新使用）。然而，代码将继续尝试在 a.

上调用析构函数

在这种情况下，即使复制"appears to work"，你的中止也可能来自a.p的double-free。

如果我们将 t 更改为非平凡可复制类型但没有析构函数副作用，那么这个示例将不清楚。

块 2 中没有这样的双重释放，因为没有为 s 中存储的 t 调用任何析构函数。

区块 3：

这类似于块 2：memcpy 不创建对象。它 "appears to work" 因为您永远不会为 aligned_storage 中的对象调用析构函数。

事实上，根据我们对memcpy的常识性解释，这里没有UB，因为您从未尝试使用复制字节的结果并且目标没有调用析构函数。（如果您将 cout 行复制到此处，它会导致 UB，原因与块 2 中的相同）。

相关讨论： 即使是平凡可复制的类也是

C++ 标准对于malloc'd space 或aligned_storage 中对象的对象生命周期何时开始的问题不清楚。有一个提交 N3751 认识到这需要清理，但仍有很多工作要做。

在您的 Block 2 中，s 的生命周期尚未开始。这是因为 t 具有非平凡的初始化。（实际上 C++ 标准也没有明确说明这一点）。然而，块 1 的 a 是一个生命周期已经开始的对象。

N3751 提出（如果 t 可以简单复制）那么 memcpy 实际上会开始 s 的生命周期。

std::aligned_storage 可以 memcpy 吗？

can memcpy for std::aligned_storage?

c++

memcpy

object-lifetime

c++14