9

初心者な質問で申し訳ありません。

Cで自作関数を作成した場合、
戻り値で何を返すか迷ってしまいます。

戻り値の型をint型とした場合、
エラー時は-1を返すべきなのか0を返すべきなのか

また、戻り値の型をchar *等ポインタ型にした場合、
エラー時は空のポインタを返せばよいのか

上記以外にもありますが、
皆さんのアドバイス、ご意見をお願いします。

2
  • 4
    聞きたい事は分かりますが、アバウト過ぎる気がします。 こういう関数を作りたいんだけど、とかより具体的な例を上げて聞いた方が答える方も答えやすいし、解答を読んだ時にイメージし易いと思いますよ。 一応、cではfalseは0、trueは1で定義されてるのを擬似的にboolとしてつかったり、0以上が正常、負値が異常としたり、nullで異常、null以外が返ったら正常とします。でもそれが、常識ではなく、その関数を作る人が作りやすい、その関数を使う人が使い易いものに定義してあげることが大事なんだと思います。
    – 豚吐露
    Commented 2015年3月24日 6:09
  • 5
    やりたい事に対してどんなインタフェースにするか、それを決めるのが設計作業という物です。それがきちんと出来る様になる為には幾らか自分で勉強するしかないと思います。github で人のソースコードを眺めまくるのは良い勉強になります。
    – mattn
    Commented 2015年3月24日 6:11

10 件の回答 10

10

戻り値の型をint型とした場合、
エラー時は-1を返すべきなのか0を返すべきなのか

いずれにせよ、「一貫性を持つ」というのが重要です。

他のライブラリと一緒に使う場合、ライブラリにおいて0をエラーとして返す関数で構成されている場合、自作関数もそれに合わせる(一貫性のため)のが混乱を減らせると思います。

ただ、複数のライブラリと組み合わせる場合、あるライブラリでは0エラーで、他のライブラリで-1エラーとなっている場合、一貫性は持たせられません。

この場合は、別途、エラーがわかりやすい書き方をしておく方がいいでしょう。

if (val < 10) {
    return 0;
}

というコードでは、return 0が正常終了なのか、異常終了なのかわかりません。

なので、

if (val < 10) {
    return NO_ERROR;
}

なり

if (val < 10) {
    return ERR_OUT_OF_RANGE;
}

というような書き方にしておくと、後々のソースリーディングが楽になります。

4

考え方の参考に、ということで。

もし戻りの型がintの関数であれば、それは「数値」を返したいから、あなたはintにしたのだと思います。何かの個数だとか。現在値だとか。

そのときもしエラーであれば、その関数の戻り値として明らかにふさわしくない値(例えば-10)が返れば、あなたやその関数を呼ぶ他の人は「あっ、エラーだ」と気付けるでしょう。そういう値を選ぶのが良いと思います。

-10(あるいは他の値)のどれ良いか」というのは、ケースバイケースなので、その関数の戻り値が意味するものに合わせて選定してください。例えばその値は通常0を取りうるのか否か、ということです。
※値の選定については、それこそ標準関数の戻り値が非常に参考になると思いますので、そういった視点で標準関数を眺めてみるのも面白いと思います。

その時、戻り値(例えば-1)はそのままよりも、エラー値であるということを明確に定義してあげると、呼び出す人はなお嬉しいでしょう。

#define FUNCXXX_ERROR   (-1)

int Func(void) {
    int ret = 0;
    if (/* エラー判定 */) {
        return FUNCXXX_ERROR;
    }
    /* 正常時処理 */
    return ret;
}

といった具合です。defineでなくenumでも同様です。
戻り値として戻ってきた-1はエラーなのか正常値なのか、というところに迷ってしまいますからね。
また、この関数が示すエラー値を変えたくなった場合も(例えば-1がその後正常値の含まれるようになってしまった、とか)、このようにしておけばdefineの定義値を変えてやるだけで済みます。

char*型に関して言えば、これはNULLを返してやるのほぼ一択かなあと思います。
※上記のように明らかに不正な値を定義する場合もあるかとは思いますが。

単なる「型」をひとつ取ってみてもいろんな意味を持たせている場合があります。
その意味に合わせたエラー値を選定して、関数を「設計」してあげてください。

3

一般に戻り値のある関数の戻り値は「値」か「意味」になります。
int としてしまうと戻り値は「整数」に過ぎません。
「意味」を戻す場合の方法としては、例えば

typedef enum CALL_SATUS // 実行結果
{
  CALL_SATUS_OK  , // 成功
  CALL_SATUS_INVALID_PARAM ,// 引数不正
  CALL_SATUS_ERR , // その他のエラー
} CALL_SATUS

CALL_STATUS MyFunction()
{
  CALL_STATUS Stat;  
  :// 何かの処理。結果の査定
  return Stat; // CALL_SATUS型の意味が戻る
}

の様なコードが考えられます。

3

こういう話をすると、いたずらに複雑にするだけで、逆に理解の妨げになるかもしれませんが、実践的なプログラムでは、こういうエラーの出し方をする関数がよくあるということで、説明したいと思います。
関数の戻り値とべつに、ポインタの引数を使って、エラーメッセージを出します。

サンプル:剰余を返す関数

#include <stdio.h>

enum ERROR {NOERROR = 0, ZERODIVIDE};
// ゼロ除算したら、ZERODIVIDE
int surplus(int a, int b, enum ERROR *error) {
// a: 被除数、b: 除数、error: エラーメッセージ
    if (b == 0) { // 除数が0だったら
        *error = ZERODIVIDE;
        return 0;
    } else {
        *error = NOERROR;
        return a % b;
    }
}

