スカラ型不一致ユニットの代わりに

Question

スカラの初心者を完了し、今すぐ基本を理解しようとしています。

私はチュートリアルの一部として、整数リストの中で最大の要素を返す関数を作成しようとしています。これを実現するために、私は、（仮称）しました一緒に次のコードを置く：私はそれをコンパイルしようとしたとき、私は私が持っているライン5

[error] /scala/example/src/main/scala/example/Lists.scala:5: type mismatch; 
[error] found : Unit 
[error] required: Int 
[error]   findMax(xs.head, xs.tail) 

の型エラーを取得し、しかし

def max(xs: List[Int]): Int = 
    if (xs.isEmpty) 
    throw new java.util.NoSuchElementException 
    else 
    findMax(xs.head, xs.tail) 

def findMax(a: Int, b: List[Int]) { 
    if (b.isEmpty) return a 

    if (a > b.head) 
    findMax(a, b.tail) 
    else 
    findMax(b.head, b.tail) 
} 

を私はこのエラーメッセージで混乱していることを認めています。コンパイラが、この行の前にリストが空でないことを保証するためにロジックを与えられたUnit型を渡そうとしていると、私は理解していません。

誰でも問題を明確にすることはできますか？

Answer 1

Scalaは関数を定義するための2つの構造を有する：

def doSomething(a: Int) { a + 3 } 

と

def doSomethingElse(b: Int) = { b + 3 } 

最初のものは、プロシージャ構文として知られており、それは貧弱な仮定と混乱コードにつながるので、それが推奨され。これらの2つの機能の違いは、doSomethingがUnitを返しますが、doSomethingElseはIntを返します。 =が含まれていない場合、関数は何も返しません（つまり、Unitを返します）。

この

def doSomething(a: Int) { a + 3 } 

はあなたがintを返すように機能 findMaxをしたい

def doSomething(a: Int): Unit = { a + 3 } 

と同等ですが、あなたは=をオフに左ので、ScalaはそれがUnitを返すと言います。これがコンパイルエラーの原因です。あなたは一般的にどちらかの書き込み

def findMax(a: Int, b: List[Int]) = { 

または

def findMax(a: Int, b: List[Int]): Int = { 

によってこの問題を解決することができ、あなたは、プロシージャの構文を使用しないでください。最終的に戻り値の型を型推論にしても、必ず=を使用してください。

---

あなたがあなたの関数でreturnを使用しているため最初のアプローチは、実際には、コンパイラエラーになるかもしれないことに留意すべきです。 returnを明示的に呼び出す関数は、関数ヘッダーで返される型を指定する必要があります。 Scalaは式ベースの言語なので、すべてのステートメントは式なので、値を返します。あなたは次のようにreturnを必要としないためにあなたのfindMax機能を書き換えることができます。

def findMax(a: Int, b: List[Int]): Int = { 
    if (b.isEmpty) 
    a 
    else if (a > b.head) 
    findMax(a, b.tail) 
    else 
    findMax(b.head, b.tail) 
}