[boost] Re: Formal Review in progress

From: David Abrahams (dave_at_[hidden])
Date: 2005-05-27 05:14:47

"Arkadiy Vertleyb" <vertleyb_at_[hidden]> writes:

> "Alexander Nasonov" <alnsn-boost_at_[hidden]> wrote in message
>
>> 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, 

That is a fact.

>> for example.
>
> I think they are:
>
> template<class T>
> char foo(vector<T>& v)[id1][id2][id3];

That's not a partial specialization; it's an overload.  It's different
from a specialization in that all the overloads need to be visible
before the point of use unless you are going to use ADL to look up the
function.

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com