・gccのは -fstrict-aliasing で、あくまで alias についてだが、仕様書内は alias なんて関係ない。 ・fstrict-aliasing 出来る理由が3.10.10によるのなら、reinterpret_castの存在価値はなく、仕様書内に矛盾がある。 ・おそらく reinterpret_cast 撲滅で union に書き換えろ、という方向か？ aliasってのは多分折衷案で、union 以外は全部アウトにしたいっぽい。
詳細は以下。
5.2.10 Reinterpret castでは特に妙なところはなし、型キャストは為される。 aliasについては3.10.10だが、reinterpret_castしてれば the dynamic type 扱いでアクセスに問題なし、と見る。 3.10.10.の注 54) The intent of this list is to
