"David B. Held" <[EMAIL PROTECTED]> writes: | "Gabriel Dos Reis" <[EMAIL PROTECTED]> wrote in message | [EMAIL PROTECTED]">news:[EMAIL PROTECTED]... | > [...] | > What do mean exactly by a "valid Foo*"? | | Hmm...I think 5.2.10/7 is more relevant. I guess it depends on what | "unspecified" means. I assumed that it meant that you have a Foo*, | but it might not point to an actual Foo.
OK, now, let's recall the original construct template <class T> struct holder { union { aligned_POD<T>::type aligner; char storage[sizeof(T)]; }; }; the Standard makes no guarantee that you do the conversion char* -> void* -> T* on &h.storage[0] and have a usuable T*. -- Gaby _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost