插入排序遇到的逻辑短路和逻辑判断always true问题

private static void InsertionSort(){
        Scanner sc = new Scanner(System.in);
        for(int i=0;i<6;i++){
            array[i] = sc.nextInt();
        }
        int a=array.length;
        for(int i=1;i<a;i++){
            int j=i-1;
            System.out.println(j+" "+i);
            int temp = i;
                while(array[temp]<array[j]&&j>=0){
                    int b = array[j];
                    array[j]=array[temp];
                    array[temp] = b;
                    temp=j;
                    j--;
                }
        }
        for(int i=0;i<6;i++){
            System.out.print(array[i]+" ");
        }
    }

此处第11行while的判断中，IDEA会出现always true的提示：

并且测试出现下标越界的错误：

原因在于左边的array[j]编译时已经判断了j非负，后面逻辑短路导致always true。

j--之后变为-1，导致第二次循环时出现下标越界错误。

谨记，不能再犯这种低级错误了！