c语言中赋值语句的结果

c语言中赋值语句的结果

最近在看《C语言接口与实现》，在第一章就发现一个以前很少用到的用法。在实现strcpy函数时，书中给出了两种实现。

//version 1, 使用数组实现（新手惯用）
char *strcpy(char dst[], const char src[])
{
    int i;
    for(i=0; src[i]!='\0';i++)
        dst[i] = src[i];
    dst[i] = '\0';
    return dst;
}

//version 2, 使用指针实现（有经验的）
char *strcpy(char *dst, const char *src)
{
    char *s = dst;
    while(*dst ++ = *src ++)
        ;
    return s;
}

显然第二种要更加高大上，但是有个问题：while(*dst ++ = *src ++) 是在干啥？

while循环显然是使用一个赋值语句的结果作为条件进行判断。那么赋值语句的结果是啥呢？
C99中的叙述是：

An assignment expression has the value of the left operand after the assignment

简单的说，赋值语句是右结合返回左值的。比如：

int x;
double y;
y=x=3.14;

最后赋值语句返回的值打印出来应该是3.0000而不是3.14.

version 2可以改为更加明确的形式给出：

char *strcpy(char *dst, const char *src)
{
    char *s = dst;
    while((*dst ++ = *src ++) != '\0')
        ;
    return s;
}