Scalaで関数を定義するこれらの3つの方法の違い

同じ関数を表現する3つの方法を考えますf(a) := a + 1。

val f1 = (a:Int) => a + 1
def f2 = (a:Int) => a + 1
def f3:(Int => Int) = a => a + 1

これらの定義はどのように異なりますか？REPLは明らかな違いを示していません。

scala> f1
res38: (Int) => Int = <function1>
scala> f2
res39: (Int) => Int = <function1>
scala> f3
res40: (Int) => Int = <function1>

f1 整数を取り、整数を返す関数です。

f2整数を取り、整数を返す関数を返す、アリティがゼロのメソッドです。（f2後でREPLで入力すると、メソッドの呼び出しになりf2ます。）

f3と同じf2です。そこでは型推論を採用していません。

クラスの中では、val一方で初期化時に評価されdefた場合にのみ評価され、そしてすべての時間は、関数が呼び出されます。以下のコードでは、オブジェクトが最初に使用されたときにxが評価されますが、xメンバーがアクセスされたときは評価されないことがわかります。対照的に、yはオブジェクトがインスタンス化されるときに評価されませんが、メンバーがアクセスされるたびに評価されます。

  class A(a: Int) {
    val x = { println("x is set to something"); a }
    def y = { println("y is set to something"); a }
  }

  // Prints: x is set to something
  val a = new A(1)

  // Prints: "1"
  println(a.x)

  // Prints: "1"                               
  println(a.x)

  // Prints: "y is set to something" and "1"                                  
  println(a.y)

  // Prints: "y is set to something" and "1"                                                                                   
  println(a.y)

def x = eなどの定義を実行しても、式eは評価されません。代わりに、xが使用されるたびにeが評価されます。あるいは、Scalaは値定義val x = eを提供します 。これは、定義の評価の一部として右側のeを評価します。その後、xが引き続き使用される場合、xは事前に計算されたeの値によって直ちに置き換えられるため、式を再度評価する必要はありません。

Martin OderskyによるScala By Example