From: Peter Dimov (pdimov_at_[hidden])
Date: 2003-02-17 08:44:41
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk