std::make_signed - cppreference.com (original) (raw)

| | | | | ----------------------------------------- | | ------------- | | template< class T > struct make_signed; | | (since C++11) |

If T is an integral (except bool) or enumeration type, provides the member typedef type which is the signed integer type corresponding to T, with the same cv-qualifiers.

If T is signed or unsigned char, short, int, long, long long, the signed type from this list corresponding to T is provided.

If T is an enumeration type or char, wchar_t, char8_t(since C++20), char16_t, char32_t, the signed integer type with the smallest rank having the same sizeof as T is provided.

If the program adds specializations for std::make_signed, the behavior is undefined.

[edit] Member types

[edit] Helper types

| template< class T > using make_signed_t = typename make_signed<T>::type; | | (since C++14) | | ------------------------------------------------------------------------------ | | ------------- |

[edit] Example

#include   enum struct E : unsigned short {};   int main() { using char_type = std::make_signed_t; using int_type = std::make_signed_t; using long_type = std::make_signed_t; using enum_type = std::make_signed_t;   static_assert( std::is_same_v<char_type, signed char> and std::is_same_v<int_type, signed int> and std::is_same_v<long_type, volatile signed long> and std::is_same_v<enum_type, signed short> ); }

[edit] See also

| | checks if a type is a signed arithmetic type (class template) [edit] | | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | | checks if a type is an unsigned arithmetic type (class template) [edit] | | | obtains the corresponding signed type for the given integral type (class template) [edit] |