Gennaro Prota <[EMAIL PROTECTED]> writes: | --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | > Gennaro Prota <[EMAIL PROTECTED]> 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. | | Yes. But, as I said, here it's a matter of *how* do you do the conversion. As | to doing it with reinterpret_cast, 5.2.10/1 says: | | "Conversions that can be performed explicitly using reinterpret_cast | are listed below. No other conversion can be performed explicitly | using reinterpret_cast." | | Where is it listed that you can do a conversion to void*?
Do you mean it is invalid to reinterpret_cast<> to void*? -- Gaby _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
