C语言strcpy实现中(a[i] = b[i]) != 0语句的含义及相关疑问

首先看你提到的这段strcpy核心代码：

for (i = 0; (a[i] = b[i]) != 0; i++) ;

问题1：执行顺序与判断对象 #

• 执行顺序：C语言中括号会提升表达式优先级，所以会先执行a[i] = b[i]的赋值操作，再把这个赋值表达式的结果（也就是被赋予的值，此时a[i]和b[i]的值完全相同）和0做不等于判断。
• 判断对象：因为赋值后a[i]与b[i]值一致，所以判断的既是原b[i]是否为字符串终止符'\0'，也是刚拷贝到a[i]的内容是否为终止符。这个逻辑会把b中的每个字符（包括最后的终止符）都拷贝到a里，当拷贝到终止符时，判断结果为假，循环结束。

问题2：紧凑写法的可行性与可读性 #

• 可行性：这种写法完全合法且高效，是C语言标准库实现中常见的经典写法。它把赋值和终止符检查合并成一个表达式，避免了拆分写法中额外的终止符拷贝步骤，执行效率更高。
• 可读性：对于熟悉C语言表达式特性的开发者来说，这种写法简洁直观，一眼就能识别出是字符串拷贝的核心逻辑；但对于C语言新手，确实容易混淆，因为它把两个独立操作（赋值、条件判断）揉在了同一个表达式里，不如拆分后的代码易懂：

for (i = 0; b[i] != 0; i++) {
    a[i] = b[i];
}
a[i] = '\0'; // 手动添加终止符

内容的提问来源于stack exchange，提问作者JAKB824