Почему следующий код переходит в бесконечный цикл?

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); 
    } 
    } 

Причина заключается в том, что ваш код не завершает даже одной итерации и, следовательно, р ++ никогда не приходит к исполнению. Когда вы продолжаете использовать ярлык, он учитывает одну полную итерацию.

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); 
    } 
} 

Вы должны использовать p ++; перед тем goto top;, потому что собираетесь top: означает, что вы перезапуск цикла.