>>53
>>52 で示すべきだった条項は確かにそれで、この点の誤りは認める
そのうえで >>30 を一読されたい

ところで規格を引用して議論しているときの「処理系依存」という用語は曖昧なので
　・不適格
　・処理系定義
　・処理系限界
　・文化圏固有
　・未定義
　・未規定
　・拡張
の、どれを指しているのかをはっきり示していただきたい

>>55
そのサンプルにはクラス型でない T へのポインタに対する
static_cast<void*>(T*) と reinterpret_cast<void*>(T*) の相違および
static_cast<T*>(void*) と reinterpret_cast<T*>(void*) の相違のうちの
どれを主張する意図があったのかを拝聴できれば幸いである
現状、あなたの意図は伝わっていない