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;

}