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

Reply via email to