CSDN博客

img kingofark

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

发表于2001/12/24 13:39:00  899人阅读

GotW #18 Iterators

著者: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有关的问题。你能找出多少个?

    int main( int, char*[] ) {
      vector<Date> e;
      copy( istream_iterator<Date>( cin ),
            istream_iterator<Date>(),
            back_inserter( e ) );
      vector<Date>::iterator first =
            find( e.begin(), e.end(), "01/01/95" );
      vector<Date>::iterator last =
            find( e.begin(), e.end(), "12/31/95" );
      *last = "12/30/95";
      copy( first, last, ostream_iterator<Date>( cout, "/n" ) );
      e.insert( --e.end(), TodaysDate() );
      copy( first, last, ostream_iterator<Date>( cout, "/n" ) );
    }

 

[解答]

 

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

    int main( int, char*[] ) {
      vector<Date> e;
      copy( istream_iterator<Date>( cin ),
            istream_iterator<Date>(),
            back_inserter( e ) );

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

      vector<Date>::iterator first =
            find( e.begin(), e.end(), "01/01/95" );
      vector<Date>::iterator last =
            find( e.begin(), e.end(), "12/31/95" ); 
      *last = "12/30/95";

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

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

      copy( first, last,
            ostream_iterator<Date>( cout, "/n" ) );

错误:这可能是非法的,因为’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.insert( --e.end(), TodaysDate() );

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

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

      Date* f();    // 该函数返回Date*
      p = --f();    // 错误;"f() - 1"才是可行的

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

      e.insert( e.end() - 1, TodaysDate() );

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

      copy( first, last,
            ostream_iterator<Date>( cout, "/n" ) );
    }

错误:’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,程序库的编写者经常会出于语法便利的考虑而允许这类情况出现)。

(完)

0 0

相关博文

我的热门文章

img
取 消
img