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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk