08/06/14 04:05:09
>>252
現行の規格で多少無理やり解釈すれば、 -0 と +0 は == で比較すれば
同じになるとしても、区別可能な（異なる value representation を持つ）二つの値
ということでコピーでビット列が変わる可能性は無い、とは言えそう。
ちょっと苦しいんで調べてみたところ、 C との互換性と合わせて見直しが
提案されているみたい。
URLﾘﾝｸ(www.open-std.org)
この中で C99 の規格を基本的にはそのままパクりながら、 C99 では
保証が無いものの、 C++ で半ば慣習的に行われてきた char による
object representation のコピーを保証するため、以下のような記述の追加が
見られる。
The types unsigned char and char may be used for “bitwise” copy.
[Note: this means that if signed char has a negative zero which is
either a trapping value, or will be forced to positive zero on assignment,
plain char must be unsigned. ?end note]
てきとう訳:
型 unsigned char と char は「ビット的」コピーに使ってもよい。
[注: これは、もし signed char が負のゼロをトラップ値として持つか
代入において正のゼロに強制されるのであれば、ただの char は
unsigned でなければならない、ということを意味する。 -注ここまで]
提案とは別に、議論の中では C++ では２の補数を強制してしまうような話も
出ていたらしい。実際のところはそれでもいいのかもしれない。