std::is_scalar

std::is_scalar es un UnaryTypeTrait.

Si T es un tipo escalar (que es un tipo aritmético posiblemente calificado-cv, puntero, puntero a miembro, enumeración, o tipo std::nullptr_t), proporciona la constante miembro value igual a true. Para cualquier otro tipo, value es false.

El comportamiento de un programa que añade especializaciones para is_scalar o is_scalar_v (desde C++17) no está definido.

[editar] Parámetros de plantilla

[editar] Plantilla de variable auxiliar

[editar] Notas

Cada ubicación individual de memoria en el modelo de memoria de C++, incluyendo las posiciones de memoria ocultas utilizadas por las características del lenguaje (por ejemplo puntero a la tabla virtual), es de tipo escalar (o es una secuencia de campos de bits contiguos de longitud diferente de cero). La secuenciación de los efectos secundarios en la evaluación de la expresión, la sincronización intrahilos, y el ordenamiento de las dependencias se definen todos en términos de objetos escalares individuales.

[editar] Posible implementación

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> {};

[editar] Ejemplo

#include <iostream>
#include <type_traits>
 
int main() {
    class cls {};
    std::cout << (std::is_scalar<int>::value
                     ? "T es un escalar"
                     : "T no es un escalar") << '\n';
    std::cout << (std::is_scalar<cls>::value
                     ? "T es un escalar"
                     : "T no es un escalar") << '\n';
}

T es un escalar
T no es un escalar

[editar] Véase también