[boost] Re: Formal Review in progress

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2005-05-27 05:45:56

"David Abrahams" <dave_at_[hidden]> wrote

> "Arkadiy Vertleyb" <vertleyb_at_[hidden]> writes:
> > 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.

Right, I used wrong terminology.

> 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.

That maybe OK for typeof.  The bigger problem is that they are not matched
as strictly as specializations do.  For example a derived class can be
matched, etc.

Regards,
Arkadiy