std::is_reference - cppreference.com

De cppreference.com


`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.

Parámetros de plantilla

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

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

Funciones miembro

	Convierte el objeto a `bool`, devuelve `value`. (función miembro pública)
	Devuelve `value`. (función miembro pública)

Tipos miembro

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

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

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