C++ 具名要求：遗留迭代器 (LegacyIterator)

遗留迭代器 (LegacyIterator) 概念描述可以用来标识和遍历容器中的元素的类型。

遗留迭代器 (LegacyIterator) 是用于其他迭代器类型的基概念：遗留输入迭代器 (LegacyInputIterator) 、遗留输出迭代器 (LegacyOutputIterator) 、遗留向前迭代器 (LegacyForwardIterator) 、遗留双向迭代器 (LegacyBidirectionalIterator) 及遗留随机访问迭代器 (LegacyRandomAccessIterator) 。可以把迭代器想象成指针的抽象。

若下列条件成立，则类型 It 满足遗留迭代器 (LegacyIterator)

类型 It 满足可复制构造 (CopyConstructible) ，且
类型 It 满足可复制赋值 (CopyAssignable) ，且
类型 It 满足可析构 (Destructible)
类型 It 的左值满足可交换 (Swappable) ，且
std::iterator_traits<It> 拥有成员 typedef value_type、difference_type、reference、pointer 和 iterator_category 且

给定

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

表达式	返回类型	前条件
*r	未指明	`r` 可解引用（见下文）
++r	It&	`r` 可增（表达式 ++r 的行为有定义）

表达式 *i 的行为得到定义的迭代器被称作可解引用（dereferenceable）。

下列情况下的迭代器不可解引用

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

template<class I> concept __LegacyIterator = std::copyable<I> && requires(I i) { { i } -> __Referenceable; { ++i } -> std::same_as<I&>; { i++ } -> __Referenceable; };

其中仅用于阐释的概念 __Referenceable<T> 当且仅当 T& 是合法类型时得到满足（特别是 T 必须不是 void）。

(C++20 起)

(C++20)

指定该类型对象可以自增且可以解引用
(概念)

CppDS.com