Chức năng không có đối số, với đơn vị làm đối số trong scala

Question

def foo(x:Int, f:Unit=>Int) = println(f()) 

foo(2, {Unit => 3+4} 

//case1 
def loop:Int = 7 
foo(2, loop) //does not compile 

changing loop to 
//case 2 
def loop():Int = 7 
foo(2, loop) // does not compile 

changing loop to 
//case 3 
def loop(x:Unit): Int = 7 //changing according to Don's Comments 
foo(2,loop) // compiles and works fine 

should'nt case 1 và case 2 cũng hoạt động? tại sao họ không làm việc?

định foo như

def foo(x:Int, y:()=>Int) 

sau đó trường hợp 2 công trình nhưng không phải trường hợp 1.

Arent tất cả họ đều phải làm việc, quy định chức năng một trong hai cách.

// tôi cũng nghĩ() => Int in foo là kiểu xấu, y: => Int không hoạt động, bình luận ??

Answer 1

Scala phân biệt giữa các yếu tố sau:

• Chức năng/phương pháp với không có danh sách tham số ("bởi tham số -name" nếu một hàm)
• Chức năng với một danh sách tham số rỗng
• Chức năng với một tham số kiểu Unit

Không ai trong số đó là tương đương, mặc dù như là một tiện nghi Scala cho phép bạn để bỏ qua danh sách tham số trống. (Ngẫu nhiên, hai danh sách tham số có sản phẩm nào cũng không giống nhau.)

Vì vậy, mặc dù Unit được viết (), đây là không giống như các tham số của hàm Parens () cho một hàm hoặc phương pháp. Thay vào đó, hãy suy nghĩ của () dưới dạng Tuple0.

Vì vậy, nếu bạn nói f: Unit => Int, những gì bạn có nghĩa là "f mất một tham số, nhưng đó là một tham số thực sự nhàm chán vì nó là Unit, mà phải luôn luôn giống nhau nhàm chán Tuple0 giá trị ()". Những gì bạn đang viết thực sự ngắn cho f: (Unit) => Int.

Nếu bạn nói f:() => Int, thì bạn có nghĩa là "f không có tham số và tạo ra Int".

Nếu bạn nói f: => Int, thì bạn có nghĩa là "trì hoãn việc thực hiện bất kỳ câu lệnh nào tạo ra giá trị Int cho đến khi chúng tôi sử dụng nó trong mã này (và đánh giá lại mỗi lần)". Về mặt chức năng, kết quả là về cơ bản giống như f:() => Int (và nội bộ được chuyển đổi thành cùng một lớp Function0), nhưng nó có cách sử dụng khác nhau, có lẽ để cho phép hình thức đóng gọn hơn (bạn luôn bỏ qua mã => trong mã gọi điện).

Answer 2

() => Int là Function0 [Int] trong khi Unit => Int là Function1 [Unit, Int]

scala> val function0:() => Int =() => 5 
function0:() => Int = <function0> 

scala> val function1: Unit => Int = u => 5 
function1: (Unit) => Int = <function1> 

scala> function0() 
res0: Int = 5 

scala> function1("anything") 
res1: Int = 5 

scala> function1(100) 
res2: Int = 5 

scala> 

Cũng lưu ý rằng() là một đối tượng của đơn vị

scala> function1(()) 
res11: Int = 5 

scala> function1() 
res12: Int = 5 

scala> function1() 
res13: Int = 5 

scala> val unit =() 
unit: Unit =() 


scala> function1(unit) 
res15: Int = 5 

scala> function1 apply unit 
res16: Int = 5 

scala> 

Answer 3

Trong trường hợp 1 và 2 ở trên, giá trị trả về của loop hơn loop bản thân là loại kiểm tra cho đối số thứ hai để foo và thất bại: Int = Unit => Int

Thay đổi thành vòng lặp có lỗi đánh máy.