插入排序的具体分析-史上最清晰！！！

  void InsertSort(int[] arr, int n) {
        //arr为待排序数组 n为arr数组元素个数  例如：arr[6] = {5,2,4,6,1,3}  n=6
        int i;  //存入当前待插入元素的下标 程序开始设第一个元素为有序序列
        // 则第二个元素为待插入元素 所以i从1开始 到n-1即5结束
        int j;  //代表有序序列的最后一个元素的下标
        int t;  //临时变量 用来暂时存储数据 便于交换 可以比作为一个空盒子
        for (i = 1; i < n; i++) {
            t = arr[i]; //t盒子里暂时存入待插入元素
            j = i - 1;    //代表当前待插入元素的前一个元素的下标 也就是有序序列的最后一个元素的下标
             /*
             j>=0解释： j代表有序序列的最后一个元素的下标 所以最小为0
             t < arr[j]解释：t存入待插入元素 arr[j]存入有序序列的最后一个元素
             如果t < arr[j] 进入循环开始交换 （此处注意 ！！！ 小于号代表将数组升序排列  大于号代表将数组降序排列）
              */
            while (j >= 0 && t < arr[j]) {
                arr[j + 1] = arr[j];
                j--;
                arr[j + 1] = t;
                /*
                以上三行代码的功能就是 将待插入元素与有序序列最后一个元素交换 并且更新有序序列 交换之后有序序列的长度-1
                为方便理解：现在以 2 4 5 6 || 1 3 为例子  ||左边为有序序列 ||右边第一个为待插入序列
                此时i=4 t=a[i]=a[4]=1 j为有序序列的最后一个元素下标 a[j]=6
                2 4 5 6为有序序列  1为待插入元素即t 6为有序序列的最后一个元素 即a[j]=6
                1 6 交换之后变成 2 4 5 1 || 6 3  这里显然2 4 5 1不是有序序列  2 4 5才是
                所以这就是j--的原因  （况且j代表的是有序序列的最后一个元素的下标 若不-1
                j此时代表的就是1的下标，显然不对，所以j-1之后代表的是5的下标 合理）
                所以序列更新为 2 4 5 || 1 6 3 此时j=2
                然后再次进入while循环 记住t的值在while循环中一直没有改变 （t的值只在for循环中改变）
                一直代表的就是待插入元素 即1
                此时a[j]代表5  1<5
                再次进入while循环 再次交换 数组变为 2 4 1 || 5 6 3
                j-- 有序数列再次更新 2 4 || 1 5 6 3 此时 j=1
                再次进入while循环 再次交换 数组变为 2 1 || 4 5 6 3
                j-- 有序数列再次更新 2 || 1 4 5 6 3 此时 j=0
                再次进入while循环 再次交换 数组变为  1 || 2 4 5 6 3
                j-- 有序数列再次更新 || 1 2 4 5 6 3 此时 j=-1
                再次进入while循环进行判断 j=-1<0 为false 跳出while循环 此时待插入元素t=1归位
                继续下一次for循环
                更新i=5 t=a[i]=a[5]=3 a[j]=6 此时数组为 1 2 4 5 6 || 3
                进入while循环 重复以上操作 ！
                 */
            }
        }
    }

配合下面图第四行 看注释更清晰！