遇到c语言题目不懂，求各路大神指教

#include<stdio.h>
main()
{
int k=0；
while(k++<=2)
printf("%d\n",k)
}
输出结果是1 2 3，这是为什么啊？那个k++不是应该先输出k的初值0再执行的吗？我原来判的结果是0 1 2的