From: John Maddock (John_Maddock_at_[hidden])
Date: 1999-12-21 07:17:23
>will work. In [Deducing template arguments from a type] (188.8.131.52), para
gives us a list of matchable forms, one of which is "cv-list T". I take
this to mean that "X<const int>" will match both specializations, and
neither is more specialized than the other, resulting in ambiguity. Is
That paragraph lists those template types that are capable of being deduced
- it does not say that all deducable forms are equivalent.
As a matter of practice I know of no compilers that treat A<T> and A<const
T> as the same type - and IMO it would be a bug if they did.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk