auto_ptr作用和用法

 

标准auto_ptr智能指针机制很多人都知道，但很少使用它。这真是个遗憾，因为auto_ptr优雅地解决了C++设计和编码中常见的问题，正 确地使用它可以生成健壮的代码。本文阐述了如何正确运用auto_ptr来让你的代码更加安全——以及如何避免对auto_ptr危险但常见的误用，这些 误用会引发间断性发作、难以诊断的bug。

1.为什么称它为“自动”指针？ auto_ptr只是众多可能的智能指针之一。许多商业库提供了更复杂的智能指针，用途广泛而令人惊异，从管理引用的数量到提供先进的代理服务。可以把标 准C++ auto_ptr看作智能指针的Ford Escort(elmar注：可能指福特的一种适合家居的车型)：一个简易、通用的智能指针，它不包含所有的小技巧，不像专用的或高性能的智能指针那么奢 华，但是它可以很好的完成许多普遍的工作，它很适合日常性的使用。

auto_ptr所做的事情，就是动态分配对象以及当对象不再需要时自动执行清理。这里是一个简单的代码示例，没有使用auto_ptr所以不安全：    

// 示例 1(a): 原始代码     //    

 void f()     {       T* pt( new T );

      /*...更多的代码...*/

      delete pt;     }

我们大多数人每天写类似的代码。如果f()函数只有三行并且不会有任何意外，这么做可能挺好的。但是如果f()从不执行delete语句，或者是由于过早的返回，或者是由于执行函数体时抛出了异常，那么这个被分配的对象就没有被删除，从而我们产生了一个经典的内存泄漏。

能让示例1(a)安全的简单办法是把指针封装在一个“智能的”类似于指针的对象里，这个对象拥有这个指针并且能在析构时自动删除这个指针所指的对 象。因为这个智能指针可以简单的当成一个自动的对象（这就是说，它出了作用域时会自动毁灭），所以很自然的把它称之为“智能”指针：

    // 示例 1(b): 安全代码, 使用了auto_ptr     //    

void f()     {       auto_ptr<T> pt( new T );

      /*...更多的代码...*/

    } // 酷: 当pt出了作用域时析构函数被调用，       // 从而对象被自动删除

现在代码不会泄漏T类型的对象，不管这个函数是正常退出还是抛出了异常，因为pt的析构函数总是会在出栈时被调用。清理会自动进行。

最后，使用一个auto_ptr就像使用一个内建的指针一样容易，而且如果想要“撤销”资源，重新采用手动的所有权，我们只要调用release():

    // 示例 2: 使用一个 auto_ptr     //    

void g()     {       T* pt1 = new T;       // 现在，我们有了一个分配好的对象

      // 将所有权传给了一个auto_ptr对象       auto_ptr<T> pt2( pt1 );

      // 使用auto_ptr就像我们以前使用简单指针一样       *pt2 = 12;       // 就像 "*pt1 = 12;"       pt2->SomeFunc(); // 就像 "pt1->SomeFunc();"

      // 用get()来获得指针的值       assert( pt1 == pt2.get() );

      // 用release()来撤销所有权       T* pt3 = pt2.release();

      // 自己删除这个对象，因为现在       // 没有任何auto_ptr拥有这个对象       delete pt3;

    } // pt2不再拥有任何指针，所以不要       // 试图删除它...ok，不要重复删除

最后，我们可以使用auto_ptr的reset()函数来重置auto_ptr使之拥有另一个对象。如果这个auto_ptr已经拥有了一个对象，那么，它会先删除已经拥有的对象，因此调用reset()就如同销毁这个auto_ptr，然后新建一个并拥有一个新对象：

    // 示例 3: 使用reset()     //    

void h()     {       auto_ptr<T> pt( new T(1) );

      pt.reset( new T(2) );         // 删除由"new T(1)"分配出来的第一个T

    } // 最后，pt出了作用域，       // 第二个T也被删除了

 

auto_ptr用法：

