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