return 语句

来自cppreference.com
< cpp‎ | language

终止当前函数并返回特定值到调用方函数。

目录

[编辑] 语法

属性(可选) return 表达式(可选) ; (1)
属性(可选) return 初始化列表 ; (2) (C++11 起)
属性(C++11) - 任意数量属性
表达式 - 可转换到函数返回类型的表达式
初始化列表 - 初始化器的花括号环绕列表及其他花括号初始化列表

[编辑] 解释

1)表达式 求值,终止当前函数并返回隐式转换到函数返回类型后的 表达式 的值给调用方。 表达式 在返回类型为(可有 cv 限定的) void 的函数中、构造函数中和析构函数中可选。
2) 使用复制列表初始化构造函数的返回值。

[编辑] 注意

若控制流抵达返回 void (可有 cv 限定)的函数结尾、构造函数结尾、析构函数结尾,或对于返回 void (可有 cv 限定)的函数的函数 try 块结尾,则执行 return;

若控制流抵达 main 函数的结尾,则执行 return 0;

流经有返回值的函数(除了 main )的函数尾而不经过 return 语句是未定义行为。

若函数返回 void ,则可以用带 表达式 的 return 语句,若表达式类型为 void

以值返回可能会涉及构造和复制/移动临时对象,除非使用复制消除

表达式 为左值表达式且满足了复制消除的条件,或可以满足,除了 表达式 指名函数形参的情况,则要选择构造函数以用于初始化被返回值的重载决议被执行两次:第一次是如同 表达式 为右值表达式(从而它会选择移动构造函数或接收到 const 引用的复制构造函数),而若无适合的转换,则执行第二次重载决议,使用左值 表达式 (故它会选择接收到非 const 引用的复制构造函数)。

上述规则甚至在函数返回类型与 表达式 类型不同的情况下应用(复制消除要求同一类型)

(C++11 起)

函数调用求值结果的临时量 (C++17 前)的结果对象 (C++17 起)的复制初始化先于expression 结尾处所有临时量的析构,也就是说先于环绕 return 的块的局部变量的析构。

(C++14 起)

表达式 是纯右值,则函数返回的对象直接以该表达式初始化。这不会牵涉到类型匹配的复制或移动构造函数(见复制消除

(C++17 起)

[编辑] 关键词

return

[编辑] 示例

#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 原子变量的析构顺序化非显式 添加了顺序规则


[编辑] 参阅

return 语句C 文档