终止当前函数并返回指定值(若存在)给调用方函数。

语法

属性(可选) 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 对象类型




-
- 或到对象类型的非 volatile 右值引用类型
(C++20 起)

,而该变量声明于

  • 最内层外围函数或 lambda 表达式
    • 的体内,或
    • 为其形参

则进行两次重载决议,以选择用于初始化返回值的构造函数,或对于 co_return 为选择 promise.return_value() 的重载 (C++20 起):

  • 首先如同假设 表达式 是右值表达式(从而它可选择移动构造函数),然后
    • 若第一次重载决议失败


-
- 或若它成功,但不选择移动构造函数(正式而言,选择的构造函数的首参数不是到 表达式 类型的(可有 cv 限定)的右值引用,
(C++20 前)
  • 则照常进行重载决议,把 表达式 当做左值(故它可以选择复制构造函数)。
(C++11 起)


#### 受保证的复制消除


若 表达式 是纯右值,则直接以该表达式初始化结果对象。当其类型相匹配时,这之中并不涉及复制或移动构造函数(见复制消除)。
(C++17 起)

关键词

return,co_return

示例

运行此代码

  1. #include <iostream>
  2. #include <string>
  3. #include <utility>
  4.  
  5. void fa(int i)
  6. {
  7. if (i == 2)
  8. return;
  9. std::cout << i << '\n';
  10. } // 隐含的 return;
  11.  
  12. int fb(int i)
  13. {
  14. if (i > 4)
  15. return 4;
  16. std::cout << i << '\n';
  17. return 2;
  18. }
  19.  
  20. std::pair<std::string, int> fc(const char* p, int x)
  21. {
  22. return {p, x};
  23. }
  24.  
  25. void fd()
  26. {
  27. return fa(10); // fa(10) 是 void 表达式
  28. }
  29.  
  30. int main()
  31. {
  32. fa(2); // 返回,当 i==2 时无动作
  33. fa(1); // 打印其实参,然后返回
  34. int i = fb(5); // 返回 4
  35. i = fb(i); // 打印其实参,返回 2
  36. std::cout << i << '\n'
  37. << fc("Hello", 7).second << '\n';
  38. fd();
  39. }

输出:

  1. 1
  2. 4
  3. 2
  4. 7
  5. 10

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 1579 C++11 不允许经由转换移动构造函数返回 启用对转换移动构造函数的查找
CWG 1885 C++14 自动变量的销毁顺序不明确 添加了定序规则