>  Could we call the current add_pointer<> template addressof_type or
>  something, and supply an add_pointer which straightforwardly adds a '*' if
>  it's legal to do so?

That's more or less what it does now: everything become a T* except T& which
becomes T*.  I would find it even odder that add_pointer<T&> ::type was T&,
since the latter is clearly not a pointer, where as with
add_reference<T&> ::type the result is already a reference, and with
add_const <const T> ::type the result is already const.

John Maddock
http://ourworld.compuserve.com/homepages/john_maddock/index.htm


_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost