Namespaces
Variants

    std::basic_common_reference<std::reference_wrapper>

    Depuis fr.cppreference.net
     
    C++
    Support du compilateur
    Sans environnement d'exécution et hébergé
    Langage
    Bibliothèque standard
    En-têtes de la bibliothèque standard
    Exigences nommées
    Macros de test de fonctionnalités (C++20)
    Bibliothèque de support linguistique
    Bibliothèque de concepts (C++20)
    Bibliothèque de diagnostics
    Bibliothèque de gestion de la mémoire
    Bibliothèque de métaprogrammation (C++11)
    Bibliothèque d'utilitaires généraux
    Bibliothèque de conteneurs
    Bibliothèque d'itérateurs
    Bibliothèque de plages (C++20)
    Bibliothèque d'algorithmes
    Bibliothèque de chaînes
    Bibliothèque de traitement de texte
    Bibliothèque numérique
    Bibliothèque de date et heure
    Bibliothèque d'entrée/sortie
    Bibliothèque de systèmes de fichiers (C++17)
    Bibliothèque de support de concurrence (C++11)
    Bibliothèque de contrôle d'exécution (C++26)
    Spécifications techniques
    Index des symboles
    Bibliothèques externes
     
    Bibliothèque d'utilitaires
    Support linguistique
    Support de type (types de base, RTTI)
    Macros de test de fonctionnalités de la bibliothèque (C++20)
    Utilitaires de programme
    Fonctions variadiques
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Support des coroutines (C++20)
    Support des contrats (C++26)
    Comparaison à trois voies
    (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)

    Utilitaires généraux
    Opérateurs relationnels (obsolète en C++20)
     
    Objets fonctions
    Invocation de fonction
    (C++17)(C++23)
    Objet fonction identité
    (C++20)
    Wrappers d'opérateurs transparents
    (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)

    Anciens binders et adaptateurs
    (jusqu'à C++17*)
    (jusqu'à C++17*)
    (jusqu'à C++17*)
    (jusqu'à C++17*)
    (jusqu'à C++17*)  
    (jusqu'à C++17*)
    (jusqu'à C++17*)(jusqu'à C++17*)(jusqu'à C++17*)(jusqu'à C++17*)
    (jusqu'à C++20*)
    (jusqu'à C++20*)
    (jusqu'à C++17*)(jusqu'à C++17*)
    (jusqu'à C++17*)(jusqu'à C++17*)

    (jusqu'à C++17*)
    (jusqu'à C++17*)(jusqu'à C++17*)(jusqu'à C++17*)(jusqu'à C++17*)
    (jusqu'à C++20*)
    (jusqu'à C++20*)
     
    std::reference_wrapper
     
    Défini dans l'en-tête <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) (depuis 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) (depuis C++23)
    Concepts auxiliaires
    		 
    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) (exposition uniquement*)

    Le type de référence commune d'un reference_wrapper (dénoté par R) et d'un type T, auxquels sont appliqués respectivement les qualificateurs cv et de référence (dénotés par RQ et TQ), est équivalent à un type de référence commune du type sous-jacent de R auquel est appliquée une référence lvalue et du TQ.

    Le type de référence commune n'est défini que si R est le seul reference_wrapper, le type sous-jacent de R auquel est appliquée une référence lvalue et le TQ ont un type de référence commune vers lequel RQ doit pouvoir être converti.

    La constante d'exposition uniquement /*is-ref-wrapper*/<R> est true si et seulement si R est une spécialisation de std::reference_wrapper.

    Types membres

    Type de membre Définition
    type std:: common_reference_t < typename R :: type & , TQual < T >> ( 1,2 )

    Notes

    Macro de test de fonctionnalité Valeur Std Fonctionnalité
    __cpp_lib_common_reference_wrapper 202302L (C++23) Faire de std::common_reference_t de std::reference_wrapper un type référence

    Exemple

    Exécuter ce code 
    #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() {}

    Voir aussi

    (C++20)
    		détermine le type de référence commun d'un groupe de types
    (modèle de classe)