std::experimental::ranges::iterator_category

 

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 > struct iterator_category {};	(1)
template< class T > struct iterator_category<T*>;	(2)
template< class T > struct iterator_category<const T> : iterator_category<T> {};	(3)
template< class T >     requires requires { typename T::iterator_category; } struct iterator_category<T>;	(4)

計算類 `I` 的迭代器類別（如果存在）。使用者可以為程式定義的型別特化 `iterator_category`。

1) 主模板是一個空結構體。

2) 指標的特化。如果 `T` 是一個物件型別，則提供一個成員型別 `type` 等於 `ranges::random_access_iterator_tag`。否則，沒有成員 `type`。

3) const 限定型別的特化。

4) 為定義了公共且可訪問的成員型別 `iterator_category` 的型別進行特化。如果 `T::iterator_category` 與 `std` 名稱空間中的某個迭代器類別標籤相同或派生自該標籤，它將被對映到 `ranges` 名稱空間中對應的標籤，如下所述。否則，提供一個成員型別 `type` 等於 `T::iterator_category`。

• 如果 `T::iterator_category` 與 std::random_access_iterator_tag 相同或派生自它，則提供一個成員型別 `type` 等於 ranges::random_access_iterator_tag。
• 否則，如果 `T::iterator_category` 與 std::bidirectional_iterator_tag 相同或派生自它，則提供一個成員型別 `type` 等於 ranges::bidirectional_iterator_tag。
• 否則，如果 `T::iterator_category` 與 std::forward_iterator_tag 相同或派生自它，則提供一個成員型別 `type` 等於 ranges::forward_iterator_tag。
• 否則，如果 `T::iterator_category` 與 std::input_iterator_tag 相同或派生自它，則提供一個成員型別 `type` 等於 ranges::input_iterator_tag。
• 否則，如果 `T::iterator_category` 與 std::output_iterator_tag 相同或派生自它，則沒有成員 `type`。

輔助別名模板

template< class T > using iterator_category_t = typename ranges::iterator_category<T>::type;		(ranges TS)

參閱

input_iterator_tag (輸入迭代器標籤)output_iterator_tag (輸出迭代器標籤)forward_iterator_tag (前向迭代器標籤)bidirectional_iterator_tag (雙向迭代器標籤)random_access_iterator_tag (隨機訪問迭代器標籤)contiguous_iterator_tag (連續迭代器標籤) (C++20)	用於指示迭代器類別的空類型別 (類)
input_iterator_tag (輸入迭代器標籤)output_iterator_tag (輸出迭代器標籤)forward_iterator_tag (前向迭代器標籤)bidirectional_iterator_tag (雙向迭代器標籤)random_access_iterator_tag (隨機訪問迭代器標籤)	用於指示迭代器類別的空類型別 (類)
iterator_traits (迭代器特性)	收集迭代器相關型別的相容性特徵類 (別名模板)