std::is_scalar

std::is_scalar является UnaryTypeTrait.

Если T является скалярным типом, предоставляет константу-элемент value, равную true. Для любого другого типа value равна false.

Поведение программы, добавляющей специализации для std::is_scalar или std::is_scalar_v (начиная с C++17) не определено.

Параметры шаблона

Шаблон вспомогательной переменной

Примечание

Каждая отдельная ячейка памяти в модели памяти C++, включая скрытые ячейки памяти, используемые функциональностью языка (например, указатель виртуальной таблицы), имеет скалярный тип (или представляет собой последовательность смежных битовых полей ненулевой длины). Последовательность побочных эффектов при оценке выражений, синхронизация между потоками и порядок зависимостей определяются в терминах отдельных скалярных объектов.

Возможная реализация

template<class T>
struct is_scalar : std::integral_constant<bool, std::is_arithmetic<T>::value
                                             || std::is_enum<T>::value
                                             || std::is_pointer<T>::value
                                             || std::is_member_pointer<T>::value
                                             || std::is_null_pointer<T>::value>
{};

Пример

#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <utility>

template<typename Head, typename... Tail>
void are_scalars(Head&& head, Tail&&... tail)
{
    using T = std::decay_t<decltype(head)>;
    
    std::cout << typeid(T).name()
              << (std::is_scalar_v<T> ? "" : " не ")
              << " является скаляром\n";
    
    if constexpr (sizeof... (Tail))
    {
        are_scalars(std::forward<decltype(tail)>(tail)...);
    }
}

int main()
{
    struct S { int m; } s;
    int S::* mp = &S::m;
    enum class E { e };
    
    are_scalars(42, 3.14, E::e, "str", mp, nullptr, s);
}

int является скаляром
double является скаляром
main::E является скаляром
char const* является скаляром
int main::S::* является скаляром
nullptr является скаляром
main::S не является скаляром

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