std::make_unsigned

template< class T >
struct make_unsigned;

Если T является целочисленным (за исключением bool) или перечислимым типом, предоставляет псевдоним типа-члена type, который является соответствующим беззнаковым целочисленным типом для T с теми же cv-квалификаторами.

Если T является знаковым или беззнаковым типом char, short, int, long, longlong, предоставляется соответствующий T беззнаковый тип из этого списка.

Если T является перечислимым типом или типом char, wchar_t, char8_t(начиная с C++20), char16_t, char32_t, предоставляется беззнаковый целочисленный тип с наименьшим рангом, имеющий ту же sizeof, что и T.

Если программа добавляет специализации для std::make_unsigned, поведение не определено.

Типы-члены

Вспомогательные типы

template< class T >
using make_unsigned_t = typename make_unsigned<T>::type;

Пример

#include <type_traits>

int main()
{
    using uchar_type = std::make_unsigned_t<char>;
    using uint_type  = std::make_unsigned_t<int>;
    using ulong_type = std::make_unsigned_t<volatile long>;
    
    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>
    );
}

См. также