From: Daniel Frey (daniel.frey_at_[hidden])
Date: 2003-02-17 09:12:21
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 :)
-- 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: daniel.frey_at_[hidden], web: http://www.aixigo.de
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk