我试图理解字节数组的二进制搜索错误,我理解了计算中间索引时发生溢出的概念.但是,当我使用字节数组模拟相同的行为时,如下所示：

public byte binarySearch(byte[] arr, byte low, byte high, byte value){

        if(low>high){
            return -1;
        }

        /* Line 1 */  byte overflow_mid = (byte) (((byte) (low + high))/2); // This line giving overflow behaviour

        /* Line 2 */  byte mid = (byte) ((low + high)/2);      // however this line doesn't, which is not what i expected

        if(arr[mid]== value){
            return mid;
        }

        if(arr[mid]>value){
            return binarySearch(arr, low, (byte) (mid-1), value);
        }
        return binarySearch(arr, mid, high, value);
    }

我的直觉：

由于低变量和高变量的类型均为字节,因此我相信在计算第2行的中间索引时,不需要再次显式转换为字节.

谢谢

解决方法:

假设字节低= 50,高= 100.

表达式low high将首先将两个都提升为int,然后将它们相加,得到值150(int).

在版本1中,然后将150(int)强制转换为字节,即值-106(字节).溢出.与for相同,/运算符会将双方都提升为int,因此它变为-106(int),除以2后即为-53(int).最后再次将其强制转换为byte,最后以-53(byte)结尾.

在版本2中,将150(int)除以2,并且由于两边都已经是int值,因此不进行任何提升,最后得到75(int).将其强制转换为字节可以得到75(字节).没有溢出.