Namespaces
Variants

std::numeric_limits<T>:: is_signed

From cppreference.net
Utilities library
static const bool is_signed ;
(до C++11)
static constexpr bool is_signed ;
(начиная с C++11)

Значение std:: numeric_limits < T > :: is_signed равно true для всех знаковых арифметических типов T и false для беззнаковых типов. Эта константа имеет смысл для всех специализаций.

Стандартные специализации

T значение std:: numeric_limits < T > :: is_signed
/* неспециализированный */ false
bool false
char определяется реализацией
signed char true
unsigned char false
wchar_t определяется реализацией
char8_t (начиная с C++20) false
char16_t (начиная с C++11) false
char32_t (начиная с C++11) false
short true
unsigned short false
int true
unsigned int false
long true
unsigned long false
long long (начиная с C++11) true
unsigned long long (начиная с C++11) false
float true
double true
long double true

Пример

#include <iostream>
#include <iomanip>
#include <limits>
template<typename T>
struct test
{
    test(const char* name, int w = 15)
    {
        std::cout
            << std::left << std::setw(w)
            << (std::numeric_limits<T>::is_specialized ? name : "non-specialized")
            << " : "
            << (std::numeric_limits<T>::is_signed ? "" : "un") << "signed\n";
    }
};
int main()
{
    test<bool>{"bool"};
    test<char>{"char"};
    test<wchar_t>{"wchar_t"};
    test<char16_t>{"char16_t"};
    test<char32_t>{"char32_t"};
    test<float>{"float"};
    struct delusion{};
    test<delusion>{"delusion"};
    test<decltype(42)>{"decltype(42)"};
}

Возможный вывод:

bool            : unsigned
char            : signed
wchar_t         : signed
char16_t        : unsigned
char32_t        : unsigned
float           : signed
non-specialized : unsigned
decltype(42)    : signed

Смотрите также

(C++11)
проверяет, является ли тип знаковым арифметическим типом
(шаблон класса)
[static]
идентифицирует целочисленные типы
(публичная статическая константа-член)
[static]
идентифицирует точные типы
(публичная статическая константа-член)
[static]
идентифицирует типы, представляющие конечное множество значений
(публичная статическая константа-член)