若有以下程序段：inta[]={，，，，}，i，j，t;for(i=;i=&&t>a[j]){a[j+]=a[j];j–;}a[j+]=t;}则该程序段的功能是（）