std::is_scalar

template< class T >
struct is_scalar;

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

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

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

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

Вспомогательная шаблонная переменная

template< class T >
inline constexpr bool is_scalar_v = is_scalar<T>::value;

Примечания

Каждый отдельный фрагмент памяти в модели памяти 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() << " is "
              << (std::is_scalar_v<T> ? "" : "not ")
              << "a scalar\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 is a scalar
double is a scalar
main::E is a scalar
char const* is a scalar
int main::S::* is a scalar
nullptr is a scalar
main::S is not a scalar

См. также