有以下程序#include <stdio.h>main(){int y = 10;While( y-- );printf( "y=%d\n", y );}程序执行后的输出结果是( )。
·y=0
·y=-1
·y=1
·while 构成无限循环