return statement

终止当前函数并将指定值（如果有）返回给调用者。

语法

说明

表达式 或 花括号初始化列表 (C++11 起) （若存在）被称为 return 语句的 操作数 。

如果控制流程到达

• 返回类型为（可能带有 cv 限定符） void 的函数，
• 构造函数，
• 析构函数，或
• 返回类型为（可能带有 cv 限定符） void 的函数的 函数 try 块

在没有遇到 return 语句的情况下，将执行 return ; 。

如果控制流程到达 main 函数 的末尾，将执行 return 0 ; 。

从值返回函数末尾流出（除了 main 函数 和特定的 协程 (C++20 起) ），而没有 return 语句是未定义行为。

在返回（可能带有 cv 限定符） void 的函数中，若表达式类型为（可能带有 cv 限定符的） void ，则可以使用带 expression 的 return 语句。

注释

以值返回可能涉及临时对象的构造和复制/移动，除非使用了 复制消除 。具体而言，复制/移动的条件如下：

关键词

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; // 正确：隐式移动
}
MoveOnly move_11(MoveOnly&& arg)
{
    return arg; // C++20 起正确：隐式移动
}
MoveOnly&& move_23(MoveOnly&& arg)
{
    return arg; // C++23 起正确：隐式移动
}

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

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见

• 复制消除