读书笔记Effective-C03资源管理

作者：LogM

本文原载于 https://segmentfault.com/u/logm/articles，不允许转载~

3. 资源管理

• 3.1 条款 13：使用 ” 资源管理类 ” 管理资源

  • 对于 new 出来的对象，某些意外情况下 delete 没有被执行（代码遗漏、鲁棒性低或者出现异常），导致资源泄漏。作者建议使用智能指针管理 new 出来的对象。
  • auto_ptr在拷贝或者赋值时，新指针获得资源拥有权，旧指针变为 null。

  std::auto_ptr<Investment> pInv1(createInvestment());  //pInv1 获得资源拥有权
  std::auto_ptr<Investment> pInv2(pInv1);  //pInv2 获得资源拥有权，pInv1 变 null
  pInv1 = pInv2;   //pInv1 获得资源拥有权，pInv2 变 null

  • shared_ptr使用计数的方式来确定有哪些指针在使用该资源，计数为 0 释放资源。它的拷贝和赋值则没有 auto_ptr 的那个问题。

• 3.2 条款 14：在资源管理类中小心拷贝行为

  • 接 3.1，在某些不适用 ” 智能指针 ” 的场景，需要自定义 ” 资源管理类 ” 来管理资源，作者建议需要考虑下这个类的拷贝和赋值。

• 3.3 条款 15：在 ” 资源管理类 ” 中提供对原始资源的访问

  • 在 3.1，我们使用智能指针管理对象，此时指针类型是 std::auto_ptr<Investment>，但如果有个函数需要类型为Investment* 的参数怎么办呢？
  • 智能指针有 .get() 函数可以显式转换成原始指针；它们也重载了 operator-> 和operator*，可以隐式转换。
  • 类似的，自定义的 ” 资源管理类 ” 也需要考虑显示转换和隐式转换，提供对原始资源的访问。

• 3.4 条款 16：成对使用 new 和 delete 时要采取相同形式

  • 简单来说，就是 new 出来的对象要用 delete 释放，new []出来的对象要用 delete [] 释放。
  • new出来的对象如果使用 delete [] 释放，将导致未定义的行为；new []出来的对象如果用 delete 释放，很可能只释放了数组的第一个元素。

• 3.5 条款 17：以独立语句将对象置入智能指针

  • // 假设有下面这个函数，它有两个参数，调用该函数时，会做下面三件事：//a. 调用 new Widget
    //b. 执行 shared_ptr 的构造
    //c. 执行 priority()
    //
    // 执行顺序是未定义的，可能为 a ->b->c，也可能 a ->c->b 等等。注意，当顺序为 a ->c->b，且 priority()抛出异常时，资源泄漏。processWidget(std::shared_ptr<Widget>(new Widget), priority());
    
    // 解决方法：别偷懒，写成两句话
    std::shared_ptr<Widget> pW(new Widget);
    processWidget(pW, priority());