2

Что такое init-statement? Недавно прочитал в интернете про if с инициализатором. По данным этого же сайта прочитал, что у цикла for так, же на первом месте в скобках стоит init-statement. Я понимаю, что это как обычное объявление, но почему-то для этого существует отдельный термин. Я очень бы хотел разобраться в терминологии и узнать где еще используется init-statement, заранее спасибо.

1 ответ 1

9

Это не обязательно объявление. Например 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 переменных)...

8
  • 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

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.