文章目录
资源管理
系统资源当不再使用时,必须将它归还。先修知识:关于智能指针的介绍
13.以对象管理资源
Use object to manage resources
- 获得资源后立刻放进管理对象,管理对象运用析构函数确保资源被释放。 对于auto_ptr而言,不能使两个auto_ptr对象指向同一内存资源,否则,被指向内存资源会被释放多次,出现未定义行为。
- 因为,auto_ptr实行管理权转移:若通过copy构造函数或者copy assignment操作符复制它们,它们会变成null,而复制所得的指针将取得资源的唯一拥有权。
14.在资源管理类中小心copying行为
Think carefully about copying behavior in resource-managing classes.
- 复制RAII对象必须一并复制它所管理的资源,所以资源的copying行为决定RAII对象的copying对象copying行为。
- 普遍的常见的RAII class copying 行为是:禁止复制,施行引用计数法。
15.在资源管理类中提供对原始资源的访问
Provide access to raw resources in resource-managing classes.
为了使得智能指针如原始指针一样方便使用,*和->的实现十分必要。
T* operator->()
{
return _ptr;
}
T& operator*()
{
return *_ptr;
}
当需要通过智能指针获取原始指针时候,还需实现
T* get()
{
return _ptr;
}
- shrared_ptr和auto_ptr都提供一个get成员函数,用来执行显示转换,也就是它会返回智能指针内部的原始指针。
- 对原始资源的访问可能经由显式转换或隐式转换。一般显示转化比较安全,但隐式转换对客户更加方便。
16.成对使用new和delete是要采用相同形式
单一对象申请空间就等于对象大小,而对象数组申请空间或许比对象数组大小要大。对于对象数组operator delete释放空间时候需要知道释放对象的个数,因为,在自定义对象数组空间前方会有4字节保存对象数组大小。
- new申请对象空间,必须使用delete来释放,new [ ]申请对象数组空间必须使用delete[ ]来释放空间。颠倒使用则会出现未定义行为,释放空间失败。
17.以独立语句将newed对象至于智能指针
Store newed objects in smart pointers in standalone statements.
假如我们有一个函数用来揭示处理程序的优先权,另一个函数用来在某动态分配所得的Widget上进行某些带有优先权的处理:
int priority();
void processWidget(std::shared_ptr<Widget> pw, int priority);
隐式转换方式,将Widget类型转换成shared_ptr类型
processWidget(std::shared_ptr<Widget>(new Widget),priority());
但是上述语句却存在内存泄漏,new Widget必定在shared_ptr构造函数之前执行
- 执行“new Widget”
- 调用shared_ptr构造函数
但是对于priority函数在上述两个步骤执行的前后并不确定。因此priority函数可能在第二位执行,顺序
- 执行“new Widget”
- 执行priority函数
- 调用shared_ptr构造函数
如果priority函数执行失败,抛出异常,那么“new Widget”返回的指将会遗失,在“资源被创建”和“资源被转换为管理对象”这两个节点之间有可能发生异常。
避免这类问题的方法就是,使用分离语句,保证“new Widget”之后立即“被转换为管理对象”。
shared_ptr<Widget> pw(new Widget);
processWidget(pw,priority());
以独立语句将newd对象存储于智能指针内.如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露。