In this blog post the author has suggested the following as the bug fix:
int mid = (low + high) >>> 1;
Does anyone know what is this >>> operator? Certainly its not there on the following operator reference list:
- http://msdn.microsoft.com/en-us/library/x04xhy0h%28v=vs.71%29.aspx
- http://www.cplusplus.com/doc/tutorial/operators/
What is it and how does that solve the overflow problem?
The Java expression
x >>> y
is more or less equivalent to the C++ expressionunsigned(x) >> y
.>>>
is not C++ operator. I think it's an operator in Java language. I'm not sure though!EDIT:
Yes. That is java operator. Check out the link to the article you provided. The article is using Java language!
>>>
is the logical right shift operator in Java.It shifts in a zero on the left rather than preserving the sign bit. The author of the blog post even provides a C++ implementation:
... if you right-shift unsigned numbers, preserving the sign bit doesn't make any sense (since there is no sign bit) so the compiler obviously uses logical shifts rather than arithmetic ones.
The above code exploits the MSB (32rd bit assuming 32 bit integers): adding
low
andhigh
which are both nonnegative integers and fit thus into 31 bits never overflows the full 32 bits, but it extends to the MSB. By shifting it to the right, the 32 bit number is effectively divided by two and the 32rd bit is cleared again, so the result is positive.The truth is that the
>>>
operator in Java is just a workaround for the fact that the language does not provideunsigned
data types.It is a java operator, not related to C++.
However all the blog author does is change the division by 2 with a bit-wise right shift (i.e. right shifting the value by
1
is similar to dividing by2 ^ 1
).Same functionality, different machine code output (bit shifting operations are almost always faster than multiplication/division on most architectures).
>>>
is not a part of C++. The blog contains code in Java.Check out Java online tutorial here on Bitwise shift operators. It says
The
>>>
operator is in a Java code snippet, and it is the unsigned right shift operator. It differs from the>>
operator in its treatment of signed values: the>>
operator applies sign extension during the shift, while the>>>
operator just inserts a zero in the bit positions "emptied" by the shift.Sadly, in C++ there's no such thing as sign-preserving and unsigned right shift, we have only the
>>
operator, whose behavior on negative signed values is implementation-defined. To emulate a behavior like the one of>>>
you have to perform some casts tounsigned int
before applying the shift (as shown in the code snippet immediately following the one you posted).