From: David Abrahams (dave_at_[hidden])
Date: 2002-12-04 15:56:20
Gabriel Dos Reis <gdr_at_[hidden]> 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
dave_at_[hidden] * http://www.boost-consulting.com
Boost support, enhancements, training, and commercial distribution