c – 减少结束迭代器

我今天正在阅读有关支持双向迭代的容器的方法,这段代码是有效的：

Collection c(10,10);
auto last = --c.end();
*last;

这让我想到,当提交一对双向迭代器[求,结束]到STL中的算法时,是否需要定义？end？如果是这样,结果是否可以解除引用？

即

void algo(T beg,T end){
    //...
    auto iter = --end;
    //...
    *iter;
}

解决方法

如果算法需要首先和最后由双向迭代器定义的范围,那么–last需要在与第一个相同的条件下有效 – 即范围不为空.当且仅当first == last时,范围为空.

如果范围不为空,则–last计算为引用范围中最后一个元素的迭代器,因此* – last确实也需要有效.

也就是说,并不是所有标准算法都需要专门的双向迭代器(并且不需要随机访问). prev,copy_backward,move_backward,reverse,reverse_copy,stable_partition,inplace_merge,[prev | next] _permutation.

如果你看一下其中的一些,你应该看到通常算法会减少结束范围的迭代器并取消引用结果.

正如James所说,对于容器,函数end()按值返回迭代器.对于迭代器,没有一般要求,当x是类型的右值时,– x应该是格式良好的表达式.例如,指针是双向迭代器,而函数声明为int * foo();按值返回指针,– foo()不是格式良好的表达式.碰巧的是,对于你在实现中看到的容器,end()返回一个类类型,它具有operator – 定义为成员函数,因此代码编译.它也有效,因为容器不是空的.

请注意,这方面存在差异：

auto last = --c.end();

与

auto last = c.end();
--last;

前者递减一个rvalue,而后者递减一个左值.

c – 减少结束迭代器

解决方法

相关文章