Re: [boost] Re: dangerous_cast<>

From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2002-12-04 14:23:19

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

| "Eric Woodruff" <Eric.Woodruff_at_[hidden]> wrote in message
| news:asli92$oqn$1_at_main.gmane.org...
| > [...]
| > > > > holder<Foo> h;
| > > > > new (h.storage) Foo;
| > [...]
| > So the type really is of Foo,
| > [...]
| 
| No, the type really is char[sizeof(T)] converted to char* const.  Since the
| pointer never was Foo*, I don't believe reinterpret_cast<> is obliged to
| give you a valid Foo*.

What do mean exactly by a "valid Foo*"?

-- Gaby