|
Boost : |
From: Aleksey Gurtovoy (agurtovoy_at_[hidden])
Date: 2002-11-13 04:50:22
Paul Mensonides wrote:
> This is unacceptable. What really needs to happen, is the
> rules regarding declaration instantiation of template class
> members need to be merged with type-deduction failure. I.e.
> If the result is semantically invalid, the function is removed
> from the overload set (excepting only a few things such as
> applying 'const' to a type that is already 'const' and possibly
> the reference to reference issue). Period. This is the only
> safe way to go, and conveniently, would allow for all sorts of
> traits tests that currently rely on compiler extensions.
Agreed, that's basically what is wanted. The challenge is to execute
something along the lines of the Doug's plan successfully ;).
Aleksey
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk