auto_ptr解析

转自 http://www.cppblog.com/SmartPtr/archive/2007/07/05/27549.html
auto_ptr解析



auto_ptr是当前C++标准库中提供的一种智能指针,或许相对于boost库提供的一系列眼花缭乱的智能指

针, 或许相对于Loki中那个无所不包的智能指针,这个不怎么智能的智能指针难免会黯然失色。诚然,

auto_ptr有这样那样的不如人意,以至于程序员必须像使用”裸“指针那样非常小心的使用它才能保证不出

错,以至于它甚至无法适用于同是标准库中的那么多的容器和一些算法,但即使如此,我们仍然不能否认这个小小的auto_ptr所蕴含的价值与理念。


  auto_ptr的出现,主要是为了解决“被异常抛出时发生资源泄漏”的问题。即如果我们让资源在局部对

象构造时分配,在局部对象析构时释放。这样即使在函数执行过程时发生异常退出,也会因为异常能保证

局部对象被析构从而保证资源被释放。auto_ptr就是基于这个理念而设计, 这最早出现在C++之父

Bjarne Stroustrup的两本巨著TC++PL和D&E中,其主题为"resource acquisition is initialization"(raii,资源获

取即初始化),然后又在Scott Meyer的<<More Effective C++>>中相关章节的推动下,被加入了C++标准

库。
  下面我就列出auto_ptr的源代码,并详细讲解每一部分。因为标准库中的代码要考虑不同编译器支持

标准的不同而插入了不少预编译判断,而且命名可读性不是很强(即使是侯捷老师推荐的SGI版本的stl,可

读性也不尽如人意), 这里我用了Nicolai M. Josuttis(<<The C++ standard library>>作者)写的一个

auto_ptr的版本,并做了少许格式上的修改以易于分析阅读。

 

namespace std
{
 template<class T>
 
class auto_ptr 
 {
 
private:
  T* ap; 
 
public:

  
// constructor & destructor ----------------------------------- (1)
  explicit auto_ptr (T* ptr = 0throw() : ap(ptr){}

  
~auto_ptr() throw() 
  {
   delete ap;
  }

  
  
// Copy & assignment --------------------------------------------(2)
  auto_ptr (auto_ptr& rhs) throw() :ap(rhs.release()) {}
  template<class Y>  
  auto_ptr (auto_ptr<Y>& rhs) throw() : ap(rhs.release()) { }

  auto_ptr& operator= (auto_ptr& rhs) throw() 
  {
   reset(rhs.release());
   
return *this;
  }
  template<class Y>
  auto_ptr& operator= (auto_ptr<Y>& rhs) throw() 
  {
   reset(rhs.release());
   
return *this;
  }

  
// Dereference----------------------------------------------------(3)
  T& operator*() const throw() 
  {
   
return *ap;
  }
  T* operator->() const throw() 
  {
   
return ap;
  }

  
// Helper functions------------------------------------------------(4)
  
// value access
  T* get() const throw() 
  {
   
return ap;
  }

  
// release ownership
  T* release() throw()
  {
   T* tmp(ap);
   ap = 0;
   
return tmp;
  }

  
// reset value
  void reset (T* ptr=0throw() 
  {
   
if (ap != ptr) 
   {
    delete ap;
    ap = ptr;
   }
  }

  
// Special conversions-----------------------------------------------(5)
  template<class Y>
  
struct auto_ptr_ref
  {
   Y* yp;
   auto_ptr_ref (Y* rhs) : yp(rhs) {}
  };

  auto_ptr(auto_ptr_ref<T> rhs) throw() : ap(rhs.yp) { }
  auto_ptr& operator= (auto_ptr_ref<T> rhs) throw() 
  {  
   reset(rhs.yp);
   
return *this;
  }
  template<class Y>
  
operator auto_ptr_ref<Y>() throw() 
  {
   
return auto_ptr_ref<Y>(release());
  }
  template<class Y>
  
operator auto_ptr<Y>() throw()
  {
   
return auto_ptr<Y>(release());
  }
 };
}


1 构造函数与析构函数
auto_ptr在构造时获取对某个对象的所有权(ownership),在析构时释放该对象。我们可以这样使用

auto_ptr来提高代码安全性:


int* p = new int(0);


auto_ptr<int> ap(p);


从此我们不必关心应该何时释放p, 也不用担心发生异常会有内存泄漏。


这里我们有几点要注意:


1) 因为auto_ptr析构的时候肯定会删除他所拥有的那个对象,所有我们就要注意了,一个萝卜一个坑,两

个auto_ptr不能同时拥有同一个对象。像这样:


int* p = new int(0);


auto_ptr<int> ap1(p);


auto_ptr<int> ap2(p);


因为ap1与ap2都认为指针p是归它管的,在析构时都试图删除p, 两次删除同一个对象的行为在C++标准

中是未定义的。所以我们必须防止这样使用auto_ptr.


2) 考虑下面这种用法:


int* pa = new int[10];


auto_ptr<int> ap(pa);


因为auto_ptr的析构函数中删除指针用的是delete,而不是delete [],所以我们不应该用auto_ptr来管理一个

数组指针。


3) 构造函数的explicit关键词有效阻止从一个“裸”指针隐式转换成auto_ptr类型。


4) 因为C++保证删除一个空指针是安全的, 所以我们没有必要把析构函数写成:


~auto_ptr() throw() 
{
 if(ap) delete ap;
}

 

2 拷贝构造与赋值
与引用计数型智能指针不同的,auto_ptr要求其对“裸”指针的完全占有性。也就是说一个”裸“指针不能同

时被两个以上的auto_ptr所拥有。那么,在拷贝构造或赋值操作时,我们必须作特殊的处理来保证这个特

性。auto_ptr的做法是“所有权转移”,即拷贝或赋值的源对象将失去对“裸”指针的所有权,所以,与一般

拷贝构造函数,赋值函数不同, auto_ptr的拷贝构造函数,赋值函数的参数为引用而不是常引用(const

reference).当然,一个auto_ptr也不能同时拥有两个以上的“裸”指针,所以,拷贝或赋值的目标对象将先

释放其原来所拥有的对象。


这里的注意点是:


1) 因为一个auto_ptr被拷贝或被赋值后, 其已经失去对原对象的所有权,这个时候,对这个auto_ptr的

提领(dereference)操作是不安全的。如下:


int* p = new int(0);


auto_ptr<int> ap1(p);


auto_ptr<int> ap2 = ap1;


cout<<*ap1; //错误,此时ap1只剩一个null指针在手了


这种情况较为隐蔽的情形出现在将auto_ptr作为函数参数按值传递,因为在函数调用过程中在函数的作用

域中会产生一个局部对象来接收传入的auto_ptr(拷贝构造),这样,传入的实参auto_ptr就失去了其对原

对象的所有权,而该对象会在函数退出时被局部auto_ptr删除。如下:


void f(auto_ptr<int> ap){cout<<*ap;}


auto_ptr<int> ap1(new int(0));


f(ap1);
cout<<*ap1; //错误,经过f(ap1)函数调用,ap1已经不再拥有任何对象了。


因为这种情况太隐蔽,太容易出错了, 所以auto_ptr作为函数参数按值传递是一定要避免的。或许大家

会想到用auto_ptr的指针或引用作为函数参数或许可以,但是仔细想想,我们并不知道在函数中对传入的

auto_ptr做了什么, 如果当中某些操作使其失去了对对象的所有权, 那么这还是可能会导致致命的执

行期错误。 也许,用const reference的形式来传递auto_ptr会是一个不错的选择。

 

2)我们可以看到拷贝构造函数与赋值函数都提供了一个成员模板在不覆盖“正统”版本的情况下实现

auto_ptr的隐式转换。如我们有以下两个类


class base{};


class derived: public base{};


那么下列代码就可以通过,实现从auto_ptr<derived>到auto_ptr<base>的隐式转换,因为derived*可以转

换成base*类型


auto_ptr<base> apbase = auto_ptr<derived>(new derived);

 

3) 因为auto_ptr不具有值语义(value semantic), 所以auto_ptr不能被用在stl标准容器中。


所谓值语义,是指符合以下条件的类型(假设有类A):


A a1;


A a2(a1);


A a3;


a3 = a1;


那么


a2 == a1, a3 == a1


很明显,auto_ptr不符合上述条件,而我们知道stl标准容器要用到大量的拷贝赋值操作,并且假设其操作

的类型必须符合以上条件。


3 提领操作(dereference)


提领操作有两个操作, 一个是返回其所拥有的对象的引用, 另一个是则实现了通过auto_ptr调用其所

拥有的对象的成员。如:


struct A
{ 
 void f();
}
auto_ptr<A> apa(new A);


(*apa).f();


apa->f();


当然, 我们首先要确保这个智能指针确实拥有某个对象,否则,这个操作的行为即对空指针的提领是未

定义的。

 

4 辅助函数
1) get用来显式的返回auto_ptr所拥有的对象指针。我们可以发现,标准库提供的auto_ptr既不提供从“裸”

指针到auto_ptr的隐式转换(构造函数为explicit),也不提供从auto_ptr到“裸”指针的隐式转换,从使用上来

讲可能不那么的灵活, 考虑到其所带来的安全性还是值得的。


2) release,用来转移所有权


3) reset,用来接收所有权,如果接收所有权的auto_ptr如果已经拥有某对象, 必须先释放该对象。

 

5 特殊转换
这里提供一个辅助类auto_ptr_ref来做特殊的转换,按照标准的解释, 这个类及下面4个函数的作用

是:使我们得以拷贝和赋值non-const auto_ptrs, 却不能拷贝和赋值const auto_ptrs. 我无法非常准确

的理解这两句话的意义,但根据我们观察与试验,应该可以这样去理解:没有这些代码,我们本来就可以

拷贝和赋值non-const的auto_ptr和禁止拷贝和赋值const的auto_ptr的功能, 只是无法拷贝和赋值临时

的auto_ptr(右值), 而这些辅助代码提供某些转换,使我们可以拷贝和赋值临时的auto_ptr,但并没有

使const的auto_ptr也能被拷贝和赋值。如下:


auto_ptr<int> ap1 = auto_ptr<int>(new int(0));


auto_ptr<int>(new int(0))是一个临时对象,一个右值,一般的拷贝构造函数当然能拷贝右值,因为其参

数类别必须为一个const reference, 但是我们知道,auto_ptr的拷贝函数其参数类型为reference,所以

,为了使这行代码能通过,我们引入auto_ptr_ref来实现从右值向左值的转换。其过程为:


1) ap1要通过拷贝 auto_ptr<int>(new int(0))来构造自己


2) auto_ptr<int>(new int(0))作为右值与现有的两个拷贝构造函数参数类型都无法匹配,也无法转换成该

种参数类型


3) 发现辅助的拷贝构造函数auto_ptr(auto_ptr_ref<T> rhs) throw()


4) 试图将auto_ptr<int>(new int(0))转换成auto_ptr_ref<T>


5) 发现类型转换函数operator auto_ptr_ref<Y>() throw(), 转换成功,从而拷贝成功。


从而通过一个间接类成功的实现了拷贝构造右值(临时对象)


同时,这个辅助方法不会使const auto_ptr被拷贝, 原因是在第5步, 此类型转换函数为non-const

的,我们知道,const对象是无法调用non-const成员的, 所以转换失败。当然, 这里有一个问题要注

意, 假设你把这些辅助转换的代码注释掉,该行代码还是可能成功编译,这是为什么呢?debug一下,

 

 我们可以发现只调用了一次构造函数,而拷贝构造函数并没有被调用,原因在于编译器将代码优化掉

了。这种类型优化叫做returned value optimization,它可以有效防止一些无意义的临时对象的构造。当

然,前提是你的编译器要支持returned value optimization。

  可见,auto_ptr短短百来行的代码,还是包含了不少"玄机"的。 

转载于:https://www.cnblogs.com/XiHua/p/3711025.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/273763.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Spring——自定义属性编辑器+Bean的生存范围+Bean的生命周期

一、自定义属性编辑器&#xff08;一个类&#xff09;&#xff1a; 步骤&#xff1a; 1.写一个类&#xff0c;这个类继承PropertyEditorSupport。 2.重写setAsText()方法。 3.在bean.xml文件中添加属性编辑器的bean。 例子&#xff1a;点击打开链接 二、Bean的生存范围&#xf…

数据库---增删改查

1、添加数据INSERT INTO 表名(字段名1,字段名2...) values(值1,值2...); INSERT INTO newstu(id,name)values(12,胡歌);INSERT INTO 表名 values(值1&#xff0c;值2); INSERT INTO newstu values(12,胡歌); 注意&#xff1a; 值与字段必须一一对应&#xff0c;且个数相同&…

数据库---查询(详细)

1、查询 SELECT * FROM 表名 WHERE 条件&#xff1b; (1)、SELECT * FROM 表名&#xff1b;#查询表内的所有数据 SELECT * FROM PRODUCT;(2)、SELECT 字段1&#xff0c;字段2... FROM 表名;#查询表内的指定字段的数据 SELECT PIN,PRICE FROM PRODUCT; (3)、SELECT * FRO…

微信公众平台开发接口PHP SDK完整版

官方提供的SDK只有一个文本消息功能&#xff0c;我们将所有消息的消息类型及事件响应都整理了进来&#xff0c;并且加入日志记录&#xff0c;代码如下&#xff1a; 更新日志&#xff1a; 2013-01-01 版本1.02014-03-15 增加图片、视频、语音的内容回复2014-04-09 增加菜单链接事…

BZOJ3570 : DZY Loves Physics I

考虑两个质量均为m&#xff0c;速度分别v1、v2的小球发生完全弹性碰撞的影响&#xff1a; 由动能守恒得&#xff1a; $\frac{1}{2}mv_1^2\frac{1}{2}mv_2^2\frac{1}{2}mv_1^2\frac{1}{2}mv_2^2$$v_1^2v_2^2v_1^2v_2^2$ 由动量守恒得&#xff1a; $mv_1mv_2mv_1mv_2$$v_1v_2v_1v…

数据库---主键约束

1、设置主键约束(1)、方式一&#xff1a;创建表时&#xff0c;在字段在描述处声明指定字段为主键&#xff1b; CREATE TABLE 表名(字段 类型(长度) PRIMARY KEY,字段 类型(长度) );CREATE TABLE STUDENT(STU_ID INT PAIMARY KEY,STU_NAME VARCHAR(255) );(2)、方式二&#xff1…

关于VS2010帮助文档的使用和VC6.0在Win7 64位下的使用

由于购置了新的电脑&#xff0c;安装的是Win7 64位的操作系统&#xff0c;这两天我在重新安装编程环境的时候遇到一些问题&#xff0c;现在都解决掉了&#xff0c;分享出来以供需要的人参考。 一、以前使用的是VS2008&#xff0c;从VC6到2008这么多年了一只使用的MSDN是带索引的…

数据库---聚合查询

聚合查询&#xff1a;纵向查询&#xff0c;它是对一列的值进行计算&#xff0c;然后返回一个单一的值&#xff1b;另外聚合查询是忽略空值。 count&#xff1a;统计指定列不为NULL的记录行数&#xff1b;sum&#xff1a;计算指定列的数值和&#xff0c;如果指定列类型不是数…

【记忆法】心智绘图

心智绘图方法 1.提出具体、明确的记忆任务(以30min为单位) 记忆25min休息5min2.及时复习&#xff0c;减少遗忘(记忆关键字) 看到关键词能够回想起全部的内容。看到关键词能够产生生动的图像。3.平时多背诵 有时间多记一些小东西、小片段4.复述和再现 听到或看到什么好的故事要及…

数据库---分组查询

一、分组查询&#xff1a;指使用group by字句对查询信息进行分组。格式&#xff1a; SELECT 字段1,字段2... FROM 表名 GROUP BY 分组字段 HAVING 分组条件; 分组操作中的having子语句&#xff0c;是用于在分组后对数据进行过滤的&#xff0c;作用类似于where条件。 1、having与…

centos安装coreseek

安装依赖 yum install make gcc g gcc-c libtool autoconf automake imake mysql-devel libxml2-devel expat-devel 下载coreseek 4.1 $ wget http://www.coreseek.cn/uploads/csft/4.0/coreseek-4.1-beta.tar.gz $ tar xzvf coreseek-4.1-beta.tar.gz $ cd coreseek-4.1-beta…

HTML---HTML简介

1、HTML简介&#xff1a;*什么事HTML&#xff1f; -HypperText Markup Language&#xff1a;超文本标记语言&#xff0c;网页语言。**超文本&#xff1a;超出文本的范畴&#xff0c;使用HTML可以轻松实现简单操作。**标记&#xff1a;HTML所有的操作都是通过标记实现的&…

谷歌Android各版本的代号变迁

简单回顾下Android发展历程2003年10月&#xff0c;Andy Rubin&#xff08;安迪鲁宾&#xff09;等人创建Android公司&#xff0c;并组建Android团队。2005年8月17日&#xff0c;Google低调收购了成立仅22个月的高科技企业Android及其团队。安迪鲁宾成为Google公司工程部副总裁&…

HTMLL---HTML中常用标签(文字、注释标签)

1、文字标签和注释标签*文字标签和注释标签- <font></font>-属性* size:文字的大小&#xff0c;取值范围1-7&#xff0c;超出7默认为7* color:文字的颜色-两种表示方式**英文单词&#xff1a; red, green, blue, black, white, yellow, gray**使用十六进制数表示&a…

Map.Entry

如何简便的遍历Map 你是否已经对每次从Map中取得关键字然后再取得相应的值感觉厌倦&#xff1f; 使用JDK5的增强for循环&#xff0c;来遍历Map,简单多了&#xff0c;比Map.Entry还方便。 看代码&#xff1a; Java代码 for (String key : map.keySet()) { System.out.pri…

HTML---HTML中常用的标签(标题,水平,特殊标签)

1、标题标签、水平标签和特殊字符*标题标签- <h1>... </h1>、 <h2>... </h2>、 <h3>... </h3>、... <h6>... </h6>-特点&#xff1a;从h1到h6字体由大到小、同时 自动换行。*水平标签- <hr/>-属性** size&#xff1a;水…

图解SQL的inner join(join)、left join、right join、full outer join、union、union all的区别...

对于SQL的Join&#xff0c;在学习起来可能是比较乱的。我们知道&#xff0c;SQL的Join语法有很多inner的&#xff0c;有outer的&#xff0c;有left的&#xff0c;有时候&#xff0c;对于Select出来的结果集是什么样子有点不是很清楚。Coding Horror上有一篇文章,通过文氏图 Ven…

数据库---四中连接查询(交叉、左连接、右连接、完整查询)

个人博客 &#xff1a;https://www.siyuan.run CSDN&#xff1a;https://blog.csdn.net/siyuan 微信小程序&#xff1a;思远Y 1、交叉连接查询 : (基本不适用---得到的是两张表数据的乘积) 语法&#xff1a;SELECT * FROM 表1,表2; PS&#xff1a;与表关系无关 示例&#xff…

如何用C#语言构造蜘蛛程序

"蜘蛛"&#xff08;Spider&#xff09;是Internet上一种很有用的程序&#xff0c;搜索引擎利用蜘蛛程序将Web页面收集到数据库&#xff0c;企业利用蜘蛛程序监视竞争对手的网站并跟踪变动&#xff0c;个人用户用蜘蛛程序下载Web页面以便脱机使用&#xff0c;开发者利…

数据库---练习题(45道)

准备工作 CREATE DATABASE STUDENTS; CREATE TABLE STUDENT( SNO VARCHAR(32) PRIMARY KEY NOT NULL, SNAME VARCHAR(32) NOT NULL, SSEX VARCHAR(32) NOT NULL, SBIRTHDAY DATETIME, CLASS VARCHAR(20) ); CREATE TABLE COURSE( CNO VARCHAR(20) PRIMARY KEY NOT NULL, CNAM…