Scalaで関数内に関数を定義した時の挙動って？

Question

Scalaで以下のように関数定義した時に、戻りがUnitですと怒られました。
関数内で関数を定義する場合、関数内の処理内容の前に宣言が必要という認識でよろしいですか？

def hoge(num : Int) : String = {
  num match{
    case 0 => "0だよ！"
    case _ => s"${num}に10を足したら${addTen(num)}だよ！"
  }  
  def addTen(n:Int) : Int ={
    n + 10
  }
}

//Error
[error]  found   : Unit
[error]  required: Int

---3.22
例のプログラムをミスっていたので修正。

Answer 1

n += 10の戻り値はUnitです。
つまり、今言われているエラーは、宣言の位置どうたらではなく、

def addTen(n:Int) : Int ={
    n += 10 // <- Unit
}

この関数がそもそも戻り値の型が合ってません。

---

scalaの関数の戻り値は、(returnを省略した場合)関数の最後に書いてあるものです。
ですので、上記のaddTenの問題を解決しても、
今度はhogeの返す型が合わなくてエラーが出ます。

つまり

def hoge(num : Int) : String = {
  num match{
    case 0 => "0だよ！"
    case _ => s"${num}に10を足したら${addTen(num)}だよ！"
  }  
  def addTen(n:Int) : Int ={ // <- 関数の宣言で終わるのでやっぱりUnit
    n + 10
  }
}

これは

関数内の処理内容の前に宣言が必要

だからではありません。
(修正方法は結果的に同じになるが。)

Comments

[退会済みユーザー]

例が悪かったですね。例を修正します。

Answer 2

関数内の処理内容の前に宣言が必要

そうではないと思います。hogeの最後に文字列式を追記してやるとコンパイルでき、前方参照できないといったようなコンパイルエラーにはなりません。

今一つ自身ないですが言語仕様の文法のところにある以下の定義をみるに・・・

BlockExpr         ::=  ‘{’ CaseClauses ‘}’
                      |  ‘{’ Block ‘}’
  Block             ::=  BlockStat {semi BlockStat} [ResultExpr]

メソッド(関数)本体の結果の値を決めるにはResultExprが必要であると読めます。def addTen...は構文上はFunDef（関数の定義)に分類されておりそれはResultExprの構文にはなく、BlockStatの方に含まれています。つまりhogeの最後にdef addTenを書いたため、hogeには「ResultExprが指定されていない＝＞結果はUnitである」とみなされるのだと思いました。