网站友情链接如何做,便捷的大连网站建设,注册公司什么网站,房屋租赁网站开发需求分析目录
1.C基础回顾
1.1.平凡类型
1.2.平凡可复制类型
1.3.标准布局类型
2.std::is_trivially_copyable
2.1.定义
2.2.使用
2.3.总结 1.C基础回顾 在C11中#xff0c;平凡类型#xff08;Trivial Type#xff09;、平凡可复制类型#xff08;TrivialCopyable#x…目录
1.C基础回顾
1.1.平凡类型
1.2.平凡可复制类型
1.3.标准布局类型
2.std::is_trivially_copyable
2.1.定义
2.2.使用
2.3.总结 1.C基础回顾 在C11中平凡类型Trivial Type、平凡可复制类型TrivialCopyable、标准布局类型Standard-layout Type是描述类在内存中布局特性的术语它们与类的构造、拷贝、赋值和销毁行为有关也影响着类的内存布局和对齐方式。下面用通俗的语言解释这些概念
1.1.平凡类型 指那些在内存中的行为非常简单的类。它们的构造函数、析构函数、拷贝构造函数和赋值运算符都没有自定义实现完全由编译器提供的默认行为即可而且也不能包含虚函数以及是虚基类的父类, 这意味着这些类的对象可以像基本数据类型一样被创建和销毁不需要特殊的资源管理代码。 以下是平凡类型和非平凡类型的示例代码展示参考代码如下
#include iostream// 平凡类型没有任何自定义的构造函数、析构函数、拷贝控制成员
struct TrivialType {int a;double b;
};// 非平凡类型至少有一个自定义的特殊成员函数
struct NonTrivialType1 {int a;double b;// 自定义构造函数NonTrivialType1() : a(0), b(0.0) {}// 自定义拷贝赋值运算符NonTrivialType1 operator(const NonTrivialType1 other) {a other.a;b other.b;return *this;}// 自定义析构函数~NonTrivialType1() {std::cout NonTrivialType1 destroyed\n;}
};//使用default关键字可以显式地声明默认的构造函数从而使得类型恢复 “平凡化”。
struct TrivialType2 {int a;double b;// 自定义构造函数TrivialType2() : a(0), b(0.0) {}TrivialType2() default;
};int main() {TrivialType t1, t2;t2 t1; // 平凡类型的赋值操作是平凡的NonTrivialType nt1, nt2;nt2 nt1; // 非平凡类型的赋值操作不是平凡的std::cout TrivialType is trivially: std::is_triviallyTrivialType::value std::endl; //输出truestd::cout NonTrivialType1 is trivially: std::is_triviallyNonTrivialType1::value std::endl; //输出falsestd::cout TrivialType2is trivially: std::is_triviallyTrivialType2::value std::endl; //输出: falsereturn 0;
} 在这个示例中 TrivialType 是一个平凡类型因为它没有任何自定义的特殊成员函数。它的构造、拷贝、移动、赋值和析构操作都是由编译器提供的默认实现。 NonTrivialType1 是一个非平凡类型因为它至少有一个自定义的特殊成员函数在这个例子中是构造函数、拷贝赋值运算符和析构函数。这意味着它至少有一个操作不能由编译器提供的默认实现来完成。 TrivialType2虽然重新定义了构造函数但是使用default使用default关键字可以显式地声明默认的构造函数从而使得类型恢复 “平凡化”。 注意事项 即使类没有显示定义特殊成员函数如果类中有虚函数或虚基类它也不是平凡类型。类中如果有动态内存分配如指针成员或需要特殊资源管理的成员也不是平凡类型。平凡类型的所有特殊成员函数都是平凡的这意味着它们可以没有函数体即使用编译器提供的默认实现。 平凡类型在C中很重要因为它们可以提高效率允许编译器进行更多的优化。例如平凡类型的拷贝和赋值可以通过简单的内存复制完成而不需要调用任何成员函数。 1.2.平凡可复制类型 是平凡类型的一个扩展它不仅包括所有平凡类型还包括那些可以安全地被复制和移动的类型即使这些类型不是平凡类型。例如一个类可能有一个自定义的构造函数但如果它保证对象的内容可以通过简单的位拷贝bitwise copy来复制那么它也可以被认为是平凡可复制的。它必须满足两个条件
类型可以被复制或移动且不需要特殊的资源管理。类型的所有特殊成员函数构造函数、拷贝构造函数、移动构造函数、赋值运算符、移动赋值运算符和析构函数都是平凡的或者被删除的deleted。
下列类型统称为可平凡复制类型
标量类型可平凡复制类类型上述类型的数组这些类型的有 cv 限定版本 说明 一般来说对于任何可平凡复制类型 T 及 T 对象 obj1能复制 obj1 的底层字节到 char 或 unsigned char 或 std::byte (C17 起) 的数组中或到 T 的另一不同对象 obj2 中。obj1 与 obj2 均不可为潜在重叠的子对象。 如果复制 obj1 的底层字节到这种数组中然后复制结果内容回 obj1 中那么 obj1 将保有其原值。如果复制 obj1 的底层字节到 obj2 中那么 obj2 将保有 obj1 的值。 底层字节能由 std::memcpy 或 std::memmove 复制只要不访问存活的 volatile 对象即可。 具体示例我们将在后面给出。
1.3.标准布局类型 指那些在内存布局上满足一定规则的类。这些规则包括所有非静态成员的访问权限必须相同类不能有虚函数或虚基类且所有基类也必须是标准布局类型。标准布局类型的一个重要特性是它们的内存布局在不同的编译器和平台上是一致的这对于跨平台的二进制数据交换非常重要它必须满足以下条件 1类型的所有非静态数据成员都是公共的public。 2类型不包含虚函数、虚基类或非标准布局的基类。 3类型的所有基类都是标准布局类型。 4类型不包含动态内存分配如没有指向其自身类型的指针成员。 5类型的所有数据成员的访问权限public、protected、private都是相同的。
示例代码如下
#include iostream
#include type_traits // For std::is_standard_layout// 标准布局类型没有任何虚函数或虚基类所有数据成员都是公共的
struct StandardLayoutType {int a;double b;
};// 非标准布局类型包含虚函数
struct NonStandardLayoutTypeWithVirtualFunction {virtual void dummy() {}int a;double b;
};// 非标准布局类型包含非标准布局基类
struct NonStandardBase {int a;
protected:double b; // Data member with non-public access
};struct NonStandardLayoutTypeWithNonStandardBase : NonStandardBase {int c;
};// 标准布局类型尽管有继承但基类是非虚继承且本身也是标准布局
struct StandardLayoutTypeWithInheritance : StandardLayoutType {char c;
};int main() {std::cout std::boolalpha; // Print bool values as true/false// 检查是否为标准布局类型std::cout Is StandardLayoutType standard layout? std::is_standard_layoutStandardLayoutType::value std::endl;std::cout Is NonStandardLayoutTypeWithVirtualFunction standard layout? std::is_standard_layoutNonStandardLayoutTypeWithVirtualFunction::value std::endl;std::cout Is NonStandardLayoutTypeWithNonStandardBase standard layout? std::is_standard_layoutNonStandardLayoutTypeWithNonStandardBase::value std::endl;std::cout Is StandardLayoutTypeWithInheritance standard layout? std::is_standard_layoutStandardLayoutTypeWithInheritance::value std::endl;return 0;
}
在这个示例中
a) StandardLayoutType 是一个标准布局类型因为它没有任何虚函数或虚基类所有数据成员都是公共的。 b) NonStandardLayoutTypeWithVirtualFunction 不是标准布局类型因为它包含一个虚函数。 c)NonStandardLayoutTypeWithNonStandardBase 不是标准布局类型因为它有一个基类 NonStandardBase该基类包含受保护的成员不符合所有数据成员都是公共的规则。 d)StandardLayoutTypeWithInheritance 是一个标准布局类型尽管它继承StandardLayoutType但继承是不带虚函数的且所有数据成员都是公共的。
2.std::is_trivially_copyable
2.1.定义
它是在标头 type_traits 定义
template class T
struct is_trivially_copyable;
主要用来判断T是否平凡可复制类型。 并非非潜在重叠子对象的可平凡复制类型的对象是仅有的能以 std::memcpy 安全复制或以 std::ofstream::write() / std::ifstream::read() 序列化自/到二进制文件的 C 对象。 2.2.使用
示例1
#include type_traitsstruct A { int m; };
static_assert(std::is_trivially_copyable_vA true);struct B { B(B const) {} };
static_assert(std::is_trivially_copyable_vB false);struct C { virtual void foo(); };
static_assert(std::is_trivially_copyable_vC false);struct D
{int m;D(D const) default; // - 可平凡复制D(int x) : m(x 1) {}
};
static_assert(std::is_trivially_copyable_vD true);int main() {}
在这个示例中 1) A是一个平凡可复制类型因为它没有自定义的特殊成员函数且可以被简单地复制和移动。 2) B有一个自定义的拷贝构造函数所以它不是平凡可复制的。尽管它的赋值操作可能是平凡的但拷贝构造函数的存在使得整个类型不是平凡可复制的。 3) C有一个虚函数这使得它即使没有自定义的特殊成员函数也不是平凡可复制的。虚函数的存在意味着类型需要有虚函数表vtable这违反了平凡可复制类型的定义。 4) D虽然有一个自定义的拷贝构造函数但是有一个使用default的构造函数所以它也是平凡可复制的。 平凡可复制类型在C中很重要因为它们可以被编译器优化为没有额外开销的位拷贝操作这对于性能敏感的程序是非常有益的。
示例2
#include iostream
using namespace std;// trivially copyable
class A
{~A() default; // trivially copyableA() {} // trivially copyableA(const A ) default; // trivially copyableA(A ) default; // trivially copyableA operator(const A ) default; // trivially copyableA operator(A ) default; // trivially copyable
};class B
{// 只要有任意自定义的下列行为即会变成 not trivially copyablevirtual void foo() 0; // not trivially copyable// ~B() delete; // not trivially copyable// ~B() {} // not trivially copyable// B(const B ) {} // not trivially copyable// B(B ) {} // not trivially copyable// B operator(const B ) {} // not trivially copyable// B operator(B ) {} // not trivially copyable
};// not trivially copyable
class C : public B
{
};// trivially copyable
class D
{
public:explicit D(int val) : d(val) {}int d;
};void TriviallyCopyableTest()
{cout std::is_trivially_copyablebool::value endl; // trivially copyablecout std::is_trivially_copyablechar::value endl; // trivially copyablecout std::is_trivially_copyableint::value endl; // trivially copyablecout std::is_trivially_copyablefloat::value endl; // trivially copyablecout std::is_trivially_copyabledouble::value endl; // trivially copyablecout std::is_trivially_copyablestd::nullptr_t::value endl; // trivially copyablecout std::is_trivially_copyableint *::value endl; // trivially copyablecout std::is_trivially_copyableA::value endl; // trivially copyablecout std::is_trivially_copyableA *::value endl; // trivially copyablecout std::is_trivially_copyableB::value endl; // not trivially copyablecout std::is_trivially_copyableB *::value endl; // trivially copyablecout std::is_trivially_copyableC::value endl; // not trivially copyablecout std::is_trivially_copyablestring::value endl; // not trivially copyable
}
分析方法同上我们在这里就不赘述了。
2.3.总结 在 C11 及其之后的版本中如果一个类型是可平凡复制的那么你可以安全地通过 memcpy 或 memmove 等函数进行复制而不需要担心可能的副作用如析构函数的调用或虚函数的重新定向等。然而你应该注意即使一个类型是可平凡复制的也并不意味着你应该总是使用 memcpy 来进行复制在许多情况下使用赋值操作符或复制构造函数是更安全、更清晰的选择。
推荐阅读
可平凡复制类型
std::is_trivially_copyable
C之std::is_pod(平凡的数据)
