From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2002-12-07 14:23:51
Gennaro Prota <gennaro_prota_at_[hidden]> writes:
| Well, in fact those subsequent paragraphs intentionally give very few
| guarantee, and reinterpret_cast<void*> is exactly one of the cases
| which are left unspecified (the guarantee of 5.2.10/7 concerns casting
| to pointers to *object types*). So I guess there's not much room for
| proving your equivalence.
Clause 4 defines, among other things, what it means to convert a T* to
a void*. Certainly, that clause defines implicit conversions; but it
is not just about that.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk