On Sat, 07 Dec 2002 17:16:42 +0100, Gennaro Prota
<[EMAIL PROTECTED]> wrote:

>On 07 Dec 2002 12:26:35 +0100, Gabriel Dos Reis
><[EMAIL PROTECTED]> wrote:
>
>
>>5.2.10/1:
>>  The result of the expression reinterpret_cast<T>(v) is the result of
>>  converting the expression v to type T. [...]
>
>Are you saying you really understand what that phrase means?

To avoid a possible misunderstanding: I was not attacking you, that
would be the last straw. It's _the sentence_ that is IMHO a little
meaningless; I think it's just a rough, informal description (sort of
preamble) of what is specified in the subsequent paragraphs.

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.


Genny.


_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to