实现auto_ptr的两种方法

我们都知道，实现auto_ptr有两种方法：

第一种方法：在上一篇博客中我已经实现了，主要思想是管理权转移。

第二种方法：它是我们c++标准库中以前的一个版本，主要思想是在auto_ptr类中除了有一个指针的成员变量以外还有一个bool类型的成员变量_owner。构造函数中将_owner设为真，表示对象是指针所指向的内存的拥有者，当要赋值时(ap1=ap2)，将ap1的_owner置为true,ap2的_owner置为false。

这样我们析构对象时只要检查它的_owner是否为true。为真就释放内存，不为真就不释放。

主要实现如下：

#include<iostream>using namespace std;template<class T>class AutoPtr{public:     AutoPtr(T* ptr)     :_ptr(ptr)     , _owner(true)     {}     ~AutoPtr()     {          if (_owner)          {               delete _ptr;          }     }     AutoPtr(AutoPtr<T>& ap)      :_ptr(ap._ptr)      , _owner(true)     {          ap._owner = false;     }     AutoPtr& operator=(AutoPtr<T>& ap)     {          if (this != &ap)         {                  if (_owner)               {                delete _ptr;               }           _ptr = ap._ptr;           _owner = true;           ap._owner = false;          }      return *this;     }     T* operator->()     {          return _ptr;     }     T& operator*()     {          return *_ptr;     }private:     T* _ptr;     bool _owner;};

看完auto_ptr的实现，有人会问：

看起来这种方法更好些，它实现了可以一般指针的使用方式，可以有多个指针指向同一块内存，并且都可以访问这块内存，而我们知道，新版本的auto_ptr的实现方式（管理权转移）最大的缺点就是不能有几个指针指向同一块内存，一个智能指针只能指向一块内存。

既然旧版本的智能指针实现方式比新版本的要好用，那为什么会被替换呢？

 

请看下面一段代码：

AutoPtr<int> ap1(new int(1)); if (1) {  AutoPtr<int> ap2(ap1); } *ap1 = 3;

这段代码是用旧版本实现的智能指针（ap1）指向一个动态开辟的内存，然后在if条件语句中又有一个ap2指向这块内存,我们会知道，根据旧版的智能指针的实现原理，ap1的_owner为false，ap2的_owner为true。那么除了if条件语句的局部作用域，ap2就自动调用析构函数释放内存，那么当我们在外面*ap1=3时，访问到的是一块已经被释放了的内存，那么程序这时就会出现问题。

 

如果是新版的auto_ptr，它提供了一个公有成员函数GetPtr(),可以获取指针_ptr，当发生这种情况时，它可以先判断_ptr是否为空，然后才去访问内存。旧版本这样做是无用的，因为ap1的_ptr并不为空。