1.需要包含头文件<memory>

2.Constructor：explicit auto_ptr(X* p = 0) throw(); 将指针p交给auto_ptr对象托管

3.Copy constructor: auto_ptr(const auto_ptr&) throw(); template<class Y> auto_ptr(const auto_ptr<Y>& a) throw(); 指针的托管权会发生转移

4.Destructor: ~auto_ptr(); 释放指针p指向的空间

5.提供了两个成员函数 X* get() const throw();//返回保存的指针，对象中仍保留指针 X* release() const throw();//返回保存的指针，对象中不保留指针

auto_ptr实现关键点 1.利用特点”栈上对象在离开作用范围时会自动析构”

2.对于动态分配的内存，其作用范围是程序员手动控制的，这给程序员带来了方便但也不可避免疏忽造成的内存泄漏，毕竟只有编译器是最可靠的。

3.auto_ptr通过在栈上构建一个对象a，对象a中wrap了动态分配内存的指针p，所有对指针p的操作都转为对对象a的操作。而在a的析构函数中会自动释放p的空间，而该析构函数是编译器自动调用的，无需程序员操心。

多说无益，看一个最实用的例子：

#include <iostream>

#include <memory>

using namespace std;

class TC

{

      public:

             TC(){cout<<"TC()"<<endl;}

             ~TC(){cout<<"~TC()"<<endl;}

};

void foo(bool isThrow)

{

     auto_ptr<TC> pTC(new TC);          //方法2

     //TC *pTC = new TC;                //方法1

     try

     {

                  if(isThrow)

                             throw "haha";

     }

     catch(const char* e)

     {

                 //delete pTC;           //方法1

                 throw;

     }

     //delete pTC;           //方法1

}

int main()

{

    try

    {

          foo(true);

    }

    catch(...)

    {

         cout<<"caught"<<endl;

    }

    system("pause");

}

1.如果采用方案1，那么必须考虑到函数在因throw异常的时候释放所分配的内存。 这样造成的结果是在每个分支处都要很小心的手动 delete pTC;

2.如果采用方案2，那就无需操心何时释放内存，不管foo()因何原因退出， 栈上对象pTC的析构函数都将调用，因此托管在之中的指针所指的内存必然安全释放。

至此，智能指针的优点已经很明了了。

但是要注意使用中的一个陷阱,那就是指针的托管权是会转移的。 例如在上例中，如果 auto_ptr<TC> pTC(new TC);   auto_ptr<TC> pTC1=pTC; 那么,pTC1将拥有该指针，而pTC没有了，如果再用pTC去引用，必然导致内存错误。

要避免这个问题，可以考虑使用采用了引用计数的智能指针，例如boost::shared_ptr等

 

auto_ptr不会降低程序的效率，但auto_ptr不适用于数组，auto_ptr根本不可以大规模使用。 shared_ptr也要配合weaked_ptr，否则会很容易触发循环引用而永远无法回收内存。 理论上，合理使用容器加智能指针，C++可以完全避免内存泄露，效率只有微不足道的下降(中型以上程序最多百分之一)

-----------------------------------------------------------------------------------------------

动态内存使用最多的是在C++应用程序的代码中。有过编程经验的程序员虽然都知道new操作符的使用一定要与delete匹配，在某些场合仍然可能有内存溢出。当异常被掷出时，程序的正常控制流程被改变，因此导致潜在的内存溢出。例如，

void g() //可能掷出
{
    if (some_condition == false)
      throw X();
}

void func() 
{
    string * pstr = new string;
    g(); //如果 g 掷出一个异常，内存溢出
    delete pstr; //如果 g 掷出一个异常，则此行为不能达到的代码行。
}
int main()
{
    try
    {
      func();
    }
    catch(...)
    {}
}

　　当 g 掷出一个异常，异常处理机制展开堆栈：g()退出，同时控制被转移到 main() 的 catch(...)代码块。这时，无论怎样，func()中的delete语句都不会被执行，由此导致pstr的内存溢出。要是使用局部自动串变量，而 不是使用动态分配-内存溢出就不会出现了：

