ITPub博客

首页 > 应用开发 > IT综合 > Guru of the week:#18 迭代指针. (转)

Guru of the week:#18 迭代指针. (转)

原创 IT综合 作者:amyz 时间:2007-11-29 09:32:36 0 删除 编辑
Guru of the week:#18 迭代指针. (转)[@more@]

/*此文是译者出于自娱翻译的GotW(Guru of the Week)系列文章的一篇,原文的版权是属于Hub Sutter(著名的C++专家,《Exceptional C++》的作者)。此文的翻译没有征得原作者的同意,只供学习讨论。——译者:黄森堂*/

#18 迭代指针.

难度:7/10

任何程序在使用标准库都知道使用公共与非公共iterator容易犯错误,你发现了多少种呢?

问题:

以下程序至少有四处关于iterator的问题,你发现多少呢?

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


解决方法:

以下程序至少有四处关于iterator的问题,你发现多少呢?

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


到这儿是好的,Date类重载了运算符>>( istream&, Date& )来提供抽取功能,Date类用istream_iterator从cin流中读取Date数据,copy算法仅仅填充Date数据到vector.

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


错误:这儿是非法的,原为last指针可能指向e.end,因此这不是一个有新效的间接引用的iterator

find算法需要两个参数,如果值没有找到,在这情况里,如果"12/31/95"不在e里面,那么last是等于e.end(),它指向越过容器的底,且是无效的iterator.

copy( first, last, ostream_iterator( cout, "n" ) );


错误:这儿是非法的,原因first指针实际上在last之后。

如果"01/01/95"在 e里面不找到,但"12/31/95"找到了,那么迭代品last将指向在对象集合里的对象(Date对象等于"12/31/95"),但first指向end,然而,copy需要first指向第一个在对象集合的对象,同样last是相似的,[first, last]必须是有效的范围。

除非你使用标准库的调试版本,或许问题在调试阶段中找到。

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


错误:表达式"--e.end()"是不合法的。

这个理由简单,vector::iterator是简单的Date*,且你不允许去修改内建类型的临时对象,例如,以下是很明显示是非常代码:

Date* f(); // 函数返回Date* p = --f(); // error, but could be "f() - 1"


幸亏的是,这儿没有效率损失:

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


错误:这儿仍然有其它错误...,如果e是空的,e.end()-1是无效的iterator.

copy( first, last, ostream_iterator( cout, "n" ) ); }


错误:first与last不是有效的iterator

当你在插入对象到vector的任何时候,它不是重新分配缓冲,而是在内存块中进行追加,然而,有时vector可能满了,此时增加对象将触发重新分配,这儿,例如当插入操作返回结果,vector可能需要或不需要重新分配,如果它没有这样做,在我们已存在的iterator与copy中可能是无效的。

总结:

当你使用iterator时,这儿有四点注意:

1.有效的值:间接引用的iterator是有效吗?,例如,"*e.end()"总是逻辑错误的。

2.有效的生存期:当你开始使用iterator时候它还仍然有效吗?,当我们获得了经过若干操作后它还有效吗?

3.有效的范围:成对的iterator是否是有效的范围呢?,first是在last之前吗?两者是否都指向相同的容器里面吗?

4.非法操作内建类型:例如:在"--e.end()"上面修改内建类型的临时对象(幸运的是,在你的代码中编译器将捕捉到这种错误与类的iterator类型,库的作者允许这种经常在排序任何对象的语法的转换).


来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/10752019/viewspace-986865/,如需转载,请注明出处,否则将追究法律责任。

请登录后发表评论 登录
全部评论
  • 博文量
    3984
  • 访问量
    7363137