is_pointer Bug

From: Jesse Jones (jejones_at_[hidden])
Date: 2000-10-13 19:26:24

I don't think is_pointer is quite right. It's defined like this:

template <typename T> struct is_pointer { static const bool value = false; };
template <typename T> struct is_pointer<T*> { static const bool value =
true; };

But what if the type is "char* const"? It won't match the specialization
because the pointer itself is const. I think there should be a second
specialization that looks like this:

template <typename T> struct is_pointer<T* const> { static const bool value
= true; };

Of course the same applies with volatile, but I dunno if volatile pointers
are at all useful.

  -- Jesse