return statement

現在の関数を終了し、指定された値（存在する場合）を呼び出し元に返します。

構文

説明

式 または braced-init-list (C++11以降) （存在する場合）は、 オペランド として知られています。これは return 文のものです。

制御が終端に達した場合

• 戻り値の型（CV修飾されている可能性もある）が void である関数、
• コンストラクタ、
• デストラクタ、または
• 関数 try ブロック （戻り値の型が（CV修飾されている可能性もある） void である関数用）

return 文に出会わずに、 return が実行された場合、 return ; が実行されます。

制御が main 関数 の終端に達した場合、 return 0 ; が実行されます。

値を返す関数（ main 関数 および特定の コルーチン (C++20以降) を除く）の終端に達し、 return 文がない場合、その動作は未定義です。

(可能性としてcv修飾された) void を返す関数において、 return 文に expression を指定することが可能です。ただし、式の型が(可能性としてcv修飾された) void である場合に限ります。

注記

値による返却は、一時オブジェクトの構築とコピー/ムーブを含む可能性があります。ただし、 copy elision が使用される場合は除きます。具体的には、コピー/ムーブの条件は以下の通りです：

キーワード

return , co_return

例

#include <iostream>
#include <string>
#include <utility>
void fa(int i)
{
    if (i == 2)
        return;
    std::cout << "fa("<< i << ")\n";
} // 暗黙のreturn;
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); // 引数を出力してreturn
    fa(2); // i == 2のとき何もせずreturn
    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; // OK. 暗黙のmove
}
MoveOnly move_11(MoveOnly&& arg)
{
    return arg; // C++20以降OK. 暗黙のmove
}
MoveOnly&& move_23(MoveOnly&& arg)
{
    return arg; // C++23以降OK. 暗黙のmove
}

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

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目

• コピー省略