终止当前函数并返回指定值(若存在)给调用方函数。
语法
属性(可选) return 表达式(可选) ; | (1) | |
属性(可选) return 花括号初始化器列表 ; | (2) | (C++11 起) |
属性(可选) co_return 表达式(可选) ; | (3) | (C++20 起) |
属性(可选) co_return 花括号初始化器列表 ; | (4) | (C++20 起) |
属性(C++11) | - | 任意数量属性 |
表达式 | - | 可转换到函数返回类型的表达式 |
花括号初始化器列表 | - | 初始化器的花括号环绕列表,及其他花括号初始化器列表 |
解释
1) 对 表达式 求值,终止当前函数,并将 表达式 隐式转换到函数返回类型后的结果返回给调用方。表达式 在返回类型为(可有 cv 限定的)void 的函数中、构造函数中和析构函数中可选。
2) 使用复制列表初始化对函数的返回值进行构造。
3,4) 在协程中,对于最终暂停点,必须用关键字 co_return
取代 return
(细节见协程)。
注解
若控制流抵达返回 void
(可有 cv 限定)的函数结尾,构造函数结尾,析构函数结尾,或返回 void
(可有 cv 限定)的函数的函数 try 块结尾,则执行 return;。
若控制流抵达 main 函数的结尾,则执行 return 0;。
控制流出有返回值的函数(除了 main)的结尾而不经过 return 语句是未定义行为。
在返回 void 的函数中,当表达式类型为 void 时,可以使用带 表达式 的 return 语句。
对函数调用结果的复制初始化按顺序早于在 表达式 结尾处对所有临时量的销毁,后者按顺序早于该 return 的外围块的局部变量的销毁。 | (C++14 起) |
以值返回可能会涉及临时对象的构造和复制/移动,除非使用复制消除。具体而言,复制/移动的条件如下:
#### 自动从局部变量和形参移动 若 表达式 是(可有括号的)标识表达式并且指名类型如下的变量: - - 非 volatile 对象类型
,而该变量声明于
则进行两次重载决议,以选择用于初始化返回值的构造函数,或对于 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 | 自动变量的销毁顺序不明确 | 添加了定序规则 |
当前内容版权归 cppreference 或其关联方所有,如需对内容或内容相关联开源项目进行关注与资助,请访问 cppreference .