9 Statements [stmt.stmt]

Если условие ([stmt.select]) приводит true к выполнению первого подзапуска. Если else часть оператора выбора присутствует и условие дает результат false, выполняется второе подзапрос. Если первая подгруппа достигается через метку, условие не оценивается, и вторая подгруппа не выполняется. Во второй форме if утверждения (включая ту, которая включает в себя else), если первое подзаполнение также является if утверждением, то это внутреннее if утверждение должно содержать else часть.90

Если if заявление имеет форму if constexpr, значение условия должно быть a contextually converted constant expression of type bool; эта форма называется constexpr if заявлением. Если значение преобразованного условия равно false, первая подгруппа - это a discarded statement, в противном случае вторая подгруппа, если она присутствует, является отвергнутым оператором. Во время создания включающего templated объекта, если условие не зависит от значения после его создания, отброшенное подзаполнение (если оно есть) не создается. [  Note: Odr-uses в отвергнутом заявлении не требуют определения сущности. ] Знак или метка, появляющаяся в таком операторе, должны быть связаны с элементом в том же операторе. A, объявленный в подвыложении constexpr if, должен ссылаться только на a в том же подзапросе. [ — end note  case default if switch statement if label statement  Example:

template<typename T, typename ... Rest> void g(T&& p, Rest&& ...rs) {
  // ... handle p

  if constexpr (sizeof...(rs) > 0)
    g(rs...);       // never instantiated with an empty argument list
}

extern int x;       // no definition of x required

int f() {
  if constexpr (true)
    return 0;
  else if (x)
    return x;
  else
    return -x;
}

 — end example ]

if Утверждение вида

if constexpr${}_{opt}$ ( init-statement condition ) statement

эквивалентно

{
	init-statement
	if constexpr${}_{opt}$ ( condition ) statement
}

и if выписка по форме

if constexpr${}_{opt}$ ( init-statement condition ) statement else statement

эквивалентно

{
	init-statement
	if constexpr${}_{opt}$ ( condition ) statement else statement
}

за исключением того, что имена, объявленные в, init-statementнаходятся в той же декларативной области, что и имена, объявленные в condition.

В switch заявлении причины управления должны быть переданы одному из нескольких операторов в зависимости от значения условия.

Условие должно быть целочисленного типа, типа перечисления или типа класса. Если тип класса, условие относится contextually implicitly converted к целочисленному или перечислимому типу. Если тип (возможно, преобразованный) подлежит integral promotions, условие преобразуется в повышенный тип. Любой оператор внутри switch оператора может быть помечен одной или несколькими метками case, как показано ниже:

case constant-expression :

где constant-expressionдолжно быть преобразованием constant expression настроенного типа состояния переключения. Никакие две константы case в одном переключателе не должны иметь одинаковое значение после преобразования.

Должно быть не более одной метки формы

default :

в switch заявлении.

Операторы переключения могут быть вложенными; case или default метка связана с наименьшим переключатель вмещающих его.

Когда switch оператор выполняется, его состояние оценивается и сравнивается с каждой константой case. Если одна из констант case равна значению условия, управление передается оператору, следующему за меткой сопоставленного case. Если ни одна константа регистра не соответствует условию и если есть default метка, управление передается оператору, помеченному меткой по умолчанию. Если ни один регистр не соответствует и если нет, default то ни один из операторов в переключателе не выполняется.

case и default сами по себе ярлыки не изменяют поток управления, который продолжается беспрепятственно через такие ярлыки. Чтобы выйти из переключателя, см break. [  Note: Обычно подоператор , что является предметом переключателя является соединением и case и default этикетки появляются на показаниях верхнего уровня , содержащихся в (соединение) подоператор, но это не является обязательным. Объявления могут появляться в подзапросе switch утверждения. ] — end note 

switch Утверждение вида

switch ( init-statement condition ) statement

эквивалентно

{
	init-statement
	switch ( condition ) statement
}

за исключением того, что имена, объявленные в, init-statementнаходятся в той же декларативной области, что и имена, объявленные в condition.

В while операторе подзапрос выполняется многократно, пока значение условия ([stmt.select]) не станет равнымfalse. Проверка проводится перед каждым выполнением подзапуска.

Когда условием while оператора является объявление, область объявляемой переменной простирается от нее point of declaration до конца . Утверждение вида while statement while

while (T t = x) statement

эквивалентно

label:
{                   // start of condition scope
  T t = x;
  if (t) {
    statement
    goto label;
  }
}                   // end of condition scope

Переменная, созданная в условии, уничтожается и создается при каждой итерации цикла. [ Example:

struct A {
  int val;
  A(int i) : val(i) { }
  ~A() { }
  operator bool() { return val != 0; }
};
int i = 1;
while (A a = i) {
  // ...
  i = 0;
}

В цикле while конструктор и деструктор вызываются дважды: один раз для успешного условия и один раз для невыполненного условия. ] — end example 

Выражение есть contextually converted to bool; если это преобразование сформировано неверно, значит, неверно сформирована программа.

В do операторе подзапрос выполняется многократно, пока значение выражения не станет равным false. Проверка проводится после каждого выполнения инструкции.

for заявление

for ( init-statement condition${}_{opt}$ ; expression${}_{opt}$ ) statement

