Statements

Операторы — это фрагменты программы на C++, которые выполняются последовательно. Тело любой функции представляет собой последовательность операторов. Например:

int main()
{
    int n = 1;                        // оператор объявления
    n = n + 1;                        // оператор выражения
    std::cout << "n = " << n << '\n'; // оператор выражения
    return 0;                         // оператор возврата
}

C++ включает следующие типы операторов:

• Помеченные операторы
• Операторы выражений
• Составные операторы
• Условные операторы
• Циклические операторы
• Операторы перехода

• Операторы объявления
• try блоки

Помеченные операторы

Помеченная инструкция (labeled statement) обозначает инструкцию для целей управления потоком выполнения.

Метки

label определяется как

Метка с идентификатором, объявленным внутри функции, соответствует всем операторам goto с тем же идентификатором в этой функции, во всех вложенных блоках, до и после её собственного объявления.

Две метки в функции не должны иметь одинаковый идентификатор.

Метки не обнаруживаются при unqualified lookup : метка может иметь то же имя, что и любая другая сущность в программе.

void f()
{
    {
        goto label; // метка в области видимости, даже если объявлена позже
        label:      // метка может находиться в конце блока самостоятельно начиная с C++23
    }
    goto label; // метка игнорирует область видимости блока
}
void g()
{
    goto label; // ошибка: метка не в области видимости в g()
}

Операторы с ограниченным потоком управления

Следующие операторы являются операторами с ограниченным потоком управления :

• Составной оператор compound-statement блока try block .
• Составной оператор compound-statement обработчика handler .

Для каждого оператора с ограниченным потоком управления S :

• Все goto целевые метки, объявленные в S , могут быть использованы только операторами в S .
• Каждая case или default метка, появляющаяся внутри S , может быть связана только с switch оператором внутри S .

Выражения-инструкции

Оператор-выражение представляет собой выражение, за которым следует точка с запятой.

Большинство операторов в типичной программе на C++ являются выражениями, такими как присваивания или вызовы функций.

Инструкция выражения без выражения называется null statement . Она часто используется для предоставления пустого тела циклу for или while . Также может использоваться для размещения метки в конце составной инструкции. (до C++23)

Составные операторы

Составной оператор или блок группирует последовательность операторов в один оператор.

Когда ожидается одно выражение, но необходимо выполнить несколько выражений последовательно (например, в if или цикле), может использоваться составной оператор:

if (x > 5)          // начало оператора if
{                   // начало блока
    int n = 1;      // оператор объявления
    std::cout << n; // оператор выражения
}                   // конец блока, конец оператора if

Каждый составной оператор вводит свою собственную область видимости scope ; переменные, объявленные внутри блока, уничтожаются при закрывающей фигурной скобке в обратном порядке:

int main()
{ // начало внешнего блока
    {                                // начало внутреннего блока
        std::ofstream f("test.txt"); // инструкция объявления
        f << "abc\n";                // инструкция выражения
    }                                // конец внутреннего блока, f сбрасывается и закрывается
    std::ifstream f("test.txt"); // инструкция объявления
    std::string str;             // инструкция объявления
    f >> str;                    // инструкция выражения
} // конец внешнего блока, str уничтожается, f закрывается

Операторы выбора

Оператор выбора выбирает один из нескольких потоков управления.

Операторы итерации

Оператор итерации многократно выполняет некоторый код.

Операторы перехода

Оператор перехода безусловно передает управление потоком выполнения.

Примечание: для всех операторов перехода, выход из цикла, из блока или переход назад через инициализированную переменную с автоматической продолжительностью хранения включает уничтожение объектов с автоматической продолжительностью хранения, которые находятся в области видимости в точке перехода откуда, но не в точке перехода куда. Если было инициализировано несколько объектов, порядок уничтожения противоположен порядку инициализации.

Операторы объявления

Оператор объявления вводит один или несколько идентификаторов в блок.

try блоки

Блок try перехватывает исключения, возникающие при выполнении других операторов.

Подоператоры

Подоператор оператора представляет собой один из следующих элементов:

• Для помеченной инструкции — её statement .
• Для составной инструкции — любая инструкция из её statement... .
• Для инструкции выбора — любая из её statement  или compound-statement  (since C++23) .
• Для итерационной инструкции — её statement .

Оператор S1 охватывает оператор S2 если выполняется любое из следующих условий:

• S2 является подоператором S1
• S1 является оператором выбора или итерационным оператором, и S2 является init-statement оператора S1 .
• S1 является try блоком , и S2 является либо его compound-statement , либо compound-statement любого обработчика в его handler-seq .
• S1 охватывает оператор S3 и S3 охватывает S2 .

Оператор S1 охватывается оператором S2 если S2 охватывает S1 .

Смотрите также