"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
