Re: [boost] Re: dangerous_cast<>

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