[boost] Re: dangerous_cast<>

From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2002-12-08 11:02:09

On 08 Dec 2002 15:09:32 +0100, Gabriel Dos Reis
<gdr_at_[hidden]> wrote:

>Gennaro Prota <gennaro_prota_at_[hidden]> writes:
>
>[...]
>
>| If void* is not a "pointer to an object" then reinterpret_cast<void*>
>| is invalid. Otherwise it just yields an undefined result.

I should have said "unspecified", sorry.

> I haven't
>| found a definition of "pointer to object" in the standard; anyhow
>| certainly void is not an object type.
>
>void* is the generic type of "pointer to object."

Well, as I said I don't find any definition of the expression "pointer
to object" (though, of course, I do know that you can point to an
object through a void*). In any case, do you agree that at least the
result is unspecified?

Genny.