"Eric Woodruff" <[EMAIL PROTECTED]> writes: [...]
| > Thus, given that h.storage is properly aligned, (which is the purpose of | the | > other union member), after "new(h.storage) Foo", h.storage contains a Foo | > object. Thus accessing it through a pointer-to-Foo is legal, as Foo is the | > dynamic type of the object. | > | | This is precisely my reasoning why reinterpret_cast<> is _not_ | implementation defined. | | It must be the case that it is equal to the situation of having | | Foo* -> char */void* -> Foo* if Foo is the dynamic type of the object. After giving more thoughts to the analysis given by Anthony and 5.2.10/1, I think I agree with you're right. -- Gaby _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost