自实现strcpy中的一个问题

最近看到很多strcpy的自实现版本，比较多的是：
char * strcpy(char *dst,const char *src) //[1]
{
assert(dst != NULL && src != NULL); //[2]

char *ret = dst;  //[3]

while ((*dst++=*src++)!='\0'); //[4]

return ret;

}

对于 [4]这个语句很多人说写成 while(*dst++ = *src++);这种形式明显错误。
有人能解释一下吗？
while(*dst++ = *src++); 和 while ((*dst++=*src++)!='\0'); 有区别吗？

使用while(*dst++ = *src++); 最终将src值赋给dst后，不还是要判断这个表达式的值是不是 \0, 他和显示调用 (*dst++=*src++)!='\0' 有区别吗？

主要是考虑src和 dest 重叠的问题，比如说
char ch[100] = "hhello";
strcpy(ch, ch + 1);
你的代码无法正常工作，但是你试试看系统库，是可以得到hello的