Операторы

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

int main()
{
    int n = 1;                        // declaration statement
    n = n + 1;                        // expression statement
    std::cout << "n = " << n << '\n'; // expression statement
    return 0;                         // return statement
}

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

• Помеченные операторы
• Операторы-выражения
• Составные операторы
• Операторы выбора
• Операторы итерации

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

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

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

Помеченный оператор присваивает оператору метку для управления потоком выполнения.

Метки

label определяется следующим образом:

Две метки-идентификатора в одной функции не должны иметь одинаковый identifier . Поиск identifier  в метках не выполняется с помощью неквалифицированного поиска: имя метки может совпадать с именем любой другой сущности в программе.

Метки case и default должны быть заключены в операторы switch.

void f()
{
    label1: 1 + 1; // a labeled statement
    label1: 1 - 1; // Error: cannot repeat label identifiers in the same function
    label2:        // label can appear at the end of a block standalone since C++23
}

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

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

• compound-statement блока try.
• compound-statement обработчика исключений.

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

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

Операторы-выражения

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

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

Оператор-выражение без выражения называется пустым оператором. Его часто используют, чтобы задать пустое тело цикла for или while. Его также можно использовать, чтобы разместить метку в конце составного оператора.(до C++23)

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

Составной оператор, или блок, объединяет последовательность операторов в один оператор.

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

if (x > 5)          // start of if statement
{                   // start of block
    int n = 1;      // declaration statement
    std::cout << n; // expression statement
}                   // end of block, end of if statement

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

int main()
{ // start of outer block
    {                                // start of inner block
        std::ofstream f("test.txt"); // declaration statement
        f << "abc\n";                // expression statement
    }                                // end of inner block, f is flushed and closed
    std::ifstream f("test.txt"); // declaration statement
    std::string str;             // declaration statement
    f >> str;                    // expression statement
} // end of outer block, str is destroyed, f is closed

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

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

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

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

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

Оператор перехода безусловно передаёт управление в другое место.

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

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

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

Блоки try

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

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

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

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

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

• S2 является подоператором S1
• S1 является оператором выбора, оператором раскрытия(начиная с C++26) или оператором итерации, а S2 — это init-statement оператора S1.
• S1 является блоком try, а S2 является либо его compound-statement, либо compound-statement любого обработчика в его handler-seq .
• S1 заключает в себе оператор S3, а S3 заключает в себе S2.

Оператор S1 заключён в оператор S2, если S2 заключает в себе S1.

См. также