ความแตกต่างระหว่างสามวิธีในการกำหนดฟังก์ชันใน Scala

กำหนดสามวิธีในการแสดงฟังก์ชันเดียวกัน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 = อีจะไม่ประเมินการแสดงออกอี แต่อีได้รับการประเมินเมื่อใดก็ตามที่xถูกนำมาใช้ หรืออีกวิธีหนึ่ง Scala เสนอนิยามค่า val x = eซึ่งจะประเมินeด้านขวามือเป็นส่วนหนึ่งของการประเมินคำจำกัดความ ถ้าxถูกใช้ในภายหลังมันจะถูกแทนที่ด้วยค่าที่คำนวณล่วงหน้าของe ทันทีดังนั้นจึงไม่จำเป็นต้องประเมินนิพจน์อีก

Scala ตามตัวอย่างโดยMartin Odersky