C语言中*s++ = *t++ 是怎么一种赋值过程

Question

如题K&R中的一个strcpy函数中出现的方式
voidstrcpy(char*s,char*t)
{  
 while(*s++=*t++);
}

Answer 1

首先是*s=*t;然后判断整个表达式的值是否为真，即*s!=0满足，则继续循环，否则终止不论循环继续与否，接下来要执行s+=1;t+=1;//s先自增还是t先自增在这里是无关紧要的=================================回答评论中补充的问题，程序怎么读优先级表我就不贴了，百度一大堆，核心是你要理解下面流程中的5.2编译器解析到*,判断为指针运算符号，需要一个标示符或者表达式解析到s，是一个合法的标示符，继续搜索是否有更高优先级的运算符继续解析到++，由于*与++是同一优先级，结合性为右到左，所以等同于*(s++)然后是=,判断为赋值运算符，优先级比++低，因此前面的部分可以直接进行计算那么*(s++)怎么计算?拆解成expr1=s++;expr2=*expr1;首先是expr1=s++，后置++的含义是先使用变量/表达式的值、再自增，表达式s++的计算结果就是s的值，计算完毕后，s自增1，也就是说假如s=1，那么s++这个表达式的计算结果就是1，expr1=1,计算完毕后，s的值自增1变为2，但不影响之前已经计算完毕的表达式然后计算expr2=*expr1，按照上面所举的例子，此时s=2,expr2=*1然后继续=的计算，由于赋值运算符是双目运算，需要一个右目表达式，继续解析后面*的优先级比=高，因此先计算*t++，原理同上然后计算赋值表达式的值，没错！赋值表达式也是表达式，它也有计算结果，它的计算结果就是右边表达式计算结果，表达式a=b的值就是b计算完毕后，执行while的功能，判断表达式计算结果是否为真，也就是是否非0略

Answer 2

voidv(char*s,char*t){*s++=*t++；}看一下对应指令push%rbpmov%rsp,%rbpmov%rdi,-0x8(%rbp)//参数1smov%rsi,-0x10(%rbp)//参数2tmov-0x10(%rbp),%rax//t暂存%raxmovzbl(%rax),%edx//*t放入%edxmov-0x8(%rbp),%rax//s暂存%raxmov%dl,(%rax)//*t的低8位，即一个字节，放入*saddq$0x1,-0x8(%rbp)//s++addq$0x1,-0x10(%rbp)//t++leaveqretq可以看到，先*s=*t，然后s和t各自加1