int main() {
    int x = 100; // 適宜値を変えてください。
    int y = 0; // 適宜値を変えてください。
    enum ERROR err = NOERROR;

    int result = surplus(x, y, &err);

    if (err == ZERODIVIDE) { // ゼロ除算したら
        printf("Divide by 0\n");
    } else { // エラーが出なかったら、剰余を出力
        printf("Surplus = %d\n", result);
    }

    return 0;
}

逆パターンとして、返り値をエラーメッセージとし、ポインタの引数で結果を渡す関数も、ありますね。

3

C99 以降のC言語ならば bool型 に対応しているので

#include <stdbool.h>

を読みこめば bool 型を使用可能です.

また,false が 0 ,true が 1 とマクロで定義されています

3

ライブラリでは、引数に法則性はないと言われていますが、返り値にはある程度の法則があります。ですので、cで用意されているライブラリに合わせることをおすすめします。標準Cライブラリでは、

処理が関数内で完結している場合(成功か失敗の二択)、成功した時にを返し、失敗した場合それ以外やエラー番号などの数値を返します。

例:socket(NULL,NULL,NULL);では返り値は-1,エラー番号97となる。

処理が関数内で完結していない(関数に対して要求をする)場合、失敗した時に0NULLを返します。

例:fopen("","r");エラー番号2
for(;malloc(long);)エラー番号12

エラー番号はerrnoの値です。通常は0エラーが発生した場合、エラーを示す値が代入されます。

2

ここまでの回答が int に偏りすぎている気がするので double な場合を提示

double log(double) であれば、実数に対する自然対数の定義上
- 負の値に対してはそもそも演算が定義されていない=エラー
- 非負数に対しては 負の無限大から正の無限大まで、任意の戻り値がありうる
ということで「戻り値でエラーを表現する」ことがそもそもできません。
なので log() の値域エラーは errno に値 EDOM を返却する仕様となっています。
あなたの作る関数でも同じような状況になる可能性があります。

なので既に皆様の指摘があるとおり
- どう実装したら適切かは案件によって毎回違う
- それを考えるのが設計
- 1つのプロジェクトの中での自分の担当範囲では設計を一貫させておくべし
です。

Java とかだと検査例外とかで実装されていたりしますが今回は C ですから
言語の文化として暗黙の了解があるわけではなし、
自分で決める [ことができます] [必要があります] かな。

2

0も-1も妥当なintなので基本的にintを戻す関数で「-1だったらエラー」の考え方はいけません。
どうすれば良いでしょう?

まずは、エラーな状態になれない関数を作った方が良いです。
難しいならば下記の事を考えましょう。

  1. リターン値をboolにして、intをポインターで戻す。
  2. リターン値のタイプをintではなく、複合型にしても良いです。

1の際はこんな感じです:

int main(void) 
{
    int  calc_result   = 0;
    bool calc_validity = false;

    calc_validity = calculate(&calc_result);

    printf ("Calculation result: %d, validity: %d", calc_result, calc_validity);
}

bool calculate(int *return_value) 
{
    int result = 1 + 1;
    *return_value = result;
    return (result == 2) ? true : false;
}

2の場合はこんな感じ:

typedef struct calculation_result {
    bool valid;
    int  result;
} calculation_result;

calculation_result calculate();

int main(void) 
{
    calculation_result result;

    result = calculate();

    printf ("Calculation result: %d, validity: %d", result.result, result.valid);
}

calculation_result calculate()
{
    int result = 1 + 1;
    bool valid = ((result == 2) ? true : false);

    calculation_result return_value;
    return_value.valid  = valid;
    return_value.result = result;

    return return_value;
}

2の方が読みやすいしジェネリックですし、ポインターに関する問題もないようので2の方が何となくおすすめですね。
コードはboolを使っているのでプレーンCのコンパイラーでビルドをするならboolをcharにマップしてください。

1

既に出ているように「どう設計したかによる」というのが答えになりますが。

餅は餅屋。エラーはエラー関数。
C言語ではerrno.hがお馴染みですがerrno.hがシステム定義に寄りすぎています。
もちろんerrnoも確認して欲しいのですが。純粋なCでないことを認めつつ参考例として、MicrosoftのCOM等で使うHRESULT型(typedefされたlong型)を見ていましょう。 http://www.carrona.org/winerror.html

うーん。32bitに沢山の情報を詰め込んでいますね。
というか詰め込みすぎです。 http://ir9.jp/prog/ayu/win32err.htm

HRESULTの場合は、上位2ビットで判別するようですが……大事なのは、sevenOfNine さんが既に回答しているように「一貫性を保つ」ことです。つまりHRESULTを介したエラーコードの定義、判定マクロといったものを作って、誰でも扱えるように作られています。

res = func(...);
if ( result < 0 ){ ... }

よりも

if ( FAILED(res) ){ ... } 

こんな感じのほうが健全なわけです(エラー設計に変更があっても。新定義のresの値がFAILEDマクロで判定結果を返してくれればよいので)。

0

色々な設計ポリシーがあると思いますが、
戻り値に二つの意味を持たせるのは、個人的に好きではないですね。
標準ライブラリにはそういうのが多いですけど。例えば、

FILE *fopen(const char *path, const char *mode); 

戻り値は、成功時はポインター。失敗時は NULL を返す。

float strtof(const char *nptr, char **endptr); 

この場合は戻り値で成功/失敗の判断ができないので、
グローバル変数の errno が 0 以外の値かどうかを確認する必要がある。

こういうのが混在していると、ちょっと気持ち悪いですね^^;

私の場合は、処理の成否のみを返すように統一しています。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。