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

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

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

If T is signed or unsigned char, short, int, long, long long; the unsigned 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 unsigned integer type with the smallest rank having the same sizeof as T is provided.

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

[edit] Member types

[edit] Helper types

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

[edit] Example

#include   int main() { using uchar_type = std::make_unsigned_t; using uint_type = std::make_unsigned_t; using ulong_type = std::make_unsigned_t;   static_assert( std::is_same_v<uchar_type, unsigned char> and std::is_same_v<uint_type, unsigned int> and std::is_same_v<ulong_type, volatile unsigned long> ); }

[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] |