Что такое init-statement
? Недавно прочитал в интернете про if с инициализатором. По данным этого же сайта прочитал, что у цикла for так, же на первом месте в скобках стоит init-statement
. Я понимаю, что это как обычное объявление, но почему-то для этого существует отдельный термин. Я очень бы хотел разобраться в терминологии и узнать где еще используется init-statement
, заранее спасибо.
1 ответ
Это не обязательно объявление. Например for (i = 42; /*...*/; /*...*/)
разрешено, хотя i = 42
- это выражение, а не объявление.
init-statement
- это термин грамматики, означающий выражение (после которого стоит ;
) или объявление.
Убедимся в этом. Открываем грамматику и видим:
init-statement:
expression-statement
simple-declaration
Это значит, что init-statement
- это или expression-statement
, или simple-declaration
.
expression-statement:
expressionopt ;
expression-statement
- это выражение (expression
), справа от которого стоит точка с запятой. opt
(= "optional" = "опционально") значит, что выражения может и не быть, т.е. сама по себе ;
- это тоже expression-statement
.
simple-declaration
- это обычное объявление 1 или нескольких переменных. Его описание в грамматике сложное, поэтому показывать не буду. Интересно, что определить структуру здесь тоже можно: for (struct A { /*...*/ }; /*...*/; /*...*/)
, ведь это считается объявлением (объявляющим 0 переменных)...
-
1@n1kzzz Нет, почему. Есть много видов statement-ов кроме выражений и объявлений переменных. И все эти другие виды не могут быть первым параметром
for
. Напримерif (...) {...}
это один большой statement (включающий и условие, и тело if-а), а его тело вместе с фигурными скобками - это тоже statement. Вы же не можете написатьfor (if (...) {...} ...; ...)
. Также statement-ами являютсяreturn ...;
,break;
,continue;
, и т. п. 14 мар 2021 в 8:08 -
1@n1kzzz Третий параметр не может быть statement-ом, ведь в нем нет
;
. Это просто выражение. Второй параметр в грамматике называетсяcondition
, и является либо выражением, либо объявлением ровно одной переменной - еще более строгое ограничение, чем для первого параметра. 14 мар 2021 в 8:13 -
1@n1kzzz Вторая точка с запятой не является частью выражения, она прибита гвоздями к самому for-у (см. тут). 29 мар 2021 в 17:43
-
1@n1kzzz Вопрос интересный. Оказывается, у объявления в условии своя особая грамматика без
;
, отличающаяся от грамматики обычных объявлений. 29 мар 2021 в 18:22 -
2Если что, что я не из головы вспоминаю все эти тонкости грамматики. Я просто смотрю в стандарт. 29 мар 2021 в 18:23