为什么下面的代码会进入无限循环？

Question

考虑以下代码：

const char *s = "a   b    c  d !";
const char *p = s;

top:for(; *p; p++) {
    switch(*p) {
    case 0x20: 
    case '\n': 
        goto top;
    default: 
        putchar(*p);
    }
}

有人可以解释为什么当*p 是NULL 时它会进入无限循环而不是停止吗？我想到了以下几点：当*p 是0x20 或\n 时，再次转到循环的开头，因为它测试条件并计算表达式p++。所以，我看不出它无限循环的原因，或者我真的不明白goto 语句和labels 在 C 编程语言中是如何工作的。

Answer 1

当你goto top时，p++没有被执行，因为for循环又从头开始了。然后你又goto top。然后再一次。然后再一次。并且永远。

如果您希望增量起作用，请使用 continue 而不是 goto。或者，更好的是，做一些更清晰的事情：

for(p = s; *p != '\0'; p++) {
    switch(*p) {
    case 0x20:
    case '\n':
        // Do nothing.
        break;

    default: 
        putchar(*p);
    }
}

哦，顺便说一句，避免像瘟疫一样的 goto 声明。除非您以自动方式生成 C 代码并且它不应该是人类可读的，否则goto 几乎不是一个好主意。

Answer 2

这样做

const char *s = "a   b    c  d !";
const char *p = s;

 for(; *p; p++) {
    switch(*p) {
    case 0x20: case '\n': continue;
    default: putchar(*p);
    }
  }

原因是，您的代码甚至没有完成一次迭代，因此 p++ 永远不会执行。当您继续而不是使用标签时，它会算作一次完整的迭代。

Answer 3

const char *s = "a   b    c  d !";
const char *p = s;

top:
for(; *p; p++) {
    switch(*p) {
    case 0x20: 
    case '\n': 
        p ++;
        goto top;
    default: 
        putchar(*p);
    }
}

您必须在goto top; 之前使用p ++;，因为转到top: 意味着您正在重新启动循环。