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. -- Gaby _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost