Peter Dimov wrote: > > Daniel Frey wrote: > > > > I think we should consider to define what should not work and what > > should not. If we want add_const to reject types that cannot be made > > const, we should also consider to make references not compile. > > The definition of what should work in this case is simple: > "add_const<T>::type" is equivalent to "T const". "T const" is equivalent to > T when T is a reference type, see 8.3.2/1.
Ah, I missed that, thanks. I think the documentation should repeat this and not rely on the user to know the standard's exact wording :) Regards, Daniel -- Daniel Frey aixigo AG - financial training, research and technology Schloß-Rahe-Straße 15, 52072 Aachen, Germany fon: +49 (0)241 936737-42, fax: +49 (0)241 936737-99 eMail: [EMAIL PROTECTED], web: http://www.aixigo.de _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost