c - 在C中的for循环中使用没有任何命令的分号

Question

这些代码做同样的工作。我不明白为什么

for ( ; *s1 = *s2; s1++, s2++ ) { ;}
for ( ; *s1 = *s2; s1++, s2++ ) {*s1=*s2;} 

Answer 1

循环的第二个子句将评估赋值的值，然后使用该值来确定是否继续循环，因此两个循环都会将 s2 复制到 s1 直到 *s1 == 0。如果 s1 和 s2 是同一类型的指针，那么当 *s2 == 0 时会发生这种情况。如果它们不是同一类型，那么这是很可能不正确的棘手代码。

第二个循环包含一个完全冗余的主体，因为它只是重复循环的第二个子句已经完成的事情。