std::is_unsigned - cppreference.com

De cppreference.com


`template< class T > struct is_unsigned;`		(desde C++11)

std::is_unsigned es un UnaryTypeTrait.

Si T es un tipo aritmético, proporciona la constante miembro value igual a true si T(0) < T(-1): esto resulta en true para los tipos enteros sin signo y el tipo bool, y en false para los tipos enteros con signo y los tipos de punto flotante.

Para cualquier otro tipo, value es false.

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

Parámetros de plantilla

Plantilla de variable auxiliar

`template< class T > inline constexpr bool is_unsigned_v = is_unsigned<T>::value;`		(desde C++17)

Heredado de std::integral_constant

Constantes miembro

true si T es un tipo aritmético sin signo, 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

namespace detail {
template<typename T,bool = std::is_arithmetic<T>::value>
struct is_unsigned : std::integral_constant<bool, T(0) < T(-1)> {};

template<typename T>
struct is_unsigned<T,false> : std::false_type {};
} // namespace detail

template<typename T>
struct is_unsigned : detail::is_unsigned<T>::type {};

Ejemplo

#include <iostream>
#include <type_traits>

class A {};
enum B : unsigned {};
enum class C : unsigned {};

int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_unsigned<A>::value << '\n';
    std::cout << std::is_unsigned<float>::value << '\n';
    std::cout << std::is_unsigned<signed int>::value << '\n';
    std::cout << std::is_unsigned<unsigned int>::value << '\n';
    std::cout << std::is_unsigned<B>::value << '\n';
    std::cout << std::is_unsigned<C>::value << '\n';
}

Salida:

false
false
false
true
false
false

Véase también

	Comprueba si un tipo es un tipo aritmético con signo. (plantilla de clase) [editar]
	Comprueba si un tipo es de tipo aritmético Original: checks if a type is arithmetic type The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (plantilla de clase) [editar]
	Hace al tipo entero dado con signo (plantilla de clase) [editar]
	Hace al tipo entero dado sin signo (plantilla de clase) [editar]