#include <stdio.h>
int main(int argc, char const *argv[])
{
    int i=13;
    do
    {switch(i%4)
    {case 2:i--;break;
    case 1:i--;continue;
    }
    i=i-3;printf("%3d",i );
     }
    while(i>0);
    return 0;
}


运行结果为什么是   9   5   1？？？？？
求大神讲解