割り当て時のビットシフトは変数

Question

には何の影響もありません。私はthis answerに似たようなものがあると思っていましたが、その場合は式の結果を変数に代入していませんでした。私の場合、私はそれを割り当てていますが、表現のビットシフト部分は効果がありません。

unsigned leftmost1 = ((~0)>>20); 
printf("leftmost1 %u\n", leftmost1); 

戻り

leftmost1 4294967295 

unsigned leftmost1 = ~0; 
leftmost1 = leftmost1 >> 20; 
printf("leftmost1 %u\n", leftmost1); 

は私に

leftmost1 4095 

私は何の影響も及ぼさない2行にロジックを分離する期待を与えるのに対し、なぜ結果があります違う？

Answer 1

をシフトするとき、あなたは符号付き右シフトを行っている符号ビットを運んでいますので、署名されている intに昇格です。署名された右シフトの正確な振る舞いは実装定義されていますが、あなたを含むほとんどのプラットフォームは符号ビットを拡張しているので、シフトは "すべてのもの"の入力に対しては何もしません。

leftmost1がunsignedなので、2番目のケースでは、符号なし右シフトが実行されます。左からゼロにシフトします。

あなたは中間assignmetnなし符号なしシフトをやってみたかった場合、あなたが行うことができます：

(~0u) >> 20 

uサフィックスは符号なしのリテラルを示しています。

Answer 2

このようにキャストしてみてください。 〜0は、符号付きの値で~0結果ので、それは、あなたが最初のケースで

unsigned leftmost1 = ((unsigned)(~0)>>20); 
printf("leftmost1 %u\n", leftmost1); 

Answer 3

0は、タイプintである。 ~0は、典型的な2の補数マシンで-1です。負の数を右シフトすると実装定義の結果が得られますが、-1の場合はが再び-1になります。-1の場合は、1ビットでシフトするのが一般的です。

0u（リテラルはunsigned int）と書いてください。この行はunsigned leftmost1 = -1と同等です

unsigned leftmost1 = ~0; 

、暗黙的に変換する-1（符号付き整数）UINT_MAXに：これがあなたの第二の例のように、操作がunsigned intに行われるように強制します。次の操作（leftmost1 >> 20）は、符号なし演算を使用します。

Answer 4

~0は、intです。だから、コードのあなたの最初の部分が第二と等価ではない、それはあなたが負の数を右にシフトするときには、符号拡張の結果を見ている

int tmp = ~0; 
tmp = tmp >> 20; 
unsigned leftmost1 = tmp; 

に相当します。