C++中逐位语义和逐成员语义的区别

2019独角兽企业重金招聘Python工程师标准>>>

C++中的拷贝构造函数工作模式最常见的就是逐位语义拷贝和逐成员语义拷贝，区别如下：

逐位语义拷贝：是指当此类的所有成员都是基本的内置数据类型，其拷贝操作等同于拷贝相同的内存内容。

逐成员语义拷贝：此类的数据成员存在有其他类类对象的数据成员。这些成员对象的拷贝需要递归地调用它们自己的拷贝构造进行复制。

 

 

另外，什么情况下，一个类不展现其逐位拷贝语义呢？

简言之，就是这个类是一个复杂类（支持继承、多态、含有成员对象的任意情况或组合）。

1：该类含有成员对象。而这些成员对象又有可用自身的复制构造。（不论是显示地，还是隐式地由编译器生成）

2：该类有继承关系。而其基类又有自身可用的拷贝构造。（不论是显示地，还是隐式地由编译器生成）

3：该类存在于虚基类机制下。而其基类又有自身可用的拷贝构造。（不论是显示地，还是隐式地由编译器生成）

4：该类存在于虚函数机制（多态机制）下。而其基类又有自身可用的拷贝构造。（不论是显示地，还是隐式地由编译器生成）

 

因为，3,4都要求在复制构造期间，调整正确的vptr 和 vbptr。所以不能使用简单的逐位拷贝语义。

转载于:https://my.oschina.net/u/2467198/blog/714459