return 语句
来自cppreference.com
终止当前函数并返回指定值（如果存在）给调用方函数。
语法
属性(可选) return 表达式(可选) ;
|
(1) | ||||||||
属性(可选) return 花括号初始化器列表 ;
|
(2) | (C++11 起) | |||||||
属性(可选) co_return 表达式(可选) ;
|
(3) | (C++20 起) | |||||||
属性(可选) co_return 花括号初始化器列表 ;
|
(4) | (C++20 起) | |||||||
| 属性 | - | (C++11 起) 任意个属性组成的可选序列 |
| 表达式 | - | 可以转换到函数返回类型的表达式 |
| 花括号初始化器列表 | - | 初始化器的花括号环绕列表，及其他花括号初始化器列表 |
解释
1) 对 表达式 求值，终止当前函数，并将 表达式 隐式转换到函数返回类型后的结果返回给调用方。表达式 在返回类型是（可有 cv 限定的）void 的函数中可以不出现，在构造函数中和析构函数中不能出现。
2) 使用复制列表初始化对函数的返回值进行构造。
注解
如果控制流抵达返回（可有 cv 限定的） void 的函数结尾、构造函数结尾、析构函数结尾或返回（可有 cv 限定的） void 的函数的函数 try 块结尾，且没有 return 语句，那么执行 return;。
如果控制流抵达 main 函数的结尾，那么执行 return 0;。
如果控制流抵达有返回值的函数（除了 main）的结尾却没有 return 语句是未定义行为。
在返回（可有 cv 限定的）void 的函数中，当表达式类型是（可有 cv 限定的）void 时，可以使用带 表达式 的 return 语句。
|
函数返回类型如果是 占位类型，那么会根据返回值自动推导它的具体类型。 对函数调用结果的复制初始化按顺序早于在 表达式 结尾处对所有临时量的销毁，后者按顺序早于该 return 的外围块的局部变量的销毁。 |
(C++14 起) |
以值返回可能会涉及临时对象的构造和复制/移动，除非使用复制消除。具体而言，复制/移动的条件如下：
自动从局部变量和形参移动如果 表达式 是（可有括号的）标识表达式并且指名类型如下的变量：
，而该变量声明于最内层外围函数或 lambda 表达式
那么进行两次重载决议，以选择用于初始化返回值的构造函数，或对于 co_return 为选择 promise.return_value() 的重载 (C++20 起)：
|
(C++11 起) |
受保证的复制消除如果 表达式 是纯右值，那么直接以该表达式初始化结果对象。其中在类型相匹配时并不涉及复制或移动构造函数（见复制消除）。 |
(C++17 起) |
关键词
示例
运行此代码
#include <iostream> #include <string> #include <utility> void fa(int i) { if (i == 2) return; std::cout << i << '\n'; } // 隐含的 return; int fb(int i) { if (i > 4) return 4; std::cout << 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(2); // 返回，当 i==2 时无动作 fa(1); // 打印其实参，然后返回 int i = fb(5); // 返回 4 i = fb(i); // 打印其实参，返回 2 std::cout << i << '\n' << fc("Hello", 7).second << '\n'; fd(); }
输出：
1 4 2 7 10
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| DR | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 1579 | C++11 | 不允许经由转换移动构造函数返回 | 启用对转换移动构造函数的查找 |
| CWG 1885 | C++14 | 自动变量的销毁顺序不明确 | 添加了定序规则 |