std::basic_common_reference<std::reference_wrapper>

template< class R, class T,
          template<class> RQual, template<class> TQual >
    requires (/*ref-wrap-common-reference-exists-with*/<R, T, RQual<R>, TQual<T>> &&
              !/*ref-wrap-common-reference-exists-with*/<T, R, TQual<T>, RQual<R>>)
struct basic_common_reference<R, T, RQual, TQual>;

template< class T, class R,
          template<class> TQual, template<class> RQual >
    requires (/*ref-wrap-common-reference-exists-with*/<R, T, RQual<R>, TQual<T>> &&
              !/*ref-wrap-common-reference-exists-with*/<T, R, TQual<T>, RQual<R>>)
struct basic_common_reference<T, R, TQual, RQual>;

template< class R, class T, class RQ, class TQ >
concept /*ref-wrap-common-reference-exists-with*/ =
    /*is-ref-wrapper*/<R> &&
    requires { typename std::common_reference_t<typename R::type&, TQ>; } &&
    std::convertible<RQ, std::common_reference_t<typename R::type&, TQ>>;

Общий ссылочный тип для reference_wrapper (обозначаемого как R) и типа T, к которым соответственно применены cv-квалификаторы и квалификаторы ссылочности (обозначаемые как RQ и TQ соответственно), эквивалентен общему ссылочному типу базового типа R, к которому применены lvalue-ссылка и TQ.

Общий ссылочный тип определён только в том случае, если R является единственной reference_wrapper, базовый тип R, к которому применены lvalue-ссылка и TQ, имеет общий ссылочный тип, в который должен преобразовываться RQ.

Константа, предназначенная только для иллюстрации, /*is-ref-wrapper*/<R> имеет значение true тогда и только тогда, когда R является специализацией std::reference_wrapper.

Типы-члены

Примечания

Пример

#include <concepts>
#include <functional>

static_assert(std::same_as<std::common_reference_t<int&,
                                                   std::reference_wrapper<int>>,
                                                   int&>);
static_assert(std::same_as<std::common_reference_t<std::reference_wrapper<int>&,
                                                   int&>,
                                                   int&>);
static_assert(std::same_as<std::common_reference_t<int&,
                                                   const std::reference_wrapper<int>&>,
                                                   int&>);
int main() {}

См. также