[boost] Re: call_traits/type_traits

From: Howard Hinnant (hinnant_at_[hidden])
Date: 1999-12-22 18:05:32

I've been playing around with an alternate implementation of is_const, 
and was wondering what if any compilers might support it:

template <typename T> struct remove_const          {typedef T type;};
template <typename T> struct remove_const<T const> {typedef T type;};

template <typename T, typename U> struct is_same       {static const bool 
type = false;};
template <typename T>             struct is_same<T, T> {static const bool 
type = true;};

template <typename T> struct is_const
        {static const bool type = !is_same<T, remove_const<T>::type>::type;};

#include <iostream>

int main()
{
     std::cout << is_const<const int>::type << '\n';
}

-Howard