integral vs. user-defined type check

[maynard]

Is there a way to check if an object is an instance of a user-defined
type or an integral type? I have a templated class that this would be
very handy in (do _something_ if the template parameter is integral
type, or call a method of the template parameter if it is a
user-defined type/class).

I know this is quite error prone (e.g., instantiating the template
class with a class that doesn't define the required method), but this
is just for internal use (nothing distributed or production level).

Thanks in advance.

 

[Victor Bazarov]

Is there a way to check if an object is an instance of a user-defined
type or an integral type? I have a templated class that this would be
very handy in (do _something_ if the template parameter is integral
type, or call a method of the template parameter if it is a
user-defined type/class).

I know this is quite error prone (e.g., instantiating the template
class with a class that doesn't define the required method), but this
is just for internal use (nothing distributed or production level).

Specialise. Explicitly.

See 'has_member' in archives.

V

 

[mlimber]

Specialise. Explicitly.

See 'has_member' in archives.

V

Probably explicit specialization is what you want, like Victor says.
However, you might also find the Boost type traits library to be handy:

http://boost.org/doc/html/boost_typetraits.html

Cheers! --M