std:: is_trivially_copyable

std::is_trivially_copyable 是一个 UnaryTypeTrait 。

如果 T 是 可平凡复制 类型，则提供等于 true 的成员常量 value 。对于其他任何类型， value 为 false 。

如果 std:: remove_all_extents_t < T > 是不完整类型且不是（可能带有 cv 限定符的） void ，则行为未定义。

如果程序为 std::is_trivially_copyable 或 std::is_trivially_copyable_v 添加特化，则行为是未定义的。

模板参数

辅助变量模板

注释

非潜在重叠子对象的平凡可复制类型对象是唯一可以通过 std::memcpy 安全复制的 C++ 对象，或是可通过 std::ofstream::write() / std::ifstream::read() 序列化到二进制文件/从二进制文件反序列化的 C++ 对象。

示例

#include <type_traits>
struct A { int m; };
static_assert(std::is_trivially_copyable_v<A> == true);
struct B { B(B const&) {} };
static_assert(std::is_trivially_copyable_v<B> == false);
struct C { virtual void foo(); };
static_assert(std::is_trivially_copyable_v<C> == false);
struct D
{
    int m;
    D(D const&) = default; // -> 可平凡复制
    D(int x) : m(x + 1) {}
};
static_assert(std::is_trivially_copyable_v<D> == true);
int main() {}

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见