string str; //局部自动对象
g(); //没有内存溢出

　 　许多数据重要的结构以及应用，象链表，STL容器，串，数据库系统以及交互式应用必须使用动态内存分配，因此仍然冒着万一发生异常导致内存溢出的风险。 C++标准化委员会意识到了这个漏洞并在标准库中添加了一个特殊的类模板，它就是std::auto_ptr，其目的是促使动态内存和异常之前进行平滑的 交互。Auto_ptr保证当异常掷出时分配的对象（即：new操作符分配的对象）能被自动销毁，内存能被自动释放。下面我们就来讨论使用动态内存时，如 何正确和有效地使用auto_ptr来避免资源溢出。这个技术适用于文件，线程，锁定以及与此类似的资源。
　　Auto_ptr的定义可以在<memory.h>中找到。与标准库中其它的成员一样，它被声明在命名空间std::中。当你实例化 auto_ptr对象时，对它进行初始化的方法是用一个指针指向动态分配的对象，下面是实例化和初始化auto_ptr对象的例子：

#include <memory>
#include <string>
using namespace std;
void func()
{
    auto_ptr<string> pstr (new string); /* 创建并初始化auto_ptr */
}

　　auto_ptr后面的尖括弧里指定auto_ptr指针的类型，在这个例子中是string。然后auto_ptr句柄的名字，在这个例子中是 pstr。最后是用动态分配的对象指针初始化这个实例。注意你只能使用auto_ptr构造器的拷贝，也就是说，下面的代码是非法的：

auto_ptr<string> pstr  = new string; //编译出错

Auto_ptr是一个模板，因此它是完全通用的。它可以指向任何类型的对象，包括基本的数据类型：

auto_ptr<int> pi  (new int);

一旦你实例化一个auto_ptr，并用动态分配的对象地址对它进行了初始化，就可以将它当作普通的对象指针使用，例如：

*pstr = "hello world"; //赋值
  pstr->size(); //调用成员函数

之所以能这样做是因为auto_ptr重载了操作符&,*和->。不要被语法误导，记住pstr是一个对象，不是一个指针。

    auto_ptr是如何解决前面提到的内存溢出问题呢？auto_ptr的析构函数自动摧毁它绑定的动态分配对象。换句话说，当pstr的析构函数执行 时，它删除构造pstr期间创建的串指针。你绝不能删除auto_ptr，因为它是一个本地对象，它的析构函数是被自动调用的。让我们看一下函数 func()的修订版本,这次使用了auto_ptr：

void func() 
  {
    auto_ptr<string>  pstr (new string);
    g();  //如果g()掷出异常，pstr 被自动摧毁 
  }

　　C++保证在堆栈展开过程中，自动存储类型的对象被自动摧毁。因此，如果g()掷出异常，pstr的析构函数将会在控制被转移到catch(...) 块之前执行。因为pstr的析构函数删除其绑定的串指针，所以不会有内存溢出发生。这样我们在使用动态分配对象时，利用auto_ptr就实现了自动和安 全的本地对象。

如何避免使用auto_ptr的缺陷

　　auto_ptr并不是完美无缺的，它的确很方便，但也有缺陷，在使用时要注意避免。首先，不要将auto_ptr对象作为STL容器的元素。C++标准明确禁止这样做，否则可能会碰到不可预见的结果（在另文中讨论）。

    auto_ptr的另一个缺陷是将数组作为auto_ptr的参数：

auto_ptr<char>  pstr (new char[12] ); //数组；为定义

　　记住不管什么时候使用数组的new操作时，必须要用delete[]来摧毁数组。因为auto_ptr的析构函数只对非数组类型起作用。所以数组是不 能被正确摧毁的话，程序的行为是不明确的。总之，auto_ptr控制一个由new分配的单对象指针，仅此而已。