>>232はC++03でも正しい。
「voidのアライメントなんて定義されてねー」と言いがかりつけてくるのがいるので、
voidが特記された。

5.2.10 p7
A pointer to an object can be explicitly converted to a pointer to an object of
different type. Except that converting an rvalue of type 懼pointer to T1懼
to the type 懼pointer to T2懼 (where T1 and T2 are object types and where the
alignment requirements of T2 are no stricter than those of T1) and back to its
original type yields the original pointer value, the result of such a pointer
conversion is unspecified