эквивалентно

{
	init-statement
	while ( condition ) {
		statement
		expression ;
	}
}

за исключением того, что имена, объявленные в, init-statementнаходятся в той же декларативной области, что и имена, объявленные в condition, и за исключением того, что перед повторной оценкой будет выполняться continue in statement(не заключенный в другой оператор итерации) . [ Таким образом, первый оператор определяет инициализацию цикла; условие ( ) задает тест, выполняемый по порядку перед каждой итерацией, так что цикл завершается, когда условие становится ; выражение часто определяет приращение, которое выполняется после каждой итерации. ]expressioncondition Note: [stmt.select]false — end note 

Один или оба из condition и expressionможно опустить. Отсутствие condition делает подразумеваемое while предложение эквивалентным while(true).

Если init-statementэто объявление, объем объявленного имени (имен) расширяется до конца for оператора. [ Example:

int i = 42;
int a[10];

for (int i = 0; i < 10; i++)
  a[i] = i;

int j = i;          // j = 42

 — end example ]

for Заявление на основе диапазона

for ( for-range-declaration : for-range-initializer ) statement

эквивалентно

{
	auto &&__range = for-range-initializer ;
	auto __begin = begin-expr ;
	auto __end = end-expr ;
	for ( ; __begin != __end; ++__begin ) {
		for-range-declaration = *__begin;
		statement
	}
}

куда

• (1.1)

  если for-range-initializerесть expression, он рассматривается, как если бы он был заключен в круглые скобки (так что оператор запятой не может быть интерпретирован как разделяющий два init-declarators);

• (1.2)

  _­_­range, _­_­beginи _­_­end - переменные, определенные только для демонстрации; а также

• (1.3)

  begin-expr и end-expr определяются следующим образом:

  • (1.3.1)

    если for-range-initializer- выражение типа массива R, begin-expr и end-expr - _­_­range и _­_­range + _­_­bound, соответственно, где _­_­bound - граница массива. Если R это массив с неизвестной границей или массив неполного типа, программа имеет неправильный формат;

  • (1.3.2)

    если for-range-initializerявляется выражением типа класса C, unqualified-ids begin и end ищутся в области видимости, C как если бы by class member access lookup, и если один из них (или оба) находит по крайней мере одно объявление, begin-expr и end-expr являются _­_­range.begin() и _­_­range.end(), соответственно;

  • (1.3.3)

    в противном случае begin-expr и end-expr являются begin(_­_­range) и end(_­_­range), соответственно, где begin и end ищутся в associated namespaces. [  Note: Обычный unqualified lookup не выполняется. ]  — end note 

[ Example:

int array[5] = { 1, 2, 3, 4, 5 };
for (int& x : array)
  x *= 2;

 — end example ]

В decl-specifier-seqa for-range-declarationкаждый decl-specifierдолжен быть либо a, type-specifier либо constexpr. Не decl-specifier-seqдолжен определять класс или перечисление.

break Заявление должно происходить только в или в заявлении и причинах прекращения наименьшего ограждающих или заявления; управление переходит к оператору, следующему за завершенным оператором, если таковой имеется.iteration-statement switch iteration-statementswitch

Этот continue оператор должен встречаться только в и заставляет управление переходить к части продолжения цикла наименьшего охватывающего элемента , то есть к концу цикла. Точнее, в каждом из утвержденийiteration-statementiteration-statement

while (foo) {
  {
    // ...
  }
contin: ;
}

do {
  {
    // ...
  }
contin: ;
} while (foo);

for (;;) {
  {
    // ...
  }
contin: ;
}

a, continue не содержащийся во вложенном операторе итерации, эквивалентен goto contin.

Функция возвращается к вызывающему с помощью return оператора.

Оператор expr-or-braced-init-list возврата называется его операндом. Оператор возврата без операнда должен использоваться только в функции, тип возврата которой - cv voida constructorили a destructor. Оператор возврата с операндом типа должен использоваться только в функции, тип возврата которой равен . Оператор возврата с любым другим операндом должен использоваться только в функции, тип возврата которой не является ; оператор return инициализирует результат glvalue или объект результата prvalue вызова функции (явного или неявного) из операнда. [ Оператор возврата может включать вызов конструктора для выполнения копирования или перемещения операнда, если он не является значением prvalue или если его тип отличается от типа возврата функции. Операция копирования, связанная с оператором return, может быть исключена или преобразована в операцию перемещения, если возвращается автоматическая переменная продолжительности хранения ( ). ] [ void cv void cv void copy-initialization  Note: [class.copy] — end note  Example:

std::pair<std::string,int> f(const char* p, int x) {
  return {p,x};
}

 — end example ] Выход за конец конструктора, деструктора или функции с cv void возвращаемым типом эквивалентен a return без операнда. В противном случае переход за пределы функции, отличной от main результата, приведет к неопределенному поведению.

Копирование-инициализация результата вызова упорядочивается до уничтожения временных файлов в конце полного выражения, установленного операндом оператора return, который, в свою очередь, упорядочивается до уничтожения локальных переменных ([stmt.jump]) блок, содержащий оператор возврата.

В goto безоговорочном передает управляющий оператор в оператор , помеченный идентификатором. Идентификатор должен находиться label в текущей функции.