[boost] Re: Formal Review: Typeof

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2005-05-20 21:31:03

"David Abrahams" <dave_at_[hidden]> wrote

> Unfortunately there are still problems with vc-8:
>
> ..\..\..\..\boost/sequence/detail/typeof_add.hpp(15) : error C2893: Failed
to specialize function template 'char (&boost::type_of::size(const T
&))[boost::mpl::size<encode_type<boost::type_of::vector0<>,T>::type>::value]
'
>         With the following template arguments:
>         'T'
>         ..\..\..\..\boost/sequence/detail/typeof_add.hpp(16) : see
reference to class template instantiation
'boost::sequence::detail::typeof_add<T,U>' being compiled
>
> See the updated archive.

I've run into this problem before.  Looks like it's present only in vc8
beta.  Seems to be "fixed" if make<T>() is replaced with T() -- of course
then we have problems with non-default-constructible classes.  *(T*)0
doesn't work either.

Doesn't look like a Typeof problem, although Typeof may be responsible for
driving the compiler crazy, after which it chokes.

Seems to be a question to Microsoft...

Regards,
Arkadiy