名前空間
変種
操作

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

From cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
 
 
イテレータライブラリ
イテレータのコンセプト
間接呼び出し可能コンセプト
                                                  
                                                  
                                                  
共通アルゴリズム要件
                                                  
Concept utilities
Iterator utilities and operations
Iterator traits
reference_trvalue_reference_titer_common_reference_t
イテレータアダプタ
ストリームイテレータ
 
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 でないことをチェックします。

English 日本語 中文(简体) 中文(繁體)