return ステートメント (C)

return ステートメントは、関数の実行を終了し、呼び出し元の関数に制御を戻します。 呼び出し直後の位置から、呼び出し元の関数で実行が再開します。 return ステートメントでは、呼び出し元の関数に値を返すことができます。 詳細については、「戻り値の型」を参照してください。

構文

jump-statement:
 returnexpression_opt;

expression の値 (存在する場合) が呼び出し元の関数に返されます。 expression が省略されている場合、関数の戻り値は未定義です。 式が存在する場合は、評価され、関数が返した型に変換されます。 void 戻り値の型を持つ関数の式が return ステートメントに含まれている場合、コンパイラによって警告が生成され、その式は評価されません。

return ステートメントが関数定義に表示されない場合、呼び出された関数の最後のステートメントが実行された後に、制御が自動的に呼び出し元の関数に戻ります。 この場合、呼び出される関数の戻り値は未定義です。 void 以外の戻り値の型が関数に含まれているいる場合、それは重大なバグであり、警告を示す診断メッセージがコンパイラから出力されます。 戻り値の型 void が関数に含まれている場合、この動作に問題ありませんが、不適切なスタイルと見なされる可能性があります。 単純な return ステートメントを使用して、自分の意図を明確にしてください。

エンジニアリング手法として、使用する関数の戻り値の型を常に指定することを推奨します。 戻り値が必要ない場合は、関数の宣言において void 戻り値の型を使用するようにします。 戻り値の型を指定しない場合、C コンパイラでは int が既定の戻り値の型であると見なされます。

多くのプログラマはかっこを使用して return ステートメントの expression 引数を囲みます。 ただし、C ではかっこは必要ありません。

コンパイラでは、 return ステートメントの後に何らかのステートメントが置かれていることを検出した場合、到達できないコードについて警告を示す診断メッセージが発行される可能性があります。

main 関数では、 return ステートメントと式は省略可能となります。 戻り値を指定した場合、それがどのようになるかは実装によって異なります。 Microsoft 固有: Microsoft C の実装では、cmd.exe などのプログラムを呼び出したプロセスに式の値が返されます。 return 式が指定されていない場合は、成功 (0) または失敗 (0 以外の値) を示す値が Microsoft C ランタイムから返されます。

例

この例は、複数の部分で構成された 1 つのプログラムです。 ここでは、 return ステートメントを示すと共に、これを使用して関数の実行を終了する方法と、必要に応じて値を返す方法について説明します。

// C_return_statement.c
// Compile using: cl /W4 C_return_statement.c
#include <limits.h>      // for INT_MAX
#include <stdio.h>       // for printf

long long square( int value )
{
    // Cast one operand to long long to force the
    // expression to be evaluated as type long long.
    // Note that parentheses around the return expression
    // are allowed, but not required here.
    return ( value * (long long) value );
}

square 関数からは、算術エラーを防ぐために、その引数の 2 乗がより幅の広い型で返されます。 Microsoft 固有: Microsoft C の実装の long long 型は、オーバーフローを発生させることなく、2 つの int 値の積を保持するのに十分な大きさとなっています。

square の return 式を囲むかっこは、式の一部として評価され、 return ステートメントでは必要ありません。

double ratio( int numerator, int denominator )
{
    // Cast one operand to double to force floating-point
    // division. Otherwise, integer division is used,
    // then the result is converted to the return type.
    return numerator / (double) denominator;
}

ratio 関数からは、その 2 つの int 引数の比率が浮動小数点 double 値として返されます。 return 式では、オペランドの 1 つを double にキャストすることによって、強制的に浮動小数点演算が使用されています。 それ以外の場合は、整数除算演算子が使用され、小数部分は失われます。

void report_square( void )
{
    int value = INT_MAX;
    long long squared = 0LL;
    squared = square( value );
    printf( "value = %d, squared = %lld\n", value, squared );
    return; // Use an empty expression to return void.
}

report_square 関数では、INT_MAX のパラメーター値 ( int に収まる符号付きの最大整数値) に対して square が呼び出されます。 long long の結果が squared に格納されてから、出力されます。 report_square 関数には、戻り値の型として void が指定されているので、その return ステートメント内に式はありません。

void report_ratio( int top, int bottom )
{
    double fraction = ratio( top, bottom );
    printf( "%d / %d = %.16f\n", top, bottom, fraction );
    // It's okay to have no return statement for functions
    // that have void return types.
}

report_ratio 関数では、1 と INT_MAX のパラメーター値に対して ratio が呼び出されます。 double の結果が fraction に格納されてから、出力されます。 report_ratio 関数には、戻り値の型として void が指定されているため、明示的に値を返す必要はありません。 report_ratio を実行すると、"bottom を下回る" ので、呼び出し元に値は返されません。

int main()
{
    int n = 1;
    int x = INT_MAX;

    report_square();
    report_ratio( n, x );

    return 0;
}

main 関数では、report_square と report_ratioの 2 つの関数が呼び出されます。 report_square はパラメーターを取らず、 void が返されるため、その結果を変数に代入することはしません。 同様に、report_ratio からは void が返されるため、その戻り値の保存も行いません。 これらの関数の各々が呼び出されるたびに、次のステートメントで実行が続行されます。 次に、 main から、プログラムを終了するための値として 0 (通常は成功を報告するために使用される) が返されます。

この例をコンパイルするには、 C_return_statement.c という名前のソース コード ファイルを作成します。 次に、すべてのコード例を、示されている順序でコピーします。 ファイルを保存してから、次のコマンドを使用して開発者コマンド プロンプト ウィンドウでコンパイルします。

cl /W4 C_return_statement.c

次に、コード例を実行するために、コマンド プロンプトで「 C_return_statement.exe 」と入力します。 この例の出力は次のようになります。

value = 2147483647, squared = 4611686014132420609
1 / 2147483647 = 0.0000000004656613

関連項目

ステートメント