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 _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost