Guru of the Week 条款18:Iterators(迭代子)

原创 2001年12月24日 13:39:00

GotW #18 Iterators<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

著者:Herb Sutter

翻译:K ][ N G of @rk™

[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week栏目,其著作权归原著者本人所有。译者kingofark在未经原著者本人同意的情况下翻译本文。本翻译内容仅供自学和参考用,请所有阅读过本文的人不要擅自转载、传播本翻译内容;下载本翻译内容的人请在阅读浏览后,立即删除其备份。译者kingofark对违反上述两条原则的人不负任何责任。特此声明。

 

Revision 1.0

 

Guru of the Week 条款18Iterators(迭代子)

 

难度:7 / 10

 

(每一个使用标准程序库的程序员都必须注意如下这些常见或罕见的iterator错误。你能从中找出多少错误?)

 

[问题]

如下的程序包含至少4个与iterator有关的问题。你能找出多少个?

 

[解答]

 

如下的程序包含至少4个与iterator有关的问题。你能找出多少个?

到目前为止程序还算不赖。Date class的编写者以signature operator>>(istream&,Date&)提供了一个extractor functionistream_iterator<Date>使它从cin stream读取Date值。copy算法只是把读到的Date信息放入vector

错误:这可能是非法的,因为’last’有可能是e.end(),而此时其是一个不可被施行提领操作的(dereferenceableiterator

如果没有找到指定的值,find算法就会返回其第二个引数(argument)(即范围内最末端的iterator)。在这里,如果”12/31/95”并不在e之中,那么’last’将等于e.end(),其指向container中最末端的下一个位置,并不是一个有效的iterator

错误:这可能是非法的,因为’first’有可能位于’last’之后。

如果在e中不能找到”01/01/95”而能够找到”12/31/95”,那么此时iterator ‘last’将指向集合中先于「iterator ‘first’所指位置(在这里即是末端之后的那个位置)」的某个位置(即等于”12/31/95”的那个Date对象)。然而,copy算法要求’first’必须指向同一集合中先于’last’的位置——这既是说,[first,last ]必须是一个有效范围。

除非你使用一个支持这类检查的标准程序库,否则上述情况的发生将导致在copy算法执行期或执行之后产生core dump,且很难对此进行诊断。

错误:表达式”--e.end()”是非法的。

其原因即便是有些隐讳,也是很简单的:vector<Date>::iterator只是一个Date*,这不允许你修改内建型别的临时对象。例如,下面这样一段平常的代码也是非法的:

幸运的是,可以写出如下(稍微)正确一点的代码且不损失任何效率:

错误:其实这里也还是有其它错误——如果e是空的,那么e.end()-1就不是一个有效的iterator了。

错误:’first’’last’此时有可能不再是有效的iterators

vector是在所谓”chunks”中增长的,这样每次你向其中插入的时候,vector都不必重新分配缓冲区。然而,vector有时还是会被填满,此时再对其进行添加便会引发重新分配。这里,插入操作完成后,vector可能增长也可能不增长。如果增长了,那便会使我们现存的iterators失效,于是接下来的copy将会导致一个很难诊断的core dump

 

[小结]

在使用iterator时,注意如下四个主要问题:

1.  有效的值:可以对iterator施行提领操作(dereferenceable)吗?例如,”*e.end()”总是一个逻辑错误。

2.  有效的生存期:iterator在被使用的时候仍是有效的吗?我们得到它时,它是否已经由于某些操作的施行而成为无效的了?

3.  有效的范围:一对iterators能形成一个合法的范围吗?’first’确实位于’last’之前或等于’last’吗?这对iterator确实指向同一个container内部吗?

4.  非法的内建操纵。例如上述的”--e.end()”,它企图修改一个内建型别的临时对象(幸运的是,编译器会替你注意并发现这个问题;而且对于class型别的iterators,程序库的编写者经常会出于语法便利的考虑而允许这类情况出现)。

(完)

Guru of the Week 条款18:Iterators(迭代子)

GotW #18 Iterators著者:Herb Sutter翻译:K ][ N G of @rk™[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week栏目,其著...
  • hejishan
  • hejishan
  • 2008年04月08日 23:40
  • 165

输入输出迭代子的用法

输入输出迭代子 可以将标准输入对象cin组装成输入流迭代子(istream_iterator),也可以将标准输出对象组装成输出流迭代子(ostream_iterator), 以此来完成输入输出...
  • chijianxingfeng
  • chijianxingfeng
  • 2013年05月02日 23:08
  • 713

迭代遍历二叉树

今天想着学动态规划,不过发现貌似有点难度,功力暂时还不够。然后看到了一个二叉树迭代遍历方法的题目,感觉挺有意思的,就写了个。 通过这个可以总结的写代码的经验。先上代码吧。 前序:/* 前序...
  • c070363
  • c070363
  • 2016年04月24日 21:55
  • 371

Guru of the Week 条款14:类之间的关系(上篇)

GotW #14 Class Relationships Part I著者:Herb Sutter     翻译:kingofark[声明]:本文内容取自www.gotw.ca网站上的Guru of ...
  • kingofark
  • kingofark
  • 2001年10月29日 20:05
  • 1111

Java设计模式之迭代子模式

本文继续介绍23种设计模式系列之观察者模式。定义在软件构建过程中,集合对象内部结构常常变化各异,但对于这些集合对象,我们希望在不暴露其内部结构的同时,可以让外部客户代码透明地访问其中包含的元素;同时这...
  • jason0539
  • jason0539
  • 2015年04月17日 07:26
  • 6637

Guru of the Week 条款17:转型

GotW #17 Casts著者:Herb Sutter翻译:K ][ N G of @rk™[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week栏目,其著作权归原...
  • hejishan
  • hejishan
  • 2008年04月08日 23:41
  • 185

Guru of the Week 条款17:转型

GotW #17 Casts著者:Herb Sutter翻译:K ][ N G of @rk™[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week栏目,其著作权归原著者...
  • kingofark
  • kingofark
  • 2001年12月18日 09:26
  • 1076

Guru of the Week 条款02: 临时对象

GotW #02 Temporary Objects著者:Herb Sutter      翻译:kingofark[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week...
  • kingofark
  • kingofark
  • 2001年10月23日 20:08
  • 1004

Guru of the Week 条款25:auto_ptr

GotW#25 auto_ptr难度:8/10问题考虑下面的代码:那些是好的,那些是安全的,那些是合法的, 那些是非法的?auto_ptr source() { return new T(1); } ...
  • taodm
  • taodm
  • 2002年08月05日 10:20
  • 1153

Guru of the Week 条款19:自动转换

GotW #19 Automatic Conversions著者:Herb Sutter翻译:K ][ N G of @rk™[声明]:本文内容取自www.gotw.ca网站上的Guru of the...
  • kingofark
  • kingofark
  • 2001年12月24日 13:38
  • 1127
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Guru of the Week 条款18:Iterators(迭代子)
举报原因:
原因补充:

(最多只允许输入30个字)