C++ 参考手册

位置：首页 > C++ 参考手册 >具名要求 > C++ 具名要求： 遗留输入迭代器 (LegacyInputIterator)

C++ 具名要求： 遗留输入迭代器 (LegacyInputIterator)

遗留输入迭代器 (LegacyInputIterator) 是能从所指向元素进行读取的遗留迭代器 (LegacyIterator) 。遗留输入迭代器 (LegacyInputIterator) 仅保证单趟算法的有效性：一旦自增遗留输入迭代器 (LegacyInputIterator) i，则所有其先前值的副本都可能失效。

要求

若满足下列条件，则类型 It 满足遗留输入迭代器 (LegacyInputIterator)

并且，给定

则下列表达式必须合法且拥有其指定的效果

表达式 返回 等价表达式 注解
i != j 可按语境转换到 bool !(i == j) 前条件：(i, j) 在 == 的定义域中。
*i reference，可转换到 value_type 若 i == j 与 (i, j) 在 == 的定义域中，则这等价于 *j。

前条件：i 可解引用。

表达式 (void)*i, *i 等价于 *i。

i->m (*i).m 前条件：i 可解引用。
++i It&

前条件：i 可解引用

后条件：i 可解引用或 i 为末尾后迭代器。

后条件：不再要求任何 i 的先前值的副本是可解引用的，或在 == 的定义域内。

(void)i++ (void)++i
*i++ 可转换到 value_type value_type x = *i;

++i;

return x;

注解

“在 == 的定义域内”的意思是，两个迭代器值之间定义了相等比较。对于输入迭代器，相等比较不需要对所有值定义，且 == 的定义域中的值的集合可能随时间而改变。

对于并非同时为遗留向前迭代器 (LegacyForwardIterator) 的输入迭代器，其 reference 类型不必是引用类型：解引用输入迭代器可以返回一个代理对象，或以值返回 value_type 本身（如 std::istreambuf_iterator 的情况）。

概念

为了定义 std::iterator_traits，定义了以下仅用于阐释的概念：

template<class I>

concept __LegacyInputIterator =
  __LegacyIterator<I> && std::equality_comparable<I> && requires(I i) {
    typename std::incrementable_traits<I>::difference_type;
    typename std::readable_traits<I>::value_type;
    typename std::common_reference_t<std::iter_reference_t<I>&&,
                                     typename std::readable_traits<I>::value_type&>;
    *i++;
    typename std::common_reference_t<decltype(*i++)&&,
                                     typename std::readable_traits<I>::value_type&>;
    requires std::signed_integral<typename std::incrementable_traits<I>::difference_type>;

  };

其中仅用于阐释的概念 __LegacyIterator 描述于 LegacyIterator#概念。

(C++20 起)

参阅

 指定类型为输入迭代器，即能读其所引用值，且它能前后自增
(概念)