标签：copy 函数 Effective C++ base virtual 析构 第二章 class
条款05：Know what functions C++silently writes and calls.
编译器会默认为空类(empty class)创建缺省的(default)构造函数、copy构造函数、copyassignment 操作符，以及析构函数。
- 编译器产出的析构函数是个non-virtual函数，除非这个class的base class自身声明有virtual析构函数（这种情况下这个函数的虚属性；virtualness；主要来自baseclass）。
- 编译器创建的copy构造函数和copy assignment操作符只是单纯地将来源对象的每一个 non-static 成员变量拷贝到目标对象。
- 如果你打算在一个“内含reference成员”的 class 内支持赋值操作（assignment），你必须自己定义copy assignment操作符。面对“内含const成员”的classes，编译器的反应也一样。
- 如果某个base class将copy assignment操作符声明为private，编译器将拒绝为其derived classes生成一个copy assignment操作符。
条款06：Explicitly disallow the use of compiler-generated functions you do not want.
为驳回编译器自动（暗自）提供的机能，可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。
- 藉由明确声明一个成员函数，你阻止了编译器暗自创建其专属版本；而令这些函数为private，使你得以成功阻止人们调用它。
- 将连接期错误移至编译期是可能的（而且那是好事，毕竟愈早侦测出错误愈好），只要将copy构造函数和copy assignment操作符声明为private就可以办到，但不是在HomeForSale自身，而是在一个专门为了阻止copying动作而设计的base class内。这个base class非常简单：
条款07：Declare destructors virtual in polymorphic base classes.
- polymorphic（带多态性质的）base classes应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。
- Classes 的设计目的如果不是作为base classes使用，或不是为了具备多态性（polymorphically），就不该声明virtual析构函数。
- 当derived class对象经由一个base class指针被删除，而该base class带着一个non-virtual析构函数，其结果未有定义——实际执行时通常发生的是对象的derived成分没被销毁。
- virtual函数的目的是允许derived class的实现得以客制化。
- 当class不企图被当作base class，令其析构函数为virtual往往是个馊主意。因为这会导致其对象的体积增加。
- 只有当class内含至少一个virtual函数，才为它声明virtual析构函数。
- 如果你曾经企图继承一个标准容器或任何其他“带有non-virtual析构函数”的class，拒绝诱惑吧！
- pure virtual(纯虚)函数导致abstract（抽象）classes——也就是不能被实体化（instantiated）的class。
- 为你希望它成为抽象的那个class声明一个pure virtual析构函数，但你必须为这个pure virtual析构函数提供一份定义。
- 析构函数的运作方式是，最深层派生（most derived）的那个class其析构函数最先被调用，然后是其每一个base class的析构函数被调用。
条款08：Prevent exceptionsfrom leaving destructors.
- 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们（不传播）或结束程序。
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么 class 应该提供一个普通函数（而非在析构函数中）执行该操作。
条款09：Never call virtual functions during construction or destruction.
在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class（比起当前执行构造函数和析构函数的那层）。
- derived class对象内的base class成分会在derivedclass自身成分被构造之前先构造妥当。
- base class构造期间virtual函数绝不会下降到derived classes阶层。取而代之的是，对象的作为就像隶属base类型一样。非正式的说法或许比较传神：在base class构造期间，virtual函数不是virtual函数。
- 在derived class对象的base class构造期间，对象的类型是base class而不是 derived class。对象在derived class构造函数开始执行前不会成为一个derived class对象。
- 进入base class析构函数后对象就成为一个base class对象，而C++的任何部分包括virtual函数、dynamic_casts等等也就那么看待它。
- 确定你的构造函数和析构函数都没有（在对象被创建和被销毁期间）调用virtual 函数，而它们调用的所有函数也都服从同一约束。
条款10：Have assignment operators return a reference to *this.
令赋值（assignment）操作符返回一个reference to *this。
- 赋值采用右结合律。
- 为了实现“连锁赋值”，赋值操作符必须返回一个reference指向操作符的左侧实参。
条款11：Handle assignment to self in operator=.
- 确保当对象自我赋值时operator=有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
- 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。
- 一个base class的reference或pointer可以指向一个derived class对象。
- 注意在复制pb所指东西之前别删除pb：
- 使用所谓的copy and swap技术：
条款12：Copy all partsof an object.
- Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
- 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中，并由两个coping函数共同调用。
- 作者称copy构造函数和copyassignment操作符*为copying函数**。
- 编译器对“你自己写出copying函数”的复仇行为：既然你拒绝它们为你写出copying函数，如果你的代码不完全，它们也不告诉你。
- 如果你为class添加一个成员变量，你必须同时修改copying函数。（你也需要修改class的所有构造函数（见条款4和条款45）以及任何非标准形式的operator=。如果你忘记，编译器不太可能提醒你。）。
- 任何时候只要你承担起“为derived class撰写copying函数”的重责大任，必须很小心地也复制其base class成分。你应该让derived class的copying函数调用相应的base class函数。
- 你不该令copy assignment操作符调用copy构造函数。反方向——令copy构造函数调用copy assignment操作符——同样无意义。构造函数用来初始化新对象，而 assignment操作符只施行于已初始化对象身上。
标签：copy,函数,Effective,C++,base,virtual,析构,第二章,class 来源： https://www.cnblogs.com/fusheng-chana/p/15212508.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。