Boost logo

Boost :

From: John Maddock (John_Maddock_at_[hidden])
Date: 1999-12-21 07:17:23


>will work. In [Deducing template arguments from a type] (, 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.

- John.

Boost list run by bdawes at, gregod at, cpdaniel at, john at