Espacios de nombres
Variantes
Acciones

std::is_signed

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)
(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)
is_signed
(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_signed;
(desde C++11)

std::is_signed es un UnaryTypeTrait.

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

Para cualquier otro tipo value es false.

El comportamiento de un programa que añade especializaciones para is_signed o is_signed_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_signed_v = is_signed<T>::value;
(desde C++17)

Heredado de std::integral_constant

Constantes miembro

value
[estático]
true si , 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] Implementación posible

namespace detalle {
template<typename T,bool = std::is_arithmetic<T>::value>
struct is_signed : std::integral_constant<bool, T(-1) < T(0)> {};
 
template<typename T>
struct is_signed<T,false> : std::false_type {};
} // namespace detalle 
 
template<typename T>
struct is_signed : detail::is_signed<T>::type {};

[editar] Ejemplo

#include <iostream>
#include <type_traits>
 
class A {};
enum B : int {};
enum class C : int {};
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_signed<A>::value << '\n';
    std::cout << std::is_signed<float>::value << '\n';
    std::cout << std::is_signed<signed int>::value << '\n';
    std::cout << std::is_signed<unsigned int>::value << '\n';
    std::cout << std::is_signed<B>::value << '\n';
    std::cout << std::is_signed<C>::value << '\n';
 
    // más corto:
    std::cout << std::is_signed<signed int>() << '\n';
    std::cout << std::is_signed<unsigned int>() << '\n';
}

Salida:

false
true
true
false
false
false
true
false

[editar] Véase también

Comprueba si un tipo es el tipo de aritmética sin signo
Original:
checks if a type is unsigned 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]
[estático]
identifica los tipos firmados
Original:
identifies signed types
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

(constante miembro pública estática de std::numeric_limits) [editar]
Comprueba si un tipo T es de punto flotante
(plantilla de clase) [editar]
Comprueba si un tipo T es entero.
(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]