Gabriel Dos Reis <[EMAIL PROTECTED]> writes:

> Thanks for your patience.
>
> Now, imagine an implementation where the original type is remembered,
> then dereferencing the pointer obtained from
>
>    char* -> void* -> T*
>
> may just eject you into the outer space.

Is remembering the original type _of_ _the_ _pointer_ actually legal?
Can you quote chapter and verse on this?  I thought the implementation
was only permitted to eject you if you use a pointer where the actual
type _of_ _the_ _pointee_ is wrong.

-- 
                       David Abrahams
   [EMAIL PROTECTED] * http://www.boost-consulting.com
Boost support, enhancements, training, and commercial distribution

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

Reply via email to