27 May
2005
27 May
'05
10:45 a.m.
"David Abrahams" <dave@boost-consulting.com> wrote
"Arkadiy Vertleyb" <vertleyb@hotmail.com> 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