Java中&&和?表达式结合时会出现的坑

　　首先是背景，刚放假回家比较闲，就把以前写了一些算法题的一个项目拿出来继续写，想把其中的插入排序修改成支持升序和降序的，然后就出现了这个坑，具体是这样的：

　　先把插入排序的代码摆出来吧。

    /**
     * 插入排序
     * @param arr 输入数组
     * @param order 顺序 1为升序 0为降序
     */
    static void insertionSort(int arr[],int order){

        for (int i = 1; i < arr.length; i++)
        {
            int get = arr[i];
            int j = i - 1;
            while (j >= 0 && (order == 1) ? (arr[j] > get):(arr[j] < get))
            {
                arr[j + 1] = arr[j];
                j--;
            }
            arr[j + 1] = get;
        }
    }

　　main函数是这样调用的：

    public static void main(String[] args){

        int[] arr = {8,96,23,5,6,43};
        for(int a :arr){
            System.out.print(a + ",");
        }
        System.out.println();
        insertionSort(arr,1);

        for(int a :arr){
            System.out.print(a + ",");
        }
        System.out.println();

        insertionSort(arr,0);

        for(int a :arr){
            System.out.print(a + ",");
        }

    }

　　运行后日志是这样的：

8,96,23,5,6,43,
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: -1

　　异常的意思是说数组越界了，且问题出在这一行

while (j >= 0 && (order == 1) ? (arr[j] > get):(arr[j] < get))

　　代码中j每次循环都会减1直到这两个条件都不满足为止，debug后发现是j=-1的时候出现的异常，但问题是j=-1的时候，不会去使用数组啊，因为众所周知&&属于短路操作，即如果第一个操作数能够决定结果，那么就不会再对第二个操作数求值，也就是说j=-1的时候后面的表达式是不会计算的啊，但这里进行计算了，从数组中取值了，所以出现了这个异常。

　　我也随便写了一些代码测试了一下这种情况：

    /**
     * 对比两个输入参数的大小
     * @param a 输入参数1
     * @param b 输入参数2
     * @return boolean 如果a > b 返回true,反之返回false
     */
    static boolean compare(int a,int b){
            System.out.println(a + ">" + b + "?");
            System.out.println(a > b);
            return a > b;

    }
    public static void main(String[] args){
        int a = 1;
        int b = 2;
        int c = 3;
        boolean result = compare(a ,a) && (a == 1) ? (compare(b,b)):(compare(c,c));

        System.out.println();

        result = compare(b ,b) && compare(c ,c);

    }

　　这里有一个对比大小的函数，这个函数会打出日志来让我们清晰的看到&&前后的表达式运行了没有，main函数中有两个&&表达式，

　　第一个&&表达式中B是一个?表达式，第二的个&&表达式的B就是一个compare函数，日志结果是：

1>1?
false
3>3?
false

2>2?
false

　　从日志结果我们可以清晰的看到，当B是?表达式的时候，A不成立的时候下B依旧运行了，而B不是?表达式的时候，A是false的情况下B是不会执行的。

原文地址：https://www.cnblogs.com/xxbbtt/p/10346564.html