【Java】missing return statementエラーの条件

Question

###質問
missing return statementエラーが出るときは、elseを書くなどしなければならないようですが下のコードはifに続くelseはないのにrunできると思います。このちがいはなんなのでしょうか。

//略
for(int i=0; b.length>i; i++){
    if(b[i]==a){
        return i;
    }
}
return -1;
//略

Answer 1

returnなしで関数が終了する可能性があるとそのエラーが出るってことです。
elseがなかろうが、最後にreturnを書いていればそのエラーは出ません

Comments

[t.z]

if文だけに注目すると言うより、関数全体で見ればいいのですね。ご回答ありがとうございます。

Answer 2

if文が処理されない可能性があるからです。
コンパイラは「配列の中身にaがあるからこのif文は必ず処理される」とは読んでくれません
今回のコードではif文が処理されなくてもreturn -1;が必ず処理されるようになっているためコンパイルエラーにはなりません。

またif文の後にelseを付けた場合、if文が条件に合致しないとelse文が必ず処理されるため、else文で戻り値が返されていればコンパイルエラーになりません。

Comments

[t.z]

コンパイルの段階では、たとえば人間が勝手に思っているような「５段階評価だから６のことは考えなくていい」とはならず、ifやelse ifで終わらせてはダメでelseにしなければならないのですね。ご回答ありがとうございます。

[退会済みユーザー]

今回のコードのようにメソッドの処理が終わるときに戻り値が必ず戻るならifやelse ifで終わっても大丈夫ですよ。

y_waiwaiさんも言ってるように、
「missing return statement」は戻り値が戻らない可能性があるときに出るエラーです。
メソッドの戻り値の型をvoid以外にした場合、戻り値が必ず戻らなければならないと決まってます。

[t.z]

ご返信ありがとうございます。「戻り値が戻らない可能性がある」というのがどのように機械に探られているのかがわからないので完全な理解ができていないのかもしれません。とりあえず、elseやdefaultや、私の質問文の中にあるようなreturnがあれば戻り値は戻るということですよね。