这个程序什么意思，输出a--为什么等于零

int main ()
{
int a=10;
do{
a--;
}while (--a);
printf ("%d",a--);
}

while循环要结束，a的值必然是0，否则会一直循环。a--是先用a的值执行printf语句，然后a的值才减去1。因此输出的a值是0