[boost] Re: call_traits/type_traits

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

Steve,

>will work.  In [Deducing template arguments from a type] (14.8.2.4), para
9
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
this
correct?<

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.