c – 对InputIterator语义/概念要求的困惑

发布时间：2020-12-16 03:46:17 所属栏目：百科来源：网络整理

导读：C InputIterator是Iterator概念中最受限制的类型之一.它只能保证支持解除引用,相等比较,预增量和后增量(以及后增量和取消引用) 由于InputIterator对象经常迭代任意流,因此您甚至无法确定在同一输入上迭代两次将产生相同的值. 但是,我很困惑,如果取消引用运算

C InputIterator是Iterator概念中最受限制的类型之一.它只能保证支持解除引用,相等比较,预增量和后增量(以及后增量和取消引用)

由于InputIterator对象经常迭代任意流,因此您甚至无法确定在同一输入上迭代两次将产生相同的值.

但是,我很困惑,如果取消引用运算符operator *,每次取消引用时都保证返回相同的值,前提是你永远不会增加迭代器.

例如,假设std :: begin(some_input_stream)返回满足InputIterator概念要求的对象,并且它不等于或超过结束位置：

auto it = std::begin(some_input_stream);
auto value1 = *it;
auto value2 = *it;
assert(value1 == value2);

value1是否保证与value2的值相同？ (当然,提供它产生的任何类型*实现理智的相等比较语义)

解决方法

Is value1 guaranteed to be the same value as value2?

是.实际上,您也可以复制迭代器,并且保证在复制其中一个迭代器之前,该副本会提供相同的结果：

auto it2 = it;
auto value3 = *it2;
assert(value3 == value1);

++it2;
auto value4 = *it; // ERROR: might not be dereferencable any more

这由C 11表107(输入迭代器要求)中* a的要求指定：

If a == b and (a,b) is in the domain of == then *a is equivalent to *b.

并且,在r之后：

Any copies of the previous value of r are no longer required either to be dereferenceable or to be in the domain of ==.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!