std::experimental::ranges::reference_t, std::experimental::ranges::rvalue_reference_t, std::experimental::ranges::iter_common_reference_t

 

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_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_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	danglingborrowed_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定義於標頭檔案 <experimental/ranges/iterator>
template< class T > concept bool /*dereferenceable*/ = requires(T& t) { {*t} -> auto&&; };		(僅作說明*)
template< /*dereferenceable*/ T > using reference_t = decltype(*declval<T&>());	(1)	(ranges TS)
template< /*dereferenceable*/ T >     requires requires(T& t) { { ranges::iter_move(t) } -> auto&&; } using rvalue_reference_t = decltype(ranges::iter_move(declval<T&>()));	(2)	(ranges TS)
template< Readable T > using iter_common_reference_t = ranges::common_reference_t<ranges::reference_t<T>,                                                            ranges::value_type_t<T>&>;	(3)	(ranges TS)

1) 獲取一個可解引用型別 T 的“引用型別”。

2) 獲取一個可解引用型別 T 的“右值引用型別”，即 ranges::iter_move 的返回型別。

3) 計算一個 Readable 型別的“公共引用型別”。這是其引用型別和其值型別的左值引用的公共引用型別。

注意

-> auto&& 約束檢查表示式的型別是否不是 void。