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

BadBlood1984
  • 102

如题 K&R 中的 一个strcpy函数中出现的方式

void strcpy(char *s, char *t)
 {    
     while (*s++ = *t++);
 }
回复
阅读 8.6k
6 个回答
xelz
  • 11.8k

首先是

*s = *t;

然后判断整个表达式的值是否为真,即

*s != 0

满足,则继续循环,否则终止
不论循环继续与否,接下来要执行

s += 1; t += 1;  // s先自增还是t先自增在这里是无关紧要的

=================================

回答评论中补充的问题,程序怎么读

优先级表我就不贴了,百度一大堆 ,核心是你要理解下面流程中的5.2

  1. 编译器解析到*,判断为指针运算符号,需要一个标示符或者表达式
  2. 解析到s,是一个合法的标示符,继续搜索是否有更高优先级的运算符
  3. 继续解析到++,由于*++是同一优先级,结合性为右到左,所以等同于*(s++)
  4. 然后是=,判断为赋值运算符,优先级比++低,因此前面的部分可以直接进行计算
  5. 那么*(s++)怎么计算?

    1. 拆解成 expr1 = s++; expr2 = *expr1;
    2. 首先是expr1 = s++,后置++的含义是先使用变量/表达式的值、再自增,表达式s++的计算结果就是s的值,计算完毕后,s自增1,也就是说假如s = 1,那么s++这个表达式的计算结果就是1expr1 = 1,计算完毕后,s的值自增1变为2,但不影响之前已经计算完毕的表达式
    3. 然后计算expr2 = *expr1,按照上面所举的例子,此时s=2, expr2 = *1
  6. 然后继续=的计算,由于赋值运算符是双目运算,需要一个右目表达式,继续解析
  7. 后面*的优先级比=高,因此先计算*t++,原理同上
  8. 然后计算赋值表达式的值,没错!赋值表达式也是表达式,它也有计算结果,它的计算结果就是右边表达式计算结果,表达式a=b的值就是b
  9. 计算完毕后,执行while的功能,判断表达式计算结果是否为真,也就是是否非0
simpx
  • 65
void v(char *s, char *t) {
    *s++ = *t++;
}

看一下对应指令

push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)   //参数1 s
mov    %rsi,-0x10(%rbp)  //参数2 t
mov    -0x10(%rbp),%rax  //t暂存%rax
movzbl (%rax),%edx       //*t放入%edx
mov    -0x8(%rbp),%rax   //s暂存%rax
mov    %dl,(%rax)        //*t的低8位,即一个字节,放入*s
addq   $0x1,-0x8(%rbp)   //s++
addq   $0x1,-0x10(%rbp)  //t++
leaveq 
retq

可以看到,先*s = *t,然后s和t各自加1

首先,楼主while里面是不是少了一个=号

其次 这个是运算符优先级的问题:++ > * > ==:

蒲柳隐逸
  • 2.4k

大体相当于下面的:

while(*s = *t)
{
    //your code here
    t++;
    s++
}
风尘仆
  • 1
新手上路,请多包涵

以下来源《C程序设计现代方法》
图片描述

撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进
宣传栏