C语言，这个程序的降序是怎么实现的，具体说明一下吗？

Question

int a[]={4,0,2,3,1},i,j,t;
for(i=1;i<5;i++)
{
t=a[i];j=i-1;
while(j>=0&&t>a[j])
{
a[j+1]=a[j];
j--;
}
a[j+1]=t;
}

Answer 1

是这样的：
首先将a[1]的值赋给t，j=i-1是为了从i的下一个数开始比较。
t>a[j]时退出意思是当t的值比较到发现还有比他小的数的时候就退出。
然后将这个数赋值给t。再次循环……
以下是样例的运算过程：
1、4 0 2 3 1 t=4
2、4 0 2 3 1 t=0
3、0 4 2 3 1 t=2
4、0 2 4 3 1 t=3
5、0 2 3 4 1 t=4
6、0 1 2 3 4 t=1

Answer 2

感觉像是插入排序法的变形算法，基本思想是先把第一个数当成有序的，然后把第二个数按照顺序插入到这个序列中，然后前两个数就变成有序的了，这时候再把第三个数按照顺序插入到前面的序列中，以此类推，直到把最后一个数按顺序插入到前面的有序序列中。
比如本例，外层循环控制变量i的取值分别为1,2,3,4，分别控制数组元素0,2,3,1的插入操作。
t=a[i];句则将待插入数据暂时存储在临时变量t中。
内层循环有两个循环条件，其实就是将待插入数从前面有序序列的最后开始比较，如果是逆序，则元素向后移动一位，直到不再逆序或到了序列首位，此时j的值定位到待插入数应该存入位置的前面，退出循环后将待插入数放入序列即可。具体过程如下
外层循环i=1时
[4] 0 2 3 1
0为待插入数，判断0>4是否成立，不成立，退出循环，j值为0，插入位置应该为j+1的位置。变成
[4 0] 2 3 1
进入外层第二次循环，i=2
2为待插入数，2和0比，是逆序，所以将0后移一位，变成
[4 0] 0 3 1
然后再将2和4比较，发现不是逆序，退出循环，此时j=0
2应该插入的位置应该是j+1的位置，变成
[4 2 0] 3 1
以此类推，直到最后一次外循环将1插入完毕排序结束。