Effective C++ 第三章——资源管理

Effective C++ 第三章——资源管理

条款13——以对象管理资源

    当动态内存分配以后，需要自己调用delete释放资源，这是很不安全的，可能由于函数过早的return或者异常的抛出，这是都可能导致没有执行delete语句。我们应该依靠C++的“析构函数的自动调用机制”确保内存的释放。
    C++标准库提供智能指针以避免资源泄露，auto_ptr（被unique_ptr替代，不够安全）、unique_ptr、shared_ptr及weak_ptr，其析构函数自动对其所指对象调用delete。
   
以对象管理支援的关键：

• 获得资源后立刻放进管理对象（managing object）内：资源取得时机便是初始化时机（Resource Acquisition Is Initialzation; RAII）;
• 管理对象运用析构函数确保资源被释放：不论控制流如何离开区块，一旦对象被销毁（例如当对象离开作用域）其析构函数自然会被自动调用，于是资源被释放。

请记住：

• 为防止资源泄露，请使用RAII对象，他们在构造函数中获得资源并在析构函数中释放资源。
• 两个常被使用的RAII class分别是shared_ptr和unique_ptr。
  
  
  

条款14——在资源管理类中小心copying行为

当一个RAII类对象被复制时会发生什么？

• 禁止复制：如条款6一样，定义一个“Uncopyable”基类，将其copying函数设为私有。
• 对底层资源采用“引用计数法”（reference-count）：保留资源直到他最后一个使用者被销毁，复制RAII对象时，该资源的“被引用数”递增。
• 复制底部资源：复制资源管理对象时进行的是深拷贝，例如一些成员是指向heap内存的指针。
• 转移底部支援的所有权：RAII对象复制时，可能会出现资源的拥有权从被复制物转移到目标物。

请记住：

• 复制RAII对象必须一并复制它所管理的资源，所以资源的cpoying行为决定RAII对象的copying行为；
• 普遍而常见的RAII class copying 行为是：抑制复制、实行引用计数法。不过其他行为也都可能实现。
  
  
  

条款15——在资源管理类中提供对原始资源的访问

在资源管理类中提供一个函数可以将RAII class对象转换为其含有的原始资源，可以通过以下两种方法：

• 显示转换：定义一个成员函数，或者重载->、*运算符；
• 隐式转换：定义一个隐式转换函数

operator 类型名()
{
	//实现类型转换的语句
}
// 1.在函数名前面不能指定函数类型,函数没有参数｡
// 2.其返回值的类型是由函数名中指定的类型名来确定的｡
//3.类型转换函数只能作为成员函数,因为转换的主体是本类的对象，不能作为友元函数或普通函数｡
//4.从函数形式可以看到,它与运算符重载函数相似,都是用关键字operator开头,只是被重载的是类型名｡
//double类型经过重载后,除了原有的含义外,还获得新的含义(将一个Complex类对象转换为double类型数据
//,并指定了转换方法)｡这样,编译系统不仅能识别原有的double型数据,而且还会把Complex类对象作为double型数据处理｡

请记住：

• APIs往往要求访问原始资源，所以每一个RAII class 应该提供一个“取得其所管理的资源”的办法；
• 对原始资源的访问可能经由显示转换或隐式转换，一般而言显示转换比较安全，但隐式转换对客户比较方便。
  
  
  

条款16——成对使用new和delete时要采用相同的形式

    如果你调用new时使用了[ ]，你在对应调用delete时也应该使用[ ];如果你调用new时没有使用了[ ]，你在对应调用delete时也不应该使用[ ]。
    当你在一个class中含有一个指针指向动态分配内存时，并提供多个构造函数时，它们需要使用相同的形式new，不然析构函数不知道使用何种形式的delete。
    使用typedef定义某种类型后，用new创建该种对象，也要注意delete的形式。

typedef std::string AddressLines [4];
std::string* pal = new AddressLines;
...
delete pal;//错误，行为未定义
delete [] pal;//正确

请记住：

• 如果你在new表达式中使用了[ ]，你在对应调用delete表达式也应该使用[ ];如果你new表达式中没有使用了[ ]，一定不要在对应delete表达式也不应该使用[ ]。
  
  
  

条款17——以独立语句将newed对象置入智能指针

请记住：

• 以独立的语句将newed对象存储到智能指针内。如果不这样做，一旦异常抛出，有可能导致难以察觉的资源泄露。