std::experimental::ranges::Iterator

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

Ranges（範圍）

概念

通用工具

迭代器

Ranges（範圍）

演算法

 

迭代器庫

迭代器概念
Readable（可讀） Writable（可寫） WeaklyIncrementable（可弱遞增） Incrementable（可遞增）	迭代器 (Iterator) 哨兵 (Sentinel) SizedSentinel（有大小的哨兵）	InputIterator（輸入迭代器） ForwardIterator（前向迭代器） BidirectionalIterator（雙向迭代器） RandomAccessIterator（隨機訪問迭代器）	OutputIterator（輸出迭代器）
間接可呼叫概念
IndirectUnaryInvocable（間接一元可呼叫）IndirectRegularUnaryInvocable（間接常規一元可呼叫）	IndirectUnaryPredicate（間接一元謂詞）	IndirectRelation（間接關係）	IndirectStrictWeakOrder（間接嚴格弱序）
常用演算法要求
IndirectlyMovable（間接可移動） IndirectlyMovableStorable（間接可移動可儲存）	IndirectlyCopyable（間接可複製） IndirectlyCopyableStorable（間接可複製可儲存）	IndirectlySwappable（間接可交換） IndirectlyComparable（間接可比較）	Permutable（可排列） Mergeable（可合併） Sortable（可排序）
概念工具
indirect_result_of	projected
迭代器工具與操作
iter_move iter_swap	advance distance	next prev
迭代器特徵
difference_type value_type reference_t（引用型別）rvalue_reference_t（右值引用型別）iter_common_reference_t（迭代器通用引用型別） iterator_category	input_iterator_tag（輸入迭代器標籤）output_iterator_tag（輸出迭代器標籤）forward_iterator_tag（前向迭代器標籤）bidirectional_iterator_tag（雙向迭代器標籤）random_access_iterator_tag（隨機訪問迭代器標籤）	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器介面卡
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	dangling（懸空）borrowed_iterator_t（借用迭代器型別） unreachable（不可達）
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定義於標頭檔案 <experimental/ranges/iterator>
template< class I > concept bool Iterator =     requires(I i) {         { *i } -> auto&&; // 要求：i 是可解引用的     } &&     WeaklyIncrementable<I>;		(ranges TS)

Iterator 概念構成了迭代器概念分類的基礎；每個迭代器都滿足 Iterator 的要求。

相等性保持

如果一個表示式在給定相等輸入時產生相等輸出，則稱其為保持相等性。

• 表示式的輸入由其運算元組成。
• 表示式的輸出由其結果以及被表示式修改的所有運算元（如果有的話）組成。

所有要求保持相等性的表示式還必須是穩定的：在沒有顯式介入修改輸入物件的情況下，對具有相同輸入物件的表示式的兩次求值必須產生相等的輸出。

除非另有說明，requires-expression 中使用的每個表示式都必須保持相等且穩定，並且表示式的評估只能修改其非常量運算元。常量運算元不得修改。

注意

Iterator 本身只指定了解引用和遞增迭代器的操作。大多數演算法將需要額外的操作，例如：

• 將迭代器與哨兵進行比較（參見 Sentinel）；
• 從迭代器讀取值（參見 Readable 和 InputIterator）；
• 向迭代器寫入值（參見 Writable 和 OutputIterator）；
• 更豐富的迭代器移動集合（參見 ForwardIterator、BidirectionalIterator、RandomAccessIterator）。

-> auto&& 約束意味著解引用結果型別不能是 void。