#include <stdio.h>
main( )
{ int n=4;
  while(n--)
printf(“%d”,--n);
}

运行结果怎么是20啊， 这是怎么出来的？