《Effective C++》读书笔记之中资源管理

最新推荐文章于 2024-09-15 15:53:16 发布

onelovefirst

最新推荐文章于 2024-09-15 15:53:16 发布

阅读量341

点赞数 1

分类专栏： Effective C++读书笔记文章标签：读书 c++ raii delete 编译器 sockets

本文链接：https://blog.csdn.net/onelovefirst/article/details/7352237

版权

Effective C++读书笔记专栏收录该内容

2 篇文章 0 订阅

订阅专栏

By Ryui Liu 2011/11/28

所谓资源就是一旦用了它，将来必须还给系统，如果不这样，糟糕的事情就会发送，如内存泄漏等等，c++中最常使用的资源就是动态内存，但内存只是必须管理的资源之一，其他常见资源如文件描述器（file descriptors）、互斥锁、图形界面中的字型和笔刷、数据库连接以及网络sockets等等。不论那种资源，当你不使用它时，必须将它还给系统。

一、以对象管理资源：

假设我们有一个root class.

Class Investment{.....};

然后通过一个工场函数供应特定的Investment继承体系内的对象。

Investment * createInvestment();

一般情况下我们使用方法都是:

Investment *pInv = createInvestment();

.....

delete pInv;

这样看起来毫无问题，但是当有人需要变更程序，在“...”处加入流控制，如return 语句、goto语句，此时就可能导致跑不到delete pInv语句。

为确保createInvestment返回的资源总是被释放，我们就需要把资源放进管理对象内，这些对象的析构函数会自动释放那些资源。

std::auto_ptr<Investment> pInv(createInvestment()); //调用factory函数创建管理对象pInv

auto_ptr是“类指针对象”，也就是所谓的智能指针，其析构函数自动对其所指对象调用delete。

到此为止，可以总结“以对象管理资源”的关键：

1、获得资源后立刻放进管理对象（managing object）内：以上代码中createInvestment返回的资源被当作其管理者auto_ptr的初值。“以对象管理资源”的观念常被称为“资源取得时机便是初始化时机”（Resource Acquisition is Initiali RAII）,资源管理对象也称为RAII对象

2、管理对象运用析构函数确保资源被释放：不论控制流如何离开区块，一旦对象被销毁，其析构函数自然会被自动调用，于是资源被释放。

但是auto_ptr有个特性：受auto_ptr管理的资源必须绝对没有一个以上的auto_ptr同时指向他。因此在调用copy构造函数或copy assignment操作符复制它们的时候，原管理器会变成null，而复制所得的指针将取得资源的唯一管理权。在STL中要求其元素有正常的复制行为，因此这些容器容不得auto_ptr，由此可见auto_ptr并非管理资源的神兵利器。

Std::auto_ptr<Investment> pInv1(pInv);//此时pInv被设为null;

pInv = pInv1; //此时pInv1被设为null;

auto_ptr的替代方案是“引用计数型智慧指针（reference-counting smart pointer: RCSP）”。RCSP将持续追踪有多少个对象指向某资源，当无人指向它是会自动删除该资源。TR1的tr1::share_ptr就是个RCSP，其复制行为比较正常。

二、资源管理类中copying行为：

下面有一个类对类型为Mutex的互斥对象进行管理

Class Lock{

Public:

explicit Lock(Mutex *pm):mutexptr(pm)

{ lock(mutexPtr);}

~Lock(){ unlock(mutexPtr)}

Private:

Mutex * mutexPtr;

}

此时调用构造函数时会锁定互斥器，在区块末尾时，自动接触互斥器锁定。

但是当Lock对象被复制时:Lock m11(&m); Lock ml2(ml1); 这时会怎么样？

“当一个RAII对象被复制时，会发生什么？”，我们有如下两种选择

1、禁止复制：当允许RAII对象被复制时并不合理，此时需要禁止复制，即将coping操作声明为私有。

2、对底层资源使用“引用计数法”：

上面的示例中就可以将Mutex* 变为std::tr1::shared_ptr<Mutex> mutexPtr; 并将tr1::shared_ptr的“删除器”指定为unlock函数，这样在引用计数为0时，解除锁定，而不是删除对象。构造函数改为：

explicit Lock(Mutex *pm): mutexPtr(pm,unlock) { lock(mutexPtr.get());}

3、复制底部资源：当希望一份资源可以有任意数量的复件时，可以复制底部资源。例如某些标准字符串类型是由“指向heap内存”的指针构成。这种字符串对象还含有指针指向的一块heap内存，当这样的字符串被复制时，不论指针还是指针指向的内存都会被制作出一个复件。

4、转移底部资源的拥有权：auto_ptr 就是这么处理的。

三、在资源管理类中提供对原始资源的访问：

有时候需要绕过资源管理器对象直接访问原始资源，例如一个函数int daysHeld（const Investment *pi）需要直接访问Investment指针，而现在只有tr1：：share_ptr<Investment>的对象。这时候就需要一个函数将RAII class对象转换为其所包含的原始资源。

1、显式转换： tr1::shared_ptr和auto_ptr都提供了一个get成员函数，用来显示转换，他返回智能指针内部的原始指针（的附件）。 Int daysHeld(pInv.get());

2、隐式转换：如果需要用原始指针的函数，智能指针可以直接通过操作符->和*进行引用，因为智能指针重载了取值操作符，运行隐式转换为底部原始指针。这里的隐式转换是从类类型转换为成员变量类型，不同于无explicit声明的单参数构造函数将成员变量类型转换为类类型

示例：FontHandle getFont();

FontHandle releaseFont();

资源管理类

class Font{

public:

//C++中单参数构造函数若不声明为explict，

//在合适的场合可以产生隐式转换：由成员变量类型转换为类类型。

explicit Font(FontHandle fh):f(fh){}

~Font(){releaseFont(f);}

FontHandle get()const {return f;}//显示转换函数