Range-v3
Range algorithms, views, and actions for the Standard Library
Public Types | Public Member Functions | List of all members
ranges::v3::concepts::CommonReference Struct Reference
Utility » Concepts

Public Types

template<typename T , typename U , typename... Rest>
using reference_t = common_reference_t< T, U, Rest... >
 

Public Member Functions

template<typename T , typename U , typename C = reference_t<T, U>>
auto requires_ (T &&, U &&) -> decltype( concepts::valid_expr( concepts::model_of< Same, C, reference_t< U, T >>(), C(val< T >()), C(val< U >()) ))
 
template<typename T , typename U , typename... Rest, typename CommonReference_ = CommonReference, typename C = reference_t<T, U>>
auto requires_ (T &&, U &&, Rest &&...) -> decltype( concepts::valid_expr( concepts::model_of< CommonReference_, T, U >(), concepts::model_of< CommonReference_, C, Rest... >() ))