std::make_signed - cppreference.com

De cppreference.com


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

Si T es un tipo entero (excepto bool) o un tipo enumeración, proporciona la definición de tipo (typedef) miembro type, que es el tipo entero con signo correspondiente a T, con los mismos calificadores-cv.

Si T es char, short, int, long, long long con signo o sin signo, se proporciona el tipo con signo de esta lista correspondiente a T.

Si T es un tipo enumeración o char, wchar_t, char8_t (desde C++20), char16_t, char32_t, se proporciona el tipo entero con signo con el rango más pequeño que tiene el mismo sizeof que T.

De lo contrario, el comportamiento está indefinido.	(hasta C++20)
De lo contrario, el programa está mal formado.	(desde C++20)

El comportamiento de un programa que añade especializaciones para make_signed no está definido.

Tipos miembro

Nombre	Definición
`type`	El tipo entero con signo que corresponde a `T`

Tipos auxiliares

`template< class T > using make_signed_t = typename make_signed<T>::type;`		(desde C++14)

Ejemplo

#include <iostream>
#include <type_traits>

int main() {
    typedef std::make_signed<unsigned char>::type char_type;
    typedef std::make_signed<unsigned int>::type int_type;
    typedef std::make_signed<volatile unsigned long>::type long_type;

    bool ok1 = std::is_same<char_type, signed char>::value;
    bool ok2 = std::is_same<int_type, signed int>::value;
    bool ok3 = std::is_same<long_type, volatile signed long>::value;

    std::cout << std::boolalpha
    << "char_type es 'signed char'?          : " << ok1 << '\n'
    << "int_type  es 'signed int'?           : " << ok2 << '\n'
    << "long_type es 'volatile signed long'? : " << ok3 << '\n';
}

Salida:

char_type es 'signed char'?          : true
int_type  es 'signed int'?           : true
long_type es 'volatile signed long'? : true

Véase también

	Comprueba si un tipo es un tipo aritmético con signo. (plantilla de clase) [editar]
	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]
	Hace al tipo entero dado sin signo (plantilla de clase) [editar]