ビット演算における符号なしと符号ありの違い

提示コードですが符号なしと符号ありのビット演算における処理の違いが知りたいです。無論マイナスの値が使えるかどうかの違いですがビット演算になるとなぜunsignedを使うのでしょうか？

cpp
1unsigned int a;
2int b;

参考サイト：http://wisdom.sakura.ne.jp/programming/c/c53.html
参考サイト：　https://www.cc.kyoto-su.ac.jp/~yamada/programming/bit.html

行動規範の内容に同意します

回答4件

ビット演算になるとなぜunsignedを使うのでしょうか？

処理系依存のコードにしないためでしょう。
C 規格も C++ 規格もシフト演算については、論理シフトか算術シフトか規定していません。
処理系が任意に選択できます。
そのため signed のオブジェクトを右シフトするコードを書くと処理系依存のコードになってしまいます。

投稿2021/09/12 08:19

lehshell

総合スコア1156

a= ~0;
a>>=1;

という演算をした場合、aが符号付きだと結果が変わる場合があります
まあ、こういうややこしいことを考慮しないで済むように、符号なしにするってことで。

投稿2021/09/12 07:11

y_waiwai

総合スコア88042

退会済みユーザー

2021/09/12 07:20

なんかの拍子の一つ左にシフトしたときにそれが符号ビットとして扱われて値が変わるからですか？

y_waiwai

2021/09/12 07:25 編集

aが符号付きの場合、 aが0xffffffff になるか、0x7fffffff になるか、処理系によってどっちでもありえますね

退会済みユーザー

2021/09/12 07:29

質問ですが処理系とはパソコンによって変わるということでしょうか？

y_waiwai

2021/09/12 07:31

コンパイラにより変わります

退会済みユーザー

2021/09/12 07:34

コンパイラとはg++ clnag で変わるということでしょうか？

y_waiwai

2021/09/12 07:38

そこらへんはGCCから続くシリーズなんで、おそらく同じ動作をするでしょうね組み込み系とかそこらへんになるといろいろです

SaitoAtsushi

2021/09/12 08:40

言語仕様におけるシフト演算子についての規定はここにあります。 https://timsong-cpp.github.io/cppwp/n3337/expr.shift 言語仕様における処理系定義 (implementation-defined) という用語は処理系としてその挙動を決めて文書化しておくべき項目ということを意味します。 https://timsong-cpp.github.io/cppwp/n3337/defns.impl.defined GCC では最大値ビットのひとつ上位のビットが符号ビットであると見做した動作をすると規定されています。 https://gcc.gnu.org/onlinedocs/gcc/Integers-implementation.html ちなみに左シフトには結果が「未定義」となる状況がありますが、 C++ の言語仕様における未定義動作 (undefined behavior) とは言語仕様で一切の要件を課さないことを意味し、処理系がエラーとして検出してもかまいませんし、なんらかの意味のある結果を処理系独自に規定しても構いませんし、状況を完全に無視した動作も許容されます。要するにその場でいきなり終了したり暴走したりしても言語仕様通りであるということです。 https://timsong-cpp.github.io/cppwp/n3337/defns.undefined 常識的には未定義動作は事実上禁止されている (引き起こしてはならない) 動作と考えるべきですし、処理系を変更したときに挙動が変わってしまうかもしれない処理系定義の挙動をあてにするのは出来れば避けるに越したことは有りません。

行動規範の内容に同意します

あ。算術シフトを避ける為ですね……

~~
ビット演算は符号の有無は無視して、そのまま桁ごとに演算がされます。~~
~~
たとえば、
int x = 0; //00000000
をnotで反転
~xの値は11111111 = -1
になります。
同様に、1を反転すると-2になります。
~~
~~
符号があるのに無視されることでおかしな事になるので、unsignedで初めから符号はなかったものとして扱います。
~~
~~
unsigned int x=0;
をnotで反転
~xの値は11111111 = 255
になります。
同様に、1を反転すると254になります。
~~