Namespaces
Variants

    std::basic_common_reference<std::reference_wrapper>

    De es.cppreference.net
     
    C++
    Soporte del compilador
    Independiente y alojado
    Lenguaje
    Biblioteca estándar
    Encabezados de la biblioteca estándar
    Requisitos nombrados
    Macros de prueba de características (C++20)
    Biblioteca de soporte del lenguaje
    Biblioteca de conceptos (C++20)
    Biblioteca de diagnóstico
    Biblioteca de gestión de memoria
    Biblioteca de metaprogramación (C++11)
    Biblioteca de utilidades generales
    Biblioteca de contenedores
    Biblioteca de iteradores
    Biblioteca de rangos (C++20)
    Biblioteca de algoritmos
    Biblioteca de cadenas
    Biblioteca de procesamiento de texto
    Biblioteca numérica
    Biblioteca de fecha y hora
    Biblioteca de entrada/salida
    Biblioteca del sistema de archivos (C++17)
    Biblioteca de soporte de concurrencia (C++11)
    Biblioteca de control de ejecución (C++26)
    Especificaciones técnicas
    Índice de símbolos
    Bibliotecas externas
     
    Biblioteca de utilidades
    Soporte del lenguaje
    Soporte de tipos (tipos básicos, RTTI)
    Macros de prueba de características de la biblioteca (C++20)
    Utilidades del programa
    Funciones variádicas
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Soporte de corrutinas (C++20)
    Soporte de contratos (C++26)
    Comparación de tres vías
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Utilidades generales
    Operadores relacionales (obsoleto en C++20)
     
    Objetos función
    Invocación de función
    (C++17)(C++23)
    Objeto función identidad
    (C++20)
    Envoltorios de operador transparentes
    (C++14)
    (C++14)
    (C++14)
    (C++14)  
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)

    Vinculadores y adaptadores antiguos
    (hasta C++17*)
    (hasta C++17*)
    (hasta C++17*)
    (hasta C++17*)
    (hasta C++17*)  
    (hasta C++17*)
    (hasta C++17*)(hasta C++17*)(hasta C++17*)(hasta C++17*)
    (hasta C++20*)
    (hasta C++20*)
    (hasta C++17*)(hasta C++17*)
    (hasta C++17*)(hasta C++17*)

    (hasta C++17*)
    (hasta C++17*)(hasta C++17*)(hasta C++17*)(hasta C++17*)
    (hasta C++20*)
    (hasta C++20*)
     
    std::reference_wrapper
     
    Definido en el encabezado <functional> 
    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>;
    		(1) (desde C++23) 
    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>;
    		(2) (desde C++23)
    Conceptos auxiliares
    		 
    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>>;
    		(3) (solo exposición*)

    El tipo de referencia común de un reference_wrapper (denotado como R) y un tipo T, con calificadores cv y de referencia aplicados correspondientemente (denotados como RQ y TQ respectivamente), es equivalente a un tipo de referencia común del tipo subyacente de R aplicado con referencia lvalue y el TQ.

    El tipo de referencia común solo se define si R es el único reference_wrapper, el tipo subyacente de R aplicado con referencia lvalue y el TQ tienen un tipo de referencia común al cual RQ debe ser convertible.

    La constante de solo exposición /*is-ref-wrapper*/<R> es true si y solo si R es una especialización de std::reference_wrapper.

    Tipos de miembros

    Tipo de miembro Definición
    type std:: common_reference_t < typename R :: type & , TQual < T >> ( 1,2 )

    Notas

    Macro de prueba de características Valor Estándar Característica
    __cpp_lib_common_reference_wrapper 202302L (C++23) Hacer que std::common_reference_t de std::reference_wrapper sea un tipo referencia

    Ejemplo

    Ejecutar este código 
    #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() {}

    Véase también

    (C++20)
    		determina el tipo de referencia común de un grupo de tipos
    (plantilla de clase)