Альтернативный синтаксис для петли

Question

Ниже приведен фрагмент стандарта C (раздел 6.8.5 из n1256 TC3 C99).

итерация-оператор:
        в то время как(выражение)заявление
        сделатьзаявлениев то время как(выражение);
        для(выражение _{неавтоматического}; выражения _опта; выражения _опта)заявления
        для(декларациявыражение _{неавтоматического}; выражение _{неавтоматического})заявление

Что задевает мой интерес это последнее утверждение: for (declaration expression ; expression) statement. 6.8.5.1 объясняет цикл for, но только упоминает синтаксис for (clause-1 ; expression-2 ; expression-3) statement.

Я сделал несколько попыток написания кода в соответствии с этим синтаксисом, но все они дали мне синтаксические ошибки. Примеры:

for (int i = 0, i; i++) { /* ... */ } 
for (int i = 0; !(i++)) { /* ... */ } 

Какие все приводит к ошибкам, подобных error: expected ‘;’ before ‘)’ token при компиляции с использованием GCC (v4.9.2).

Я не уверен, правильно ли я интерпретирую стандарт. Может ли этот синтаксис использоваться каким-то полезным способом или я что-то упустил?

Answer 1

Если вы видите, синтаксис,

for (declaration expression1opt ; expression2opt) statement 

Давайте сравним его с общим заявлением

for (int i = 0; i < 10; i++) printf("%d \t", i); 

Здесь

• int i = 0; обозначает declaration [включает ;]
• i < 10 обозначает expression1opt [необязательный]
• ; находится в соответствии с требованием синтаксиса ; [должен, как описано в синтаксисе]
• i++ является expression2opt [необязательный]
• printf("%d \t", i); является statement

сейчас , в вашем случае,

for (int i = 0, i; i++) { /* ... */ } 

• int i = 0, i; обозначает declaration
• i++ обозначает expression1opt
• ; является отсутствует .....

Последний пункт здесь производит ошибку. Для прохождения проверки синтаксиса необходимо, чтобы ;.

Answer 2

К сожалению, читать это непросто. Вы неправильно читаете второй случай инструкции for. Первая точка с запятой является неотъемлемой частью declaration и таким образом скрыта для ваших глаз. Вы можете легко проверить такие синтаксические вопросы, глядя в приложении А. Там у вас есть:

(6.7) declaration: 
    declaration-specifiers init-declarator-listopt ; 
    static_assert-declaration