Re: [boost] Re: Re: dangerous_cast<>

From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2002-12-04 15:59:54

"David B. Held" <dheld_at_[hidden]> writes:

| "Gabriel Dos Reis" <gdr_at_[hidden]> wrote in message
| news:m38yz5pp08.fsf_at_uniton.integrable-solutions.net...
| > [...]
| > What do mean exactly by a "valid Foo*"?
| 
| I mean that reinterpret_cast<> may legally map what you think ought
| to be a Foo* in a T* to a value that does not point to any Foo object.

But then, dereferencing the value obtained after

   char* -> void* -> Foo*

may just reformat the hard drive.

| At least, that is my understanding of 5.2.10/3.

Agreed.

-- Gaby