循环的条件是 *y++,它是个表达式相当于先用y的值在让y自增,所以最后跳出循环的时候 *y为'/0',然后y++,y指向的'\0'的下一个地址
因为*y++是一个表达式,当y指向\0时,*y++返回的是\0,y指针仍然需要向后移动一个元素。
*y++
y
\0