return statement

Завершает текущую функцию и возвращает указанное значение (если есть) вызывающей стороне.

Синтаксис

Объяснение

Выражение expression или braced-init-list (начиная с C++11) (если присутствует) называется операндом оператора return .

Если управление достигает конца

• функция с возвращаемым типом (возможно, cv-квалифицированным) void ,
• конструктор,
• деструктор, или
• блок try функции для функции с возвращаемым типом (возможно, cv-квалифицированным) void

без встречи с оператором return , выполняется return ; .

Если управление достигает конца main функции , return 0 ; выполняется.

Выход за пределы возвращающей значение функции, за исключением функции main и определённых корутин (начиная с C++20) , без оператора return является неопределённым поведением.

В функции, возвращающей (возможно, cv-квалифицированный) void , инструкция return с выражением может использоваться, если тип выражения является (возможно, cv-квалифицированным) void .

Примечания

Возврат по значению может включать создание и копирование/перемещение временного объекта, если не используется copy elision . Конкретно условия для копирования/перемещения следующие:

Ключевые слова

return , co_return

Пример

#include <iostream>
#include <string>
#include <utility>
void fa(int i)
{
    if (i == 2)
        return;
    std::cout << "fa("<< i << ")\n";
} // неявный возврат;
int fb(int i)
{
    if (i > 4)
        return 4;
    std::cout << "fb(" << i << ")\n";
    return 2;
}
std::pair<std::string, int> fc(const char* p, int x)
{
    return {p, x};
}
void fd()
{
    return fa(10); // fa(10) является void-выражением
}
int main()
{
    fa(1); // выводит аргумент, затем возвращает
    fa(2); // ничего не делает при i == 2, просто возвращает
    int i = fb(5); // возвращает 4
    i = fb(i);     // выводит аргумент, возвращает 2
    std::cout << "i = " << i << '\n'
              << "fc(~).second = " << fc("Hello", 7).second << '\n';
    fd();
}
struct MoveOnly
{
    MoveOnly() = default;
    MoveOnly(MoveOnly&&) = default;
};
MoveOnly move_11(MoveOnly arg)
{
    return arg; // OK. неявное перемещение
}
MoveOnly move_11(MoveOnly&& arg)
{
    return arg; // OK начиная с C++20. неявное перемещение
}
MoveOnly&& move_23(MoveOnly&& arg)
{
    return arg; // OK начиная с C++23. неявное перемещение
}

fa(1)
fb(4)
i = 2
fc(~).second = 7
fa(10)

Отчеты о дефектах

Следующие отчеты об изменениях в поведении, являющиеся дефектными, были применены ретроактивно к ранее опубликованным стандартам C++.

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

• копи-элизия