算法导论中插入排序的个人理解

算法导论中插入排序的个人理解（算法导论第10页），伪代码如下：

伪代码运行步骤：
第1行：for循环：从A数组的第二个数一直插入，直到A数组的最后一个数（j表示当前时数组的第几个数）
第2行：将数组的当前值赋给key
第4行：i为j的值-1，(A[i]即数组的第j-1个数)
第5、6、7行：当i>0而且数组的第j-1的数值大于数组的j个数时：
将A的第j-1的数值赋值到A的第j个位置，将i-1,继续循环
当i>0或者数组的第j-1个数<数组的第j个数时，退出循环
第8行：将A数组的第j个数赋值到第i+1（注意i的值在循环中不断变化）的位置

以下以A=<5,2,4,6,1,3>为例子，进行讲解(其中A[1]=5,A[2]=2,A[3]=4,A[4]=6,A[5]=1)

/第一次for循环/
1：开始for循环，此时j为2
2：key=A[2]
//此时key为2,将原本A[2]的值存给key
4：i=j-1
//i为 1
5：i >0 而且 A[i] > key,执行6，7行代码
6：A[2] = A[1]
//A[2]位置的值已发生变化
7: i减1后变为0，跳到第五行
5:此时i=0，跳出循环，执行8行代码
8：A[1]= key
//即将原本A[2]的值付给A[1]
/第二次for循环/
1：开始for循环，此时j为3
2：key=A[3]
//此时key为4,将原本A[3]的值存给key
4：i=j-1 //(i为 2)
5：i >0 而且 A[i] > key,执行6，7行代码
//因为A[2]=5,key=4
6：A[3] = A[2]
//A[2]位置的值已发生变化
7: i减1后变为1，跳到第五行
5:此时i>0，但是 A[i] < key,执行8行代码
//因为A[1]=2,key=4
8：A[2]= key
//即将原本A[3]的值付给A[2]
/第三次for循环/
1：开始for循环，此时j为4
2：key=A[4]
//此时key为6,将原本A[4]的值存给key
4：i=j-1
//i为 3
5：i >0 但是 A[i] < key,执行8行代码
//因为A[2]=5,key=6
8：A[4]= key
//将key的值付给A[4]
/第四次for循环/
1：开始for循环，此时j为5
2：key=A[5]
//此时key为1,将原本A[5]的值存给key
4：i=j-1 //(i为 4)
5：i >0 而且 A[i] > key,执行6，7行代码
//因为A[2]=5,key=1
6：A[5] = A[4]
//A[5]位置的值已发生变化
7: i减1后变为3，跳到第五行
5:此时i>0，而且 A[i] > key,执行6，7行代码
//因为A[3]=2,key=1
6：A[4] = A[3]
//A[4]位置的值已发生变化
7: i减1后变为2，跳到第五行
//即将原本A[3]的值付给A[2]
5:此时i>0，而且 A[i] > key,执行6，7行代码
//因为A[2]=4,key=1
6：A[3] = A[2]
//A[3]位置的值已发生变化
7: i减1后变为1，跳到第五行
//即将原本A[3]的值付给A[2]
5:此时i>0，而且 A[i] > key,执行6，7行代码
//因为A[1]=2,key=1
6：A[2] = A[1]
//A[3]位置的值已发生变化
7: i减1后变为0，跳到第五行
5:此时i=0，跳出循环，执行8行代码
8：A[1]= key
//即将原本A[5]的值付给A[1]