main(){ int x=15;do{x--;} while(x--);printf("%d",x--);}重点在do{x--;} while(x--);是什么意思?在while(x--);中x还要减一么?