s[i]先被赋值，然后再判断s[i]是不是0，当s[i]==0时才结束，这时'\0'已经复制给s了
此while循环中，判断条件可以说就是s[i]值真假（其ASCAll码非0为真，0为假）。所以当循环结束的时候 s[i]=0，也就是\0。
因为只有当字符串t中的'\0'赋给字符串s中时才能退出循环。
因为是先赋值，再判断
\0 是一个字符串的结束标志
