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

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

    /**
     * 插入排序
     * @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是不会执行的。

02-01 23:34