Re: [boost] Re: is_class

From: Peter Dimov (pdimov_at_[hidden])
Date: 2003-02-04 07:39:22

From: "Daniel Frey" <d.frey_at_[hidden]>
> On Tue, 04 Feb 2003 00:23:26 +0100, Paul Mensonides wrote:
>
> > ----- Original Message -----
> > From: "Daniel Frey" <d.frey_at_[hidden]>
> >
> >> template< class C, typename T > struct is_member_function_pointer< T
> >> C::* >
> > { enum { value = is_function< T >::value }; };
> >> template< class C, typename T > struct is_member_function_pointer< T
> >> C::*
> > const > { enum { value = is_function< T >::value }; };
> >> template< class C, typename T > struct is_member_function_pointer< T
> >> C::*
> > volatile > { enum { value = is_function< T >::value }; };
> >> template< class C, typename T > struct is_member_function_pointer< T
> >> C::*
> > const volatile > { enum { value = is_function< T >::value }; };
> >
> > Whoa, sorry Daniel, I missed this part, which is almost exactly the same
> > as my post.
>
> And which is exactly the kind of type-deduction that the GCC fails to do
> - which is why I needed to create the slightly more complex version to
tame
> both compilers at the same time :)

Are you sure that "T C::* const" is a type?