[boost] Re: Formal Review in progress

From: Alexander Nasonov (alnsn-boost_at_[hidden])
Date: 2005-05-27 06:10:22

David Abrahams <dave <at> boost-consulting.com> writes:

> 
> "Alexander Nasonov" <alnsn-boost <at> yandex.ru> writes:
> 
> > David Abrahams writes:
> >> The function returns a reference to a multidimensional array, where
> >> each numerical element that you were putting in the mpl::vector is
> >> encoded as a separate dimension of the array.
> >
> > Exactly. It's the vector returned by encode_type_impl. I didn't have a
> > chance to think about my idea thoroughly but this is something completely
> > different. Partial specializations aren't supported by functions, for
> > example.
> 
> This array technique is the one used by Steve Dewhurst in his typeof
> implementation.

IIRC, he doesn't apply it to type encoding. I've tried to get rid of ODR
violations of encode_type_impl but I forgot about decode_type_impl and a point
of BOOST_TYPEOF invocation. I'd better went to bed yesterday night ;-)

--
Alexander Nasonov