直接插入排序的严格定义写法与优化算法

今天为了做PTA习题中一个求数组中位数的题目，复习了希尔排序，又引申到插入排序的写法。
发现插入排序在教科书上的严格定义写法还可以进一步优化，减少一个for循环，从而优化时间开销。

教科书严格定义写法：

void Insertsort1(int a[],int n){
    int i, j, k;
    for (i = 1; i < n;i++){
        //为a[i]插入有序区间找位置
        for (j = i - 1; j >= 0;j--){
            if(a[j]<a[i])
                break;
        }
        //若找到了一个合适的位置,而且这个位置不是现在的a[i]位置。合适的位置是j+1
        if(j!=i-1){
            //给a[i]腾地方
            int temp = a[i];
            for (k = i - 1; k > j;k--)
                a[k + 1] = a[k];
            a[k + 1] = temp;
        }
    }
}

减少一个for循环之后的优化写法：

void InsertSort2(int a[],int n){
    int i, j, k;
    for (i = 1; i < n;i++){
        if(a[i-1]<a[i]){
            int tmp = a[i];
            for (j = i - 1; j >= 0 && a[j] < tmp;j--){
            //为a[i]寻找合适位置与腾出空间同步进行，减少时间开销
                a[j + 1] = a[j];
            }
            a[j + 1] = tmp;
        }
    }
}

表面看来大同小异，但是对于数组长度非常大的情况，减少一个循环，时间开销上的区别还是很明显。