Is for ({statements;}; condition; {statements;}) legal C?

Question

Плохой стиль, несмотря на это, разрешен ли закон C для цикла с фигурными скобками внутри парен? Как это:

char *a = "a "; 
char *b = "b "; 

for ({ int aComesFirst = 1; 
     char *first = a; 
     char *second = b; 
     }; 
     aComesFirst >= 0; 
     { aComesFirst--; 
     swap(first, second); 
     }) 
{ 
    printf("%s%s\n", first, second); 
} 

Если что-то вдоль этих линий возможно, я должен поставить точку с запятой после первых близких скобок, или будет что добавить пустое заявление?

Я понимаю, что стилистически лучше перемещать объявления char* вне цикла for и swap до конца внутренней части контура. Но стиль не в этом вопросе, я просто хочу знать, возможно ли положить фигурные скобки внутри парнеров.

Answer 1

Я ответил на это раньше ... это легко может быть легальным в C или C++ путем добавления локального struct типа. Однако это, как правило, плохой стиль.

char *a = "a "; 
char *b = "b "; 

for (struct loopy { 
     int aComesFirst; 
     char *first; 
     char *second; 
     } l = { 1, a, b }; /* define, initialize structure object */ 

     l.aComesFirst >= 0; /* loop condition */ 

     l.aComesFirst--, /* loop advance */ 
     swap(l.first, l.second) 
    ) 
{ 
    printf("%s%s\n", l.first, l.second); 
} 

Answer 2

Нет, это не законно, но вы можете использовать запятые, чтобы получить половину пути:

for (int a = 1, b = 2; a < 10; ++a, ++b) 

Вы не можете объявить несколько переменных различных типов, и вы не можете использовать управляющие структуры в последний бит, но это достаточно хорошо в большинстве случаев.

Если вы не знаете, запятая используется там не какой-то специальный синтаксис, который может быть использован только в for петлями, это общее operator, который можно использовать в любом месте, чтобы оценить левый операнд, а затем правый операнд, и вернуть результат правильного выражения, то есть a, b == b, и a, b, c == c и так далее.

Answer 3

Нет, это не законно. Если это было законно, код не работал бы, потому что c имеет область уровня блока, поэтому у вас не будет доступа к переменной, определенной в фигурных скобках.

Answer 4

Это не законно, но это:

for(i = 0, j = 10; i < 10; i++, j--) 
{ 
    // .. 
} 

См: the comma operator

Answer 5

Стандарт говорит (6.8.5.3/1)

для (п-1, выраж-2, выраж-3) утверждение

Я уверен, что ни expr-2 или expr-3 может быть заменено чем-то не выражением (блок не является выражением), и я уверен, что clause-1 также не может быть заменен оператором.

Answer 6

Вы используете gcc с выражениями выписки? http://tigcc.ticalc.org/doc/gnuexts.html#SEC63 Возможно, это заставит работать этот тип кода. кроме (int i = { stmts; }; { stmts; bool}; { ... })