Bitwise shift operators. Signed and unsigned
I'm practising for the SCJP exam using cram notes from the Internet.
According to my notes the >>
operator is supposed to be signed right shift, with the sign bit being brought in from the left. While the left shift operator <<
is supposed to preserve the sign bit.
Playing around however, I'm able to shift the sign with the <<
operator (f.e. Integer.MAX_VALUE << 1
evaluates to -2
, while I'm never able to shift the sign with the >>
operator.
I must be misunderstanding something here, but what?
">>" is signed because it keeps the sign. It uses the most left digit in binary representation of a number as a filler. For example:
| this value is used as a filler
11011011
>> 11101101
01010010
>> 00101001
">>>" is unsigned version of this operator. It always use zero as a filler:
11011011
>>> 01101101
01010010
>>> 00101001
In binary representation the most left digit determines sign of the number. So, if it's '1' then we have negative value and if it's '0' - then our number is positive. That's why using the most left digit as a filler allows to keep sign permanent.
The idea behind the shifts is that they can act as multiplying and dividing by powers of 2 ( << 1 is equivalent to *= 2, >> 2 is equivalent to /= 4), which is why the signed version of shifting exists. Unsigned shifting doesn't preserve the sign, necessarily, though. The << operator doesn't actually preserve the sign, as you suggest; it simply happens to in your example. Try doing a left shift on 2,147,483,647; it doesn't stay positive. The reason that they don't bother trying to make a 'signed' left shift is because, if the number shifts from positive to negative (or viceversa), then you went outside the bounds of the variable type anyway.