Effective C++读书笔记（二）

最新推荐文章于 2024-06-03 14:23:01 发布

彬之酷吻

最新推荐文章于 2024-06-03 14:23:01 发布

阅读量322

点赞数

本文链接：https://blog.csdn.net/u010358881/article/details/48446639

版权

二、构造/析构/赋值运算

条款05：了解C++默默编写并调用哪些函数

如果你自己没声明，编译器就会为它声明（编译器版本的）一个copy构造函数，一个copy assignment操作符和一个析构函数。此外如果你没有声明任何构造函数，编译器也会成为你声明一个默认构造函数。所有这些函数都是public且inline。

惟有当这些函数被需要（被调用），它们才会被编译器创建出来。

注意：编译器产生的析构函数是个non-virtual，除非这个class的base class自身声明有virtual析构函数。

如果一个类的成员变量是reference，因为c++并不允许让reference改指向不同对象，所以c++的响应是拒绝编译那一行赋值动作。你可以自己定义copy assignment操作符。

如果成员变量是const，则更不合法，编译器不知道如何在它自己生成的赋值函数内面对它们。

最后一种情况：如果某个base classes将copy assignment操作符声明为private，编译器拒绝为其derived classes生成一个copy assignment操作符。毕竟编译器为derived classes所生的copy assignment操作符想象中可以处理base class成分，但它们当然无法调用derived class无权调用的成员函数。

请记住：

编译器可以暗自为类创建默认构造函数、拷贝构造函数、拷贝赋值操作符，以及析构函数。

条款06：若不想使用编译器自动生成的函数，就该明确拒绝

只要将copy构造函数和copy assignment操作符声明为private就可以生成一个专门为了阻止copying动作而设计的base class。这个base class非常简单：

class Uncopyable

{

protected：

Uncopyable(){}

~Uncopyable(){} //允许derived对象构造和析构

private：

Uncopyable(constUncopyable&);//但阻止copying

Uncopyable&operator=(const Uncopyable&);

};

为了阻止一个类对象被拷贝，我们唯一需要做的就是继承Uncopyable;

Uncopyable class的实现和运用非常微妙，包括不一定得以public继承它，以及Uncopyable的析构函数不一定得是virtual等等。

请记住：

为驳回编译器自动（暗自）提供的机能，可将相应的成员函数声明为private并且不予实现。使用像noncopyable这样的基类也是一种做法。

条款07：为多态基类声明virtual析构函数

当derived class对象经由一个base class指针被删除，而该base class带着一个non-virtual析构函数，其结果未有定义----实际执行时通常发生的是对象的derived成分没被销毁。消除这个问题的做法很简单：给base class一个virtual析构函数。此后删除derived class对象就会销毁整个对象。

任何class只要带有virtual函数都几乎确定应该也有一个virtual析构函数。

如果一个class不含virtual函数，通常表示它并不意图被用做一个base class，当class不企图被当做base class的时候，令其析构函数为virtual往往是个馊主意。因为实现virtual函数，需要额外的开销（指向虚函数表的指针vptr）。

不能企图继承一个标准容器或任何其他带有non-virtual析构函数的class。(很不幸c++没有提供类似java的final classes或c#的sealed classes那样的禁止派生机制)。

如果pure virtual函数导致abstract class，也就是不能被实体化的class。由于抽象class总是企图被当做一个base class来用，而又由于base class应该有个virtual析构函数，并且由于pure virtual函数会导致抽象class，因此解法很简单：为你希望它成为抽象的那个class声明一个pure virtual析构函数。但是你必须为这个pure virtual析构函数提供一份定义。析构函数的运作方式是，最深层派生的那个class其析构函数最先被调用，然后是其每一个base class的析构函数被调用。如果不给一份定义，连接器会发出抱怨。