std::make_signed

template< class T >
struct make_signed;

Если 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_signed, неопределено.

Типы-члены

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

template< class T >
using make_signed_t = typename make_signed<T>::type;

Пример

#include <type_traits>
 
enum struct E : unsigned short {};
 
int main()
{
    using char_type = std::make_signed_t<unsigned char>;
    using int_type  = std::make_signed_t<unsigned int>;
    using long_type = std::make_signed_t<volatile unsigned long>;
    using enum_type = std::make_signed_t<E>;
 
    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>
    );
}

См. также