比较无符号的表达与0

Question

这里是一个循环，通过C串向后推移：

size_t slen = strlen(string); 
for (size_t i = slen-1; i >= 0; i--) { 
    /* do stuff */ 
} 

当我编译此代码与gcc -Wall -Wextra -std=c99 -o code code.c，收到这样的警告：

警告：比较无符号表达式> = 0始终为真[-Wtype-limits]

在处理此警告时，我将此循环替换为：

for (int i = (int)slen-1; i >= 0; i--) { 

哪些工作正常，但我想知道如果他们是一种方式来使第一个循环仍然编译没有上述警告？当我用-Wextra进行编译时，似乎只会触发此警告。

Answer 1

无符号整数不能小于0。这就是“无符号”的意思。所以显然你的循环永远不会终止。

相反，你可以使用：

for (size_t i = slen; i-- > 0;) { 

这递减i之前进行测试，因此该循环的最后一次迭代将与i == 0发生，那么测试i-- > 0失败，打破了循环。

Related thread。

Answer 2

这里真正的犯罪是你违反了所有循环往前走的规则，即使是那些倒退的规则。循环应该写成如下：

for (size_t i = 0, e = strlen(string); i != e; ++i) { 
    const size_t ri = e - i - 1; 

    /* do stuff with index ri */ 
} 

这种结构使得对迭代器对反向迭代关系明显− 1偏移，避免了任何的符号性问题，并为您提供一个免费的轮计数器。