c++ - std::is_trivially_copyable 错了吗？

Question

考虑到 cppreference 和当前的 c++ 工作草案，一个类在以下情况下是可简单复制的:

1. 每个复制构造函数都是微不足道的或被删除的
2. 每个移动构造函数都是微不足道的或已删除
3. 每个复制赋值运算符都是微不足道的或被删除的
4. 每个移动赋值运算符都是微不足道的或被删除的
5. 至少一个复制构造函数、移动构造函数、复制赋值运算符或移动赋值运算符未被删除

6. 平凡的非删除析构函数

   • http://en.cppreference.com/w/cpp/concept/TriviallyCopyable
   • http://en.cppreference.com/w/cpp/types/is_trivially_copyable
   • https://github.com/cplusplus/draft/blob/master/papers/n4750.pdf (第 215 页)

所以我想出了这个代码示例:

#include <type_traits>

struct non_trivially_copyable {
  non_trivially_copyable(non_trivially_copyable const&) = delete;
  non_trivially_copyable& operator=(non_trivially_copyable const&) = delete;
  non_trivially_copyable(non_trivially_copyable &&) = delete;
  non_trivially_copyable& operator=(non_trivially_copyable &&) = delete;
};

int main()
{
    return std::is_trivially_copyable<non_trivially_copyable>::value;
}

我的类(class)不满足第 5 条要求。它仍然给我的结果是我的类(class) non_trivially_copyable 是平凡可复制的。我在一些在线编译器上测试了它:

• https://godbolt.org/g/9s4fr9
• https://wandbox.org/permlink/sEJYdi5aIDMzsjGY
• https://onlinegdb.com/SyFyTBrx7
• http://coliru.stacked-crooked.com/a/93b6ea4d202092a6

我怀疑所有的实现都是错误的；那么为什么我会得到这个结果呢？

Answer 1

这在 C++17 中有所改变；在此之前，non_trivially_copyable 将是平凡可复制的。根据您自己引用的标准部分，您的类(class)确实无法在 C++17 中轻松复制。

但是，libstdc++ 和 libc++ 似乎尚未更新以反射(reflect)这一点。所以直接回答你的问题:这两个实现确实是错误的。请注意，您的 Godbolt 链接显示 MSVC 确实正确。

由于这被认为是一个缺陷(参见 CWG 1734 )，这也应该针对 C++ 的旧版本的实现进行更改。

---

据我所知，改变标准的一个核心动机是使 memcpy-ing 围绕原子和互斥锁成为非法的。