for (i=n-1,change=TRUE; i>1 && change; --i) {

for (i=n-1,change=TRUE; i>1 && change; --i) {
for (i=n-1,change=TRUE; i>1 && change; --i) {

for (i=n-1,change=TRUE; i>1 && change; --i) {
初始值i为n-1,change为真,i>1&&change为判断条件,--i为循环条件,每执行一次,i就减1,当不满足i>1&&change（等价于i>1）时,循环结束.即i从n-1到2执行n-2次.