std::make_unsigned

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

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

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

Поведение программы, добавляющей специализации для std::make_unsigned не определено.

[править] Типы-элементы

[править] Вспомогательные типы

[править] Пример

#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>
    );
}

[править] Смотрите также