■Cにおける偶数奇数判定

偶数奇数を判定するための途方もないプログラミングコードが話題に

http://blog.livedoor.jp/itsoku/archives/55507489.html

x and 1 (ビット演算)でいいじゃんと言う話

偶数奇数判定は、通常、剰余を使って、

x mod 2

で行いますが、ビット演算を使い、最下位ビットが立ってるかチェックする

x and 1

でいいじゃんという話がコメント欄でちらほら出てきます。

負の表現に2の補数を使うプログラミング言語では問題無いのですが、Cではちょっと問題が起きます。

プログラミング言語Cかつ符号付き整数のときの問題

X3010:2003 プログラミング言語 C 6.2.6.2 整数型

符号付き整数型において、オブジェクト表現のビットは、値ビット、詰め物ビット、および符号ビットの三つのグループにわけられなければならない。

詰め物ビットは存在しなくてもよく、符号ビットは丁度一つでなければならない。それぞれの値ビットは、対応する符号なし整数型のオブジェクト表現における同じビットと同じ値をもたなければならない。(略)

符号ビットが0であれば、それは結果の値に影響を及ぼしてはならない。符号ビットが1であれば、値は次に示す方法の一つにしたがって変更されなければならない。

- 符号ビットが0のときの値を負数化した値[符号と絶対値(sign and magnitude)]

- 符号ビットが値-(2^N)をもつとするときの値[2の補数(two's complement)]

- 符号ビットが値-(2^N-1)をもつとするときの値[1の補数(one's complement)]

これらのうちいずれが適用されるかは処理系定義とする。

負の表現に1の補数が使われている処理系で問題が起きます。

たとえば、符号付き整数8ビットで(-1)を表現すると、

2の補数の場合(1111 1111)₂

1の補数の場合(1111 1110)₂

と、表現が異なります。

よって、処理系が2の補数を採用している場合では問題ありませんが、1の補数を採用している場合に判定が逆になります。

1の補数を採用してる処理系なんてあるの(ﾌﾟﾝｽｺ)

UNISYS社のClearPath Dorado Systems(ClearPath OS2200)で採用されているという話です。

参考

INT16-C. 符号付き整数の表現形式について勝手な想定をしない

https://www.jpcert.or.jp/sc-rules/c-int16-c.html

Permalink | 記事への反応(1) | 18:40

ツイートシェア