Re: [boost] type_traits: workaround bias

From: David Abrahams (david.abrahams_at_[hidden])
Date: 2002-03-13 13:23:49

Which version of VC are you using?
I get the ICE with 6sp4.
It would be pretty damned exciting if we could get this to work...

-Dave

----- Original Message -----
From: "Aleksey Gurtovoy" <alexy_at_[hidden]>

> David Abrahams wrote:
> > > metafunctions, and that doesn't help the compiler. Without
> > > seeing the code and errors I can't say if that's the case, but
> > > there is a chance that using something named less
> > > provocative as a wrapper template can help here.
> >
> > Tried that, too :^(
> >
> > struct X;
> > template <class T> struct wraps{};
> > template <class T> char f(wraps<T&>);
> > int main()
> > {
> >     sizeof(f(wraps<X&>()));
> >     return 0;
> > };
>
> This compiles:
>
> #include "boost/static_assert.hpp"
>
> struct X;
> template <class T> struct wraps{};
> template <class T> char f(wraps<T&>);
> template <class T> char(& f(void const volatile*))[2];
>
> int main()
> {
>     BOOST_STATIC_ASSERT(sizeof(f<X>(wraps<X&>())) == 1);
>     return 0;
> }
>
>
> Info: http://www.boost.org  Send unsubscribe requests to:
<mailto:boost-unsubscribe_at_[hidden]>
>
> Your use of Yahoo! Groups is subject to
http://docs.yahoo.com/info/terms/
>
>