Is Primitive Type Trait?

[o1vk4iN6]

Is there a type trait in the standard library to check if a value is a primitive?

Something along the lines of:

template<class T>
struct is_primitive
{ static const value = false; }

template<>
struct is_primitive<char>
{ static const value = true; }


template<>
struct is_primitive<int>
{ static const value = true; }

template<>
struct is_primitive<float>
{ static const value = true; }


// etc...

I haven't seen this, just to avoid conflicts with a standard if there is one.

[Stewbond]

how about template <typename T>? Won't the primitive types satisfy this one?

Nevermind, I see that you were just asking if your name will clash with one in std. I don't think so.

<typeinfo> has some interesting related stuff:
http://cplusplus.com/reference/std/typeinfo/type_info/

and there are some related functions in <limits>
http://cplusplus.com/reference/std/limits/numeric_limits/

But nothing that is the same.

[Cubbi]

Depends on your definition of "primitive". There is a trait for each official type category, yours looks like std::is_arithmetic so far. http://en.cppreference.com/w/cpp/types/is_arithmetic

[viliml]

std::is_fundamental is what you ask for.

[LB]

@Stewbond: it does not matter whether you write class or typename, both will accept primitive types and class types and function signatures/pointers and member pointers, etc...

[clanmjc]

The only time you "need" to use typename is to identify nested dependent type names, otherwise they are interchangeable.