Espacios de nombres
Variantes
Acciones

std::is_reference

De cppreference.com
< cpp‎ | types
 
 
Biblioteca de metaprogramación
Rasgos de tipo
Categorías de tipo
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
is_reference
(C++11) 
(C++11)
(C++11)
Propiedades de tipos
(C++11)
(C++11)
(C++14)
(C++11)(en desuso en C++26)
(C++11)(hasta C++20*)
(C++11)(en desuso en C++20)
(C++11)
Constantes de rasgos de tipo
Metafunciones
(C++17)
Operaciones admitidas
Relaciones y consultas de propiedades
Modificaciones de tipos
(C++11)(C++11)(C++11)
Transformaciones de tipos
(C++11)(en desuso en C++23)
(C++11)(en desuso en C++23)
(C++11)
(C++11)(hasta C++20*)(C++17)

(C++11)
(C++17)
Aritmética racional en tiempo de compilación
Secuencias de enteros en tiempo de compilación
 
Definido en el archivo de encabezado <type_traits>
template< class T >
struct is_reference;
(desde C++11)

std::is_reference es un UnaryTypeTrait.

Si T es un tipo referencia (referencia l-valor o referencia r-valor), proporciona la constante miembro value igual true. Para cualquier otro tipo, value es false.

El comportamiento de un programa que añade especializaciones para is_reference o is_reference_v (desde C++17) no está definido.

Contenido

[editar] Parámetros de plantilla

T - Un tipo a comprobar.

[editar] Plantilla de variable auxiliar

template< class T >
inline constexpr bool is_reference_v = is_reference<T>::value;
(desde C++17)

Heredado de std::integral_constant

Constantes miembro

value
[estático]
true si T es un tipo referencia, de lo contrario false.
(constante miembro pública estática)

Funciones miembro

operator bool
Convierte el objeto a bool, devuelve value.
(función miembro pública)
operator()
(C++14)
Devuelve value.
(función miembro pública)

Tipos miembro

Tipo Definición
value_type bool
type std::integral_constant<bool, value>

[editar] Posible implementación

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 {};

[editar] Ejemplo

#include <iostream>
#include <type_traits>
 
class A {};
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_reference<A>::value << '\n';
    std::cout << std::is_reference<A&>::value << '\n';
    std::cout << std::is_reference<A&&>::value << '\n';
    std::cout << std::is_reference<int>::value << '\n';
    std::cout << std::is_reference<int&>::value << '\n';
    std::cout << std::is_reference<int&&>::value << '\n';
}

Salida:

false
true
true
false
true
true

[editar] Véase también

Comprueba si un tipo es una referencia lvalue.
(plantilla de clase) [editar]
Comprueba si un tipo es una referencia rvalue.
(plantilla de clase) [editar]