Re: [boost] Re: dangerous_cast<>

From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2002-12-08 12:10:31

Gennaro Prota <gennaro_prota_at_[hidden]> writes:

[...]

| > 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*). 

I don't know how formal you want a definition for pointer to object to
be defined; but I, personnally, find 3.9.2 sfficiently acceptable.

| In any case, do you agree that at least the
| result is unspecified?

I don't think I agree with this part; at least if it means anything
other that converting a Foo* to void*.

-- Gaby