std:: is_reference
| Type traits | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time rational arithmetic | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time integer sequences | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(C++14)
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Défini dans l'en-tête
<type_traits>
|
||
|
template
<
class
T
>
struct is_reference ; |
(depuis C++11) | |
std::is_reference
est un
UnaryTypeTrait
.
Si
T
est un type référence (référence lvalue ou référence rvalue), fournit la constante membre
value
égale à
true
. Pour tout autre type,
value
est
false
.
Si le programme ajoute des spécialisations pour
std::is_reference
ou
std::is_reference_v
, le comportement est indéfini.
Table des matières |
Paramètres du modèle
| T | - | un type à vérifier |
Modèle de variable d'assistance
|
template
<
class
T
>
constexpr bool is_reference_v = is_reference < T > :: value ; |
(depuis C++17) | |
Hérité de std:: integral_constant
Constantes membres
|
value
[static]
|
true
si
T
est un type référence,
false
sinon
(constante membre publique statique) |
Fonctions membres
|
operator bool
|
convertit l'objet en
bool
, retourne
value
(fonction membre publique) |
|
operator()
(C++14)
|
retourne
value
(fonction membre publique) |
Types membres
| Type | Définition |
value_type
|
bool |
type
|
std:: integral_constant < bool , value > |
Implémentation possible
template<class T> struct is_reference : std::false_type {}; template<class T> struct is_reference<T&> : std::true_type {}; template<class T> struct is_reference<T&&> : std::true_type {}; |
` n'a pas été traduit, conformément aux instructions. Le contenu HTML et les attributs ont été préservés sans modification.
Exemple
#include <iostream> #include <type_traits> class A {}; int main() { # define REF(x) << #x " ?: " << x << '\n' std::cout << std::boolalpha REF(std::is_reference_v<A>) REF(std::is_reference_v<A&>) REF(std::is_reference_v<A&&>) REF(std::is_reference_v<long>) REF(std::is_reference_v<long&>) REF(std::is_reference_v<long&&>) REF(std::is_reference_v<double*>) REF(std::is_reference_v<double*&>) REF(std::is_reference_v<double*&&>); # undef REF }
Sortie :
std::is_reference_v<A> ?: false std::is_reference_v<A&> ?: true std::is_reference_v<A&&> ?: true std::is_reference_v<long> ?: false std::is_reference_v<long&> ?: true std::is_reference_v<long&&> ?: true std::is_reference_v<double*> ?: false std::is_reference_v<double*&> ?: true std::is_reference_v<double*&&> ?: true
Voir aussi
|
(C++11)
|
vérifie si un type est une
lvalue reference
(modèle de classe) |
|
(C++11)
|
vérifie si un type est une
rvalue reference
(modèle de classe) |