Làm thế nào để xác định loại scala không có chức năng đối số?

Question

này hoạt động

def func(f: => Int) = f 

này Dosn't (bên trong lớp ví dụ)

type EmptyFunct = => Int 

hoặc

phiên bản

type EmptyFunct = (=> Int) 

Scala 2,9 Hai câu hỏi:

1. Tại sao đường cú pháp không làm việc trong trường hợp thứ hai?
2. Cách xác định hàm này không có đường cú pháp?

Answer 1

=> Int không chính xác là một hàm không có tham số, nó là đối số Int với lời gọi theo quy ước truyền tên. (Tất nhiên, đó là khá tốt một điểm, vì nó được thực hiện bằng cách đi qua một chức năng mà không có tham số).

Hàm không có đối số được viết () => Int. Bạn có thể làm type EmptyFunct =() => Int.

Nó không phải là một loại. Bên trong func, f sẽ được nhập là Int. Một đối số của type() => Int sẽ không.

def func(f: => Int) = f *2 

func (: => Int) Int

Nhưng

def func(f:() => Int) : Int = f*2 

error: value * is not a member of() => Int

Answer 2

Bạn nên sử dụng Function0

Trong trường hợp đầu tiên nó không hoạt động vì bạn khai báo một hàm luận không nhưng vì bạn chỉ ra rằng các tham số được gọi theo tên.

Answer 3

Tôi không thấy nhiều ý nghĩa trong một phương pháp, trả lại một int, gọi không có tham số. Hoặc nó trả về một hằng số, vì vậy bạn có thể sử dụng hằng số, hoặc nó sẽ sử dụng một var?

Vì vậy, chúng ta hãy đi với một var:

var k = 10 
val fi = List (() => k * 2,() => k - 2) 
val n = fi(0) 
n.apply 
k = 11 
n.apply 

kết quả là 20, sau đó 22.