loại tham số chức năng và =>

Question

Chính xác những gì mà tuyên bố tham số phương pháp có nghĩa là:

def myFunc(param: => Int) = param 

nghĩa của => trong định nghĩa trên là gì?

Answer 1

Đây được gọi là pass-by-name. Điều đó có nghĩa là bạn đang chuyển một hàm trả về Int nhưng chủ yếu được sử dụng để thực hiện đánh giá lười biếng các tham số. Nó có phần tương tự như:

def myFunc(param:() => Int) = param 

Dưới đây là ví dụ. Hãy xem xét một chức năng answer trở về một số Int giá trị:

def answer = { println("answer"); 40 } 

Và hai chức năng, người ta dùng Int và một tham Intbởi tên:

def eagerEval(x: Int) = { println("eager"); x; } 
def lazyEval(x: => Int) = { println("lazy"); x; } 

Bây giờ thực hiện cả trong số họ sử dụng answer:

eagerEval(answer + 2) 
> answer 
> eager 

lazyEval(answer + 2) 
> lazy 
> answer 

Trường hợp đầu tiên là obvi ous: trước khi gọi eagerEval()answer được đánh giá và in "answer" chuỗi. Trường hợp thứ hai thú vị hơn nhiều. Chúng tôi đang thực sự chuyển một hàm đến lazyEval(). lazyEval in đầu tiên "lazy" và đánh giá tham số x (thực tế, gọi hàm x được truyền làm tham số).

cũng Xem

• Scala Returning a void function with 0 parameters, ugly syntax?

Answer 2

Chỉ cần chắc chắn rằng có một câu trả lời có sử dụng thuật ngữ thích hợp: Scala Language Specification sử dụng thuật ngữ gọi bằng tên:

Loại tham số giá trị có thể được đặt trước bởi =>, ví dụ: x: => T. Loại tham số như vậy là kiểu phương thức không tham số => T. Điều này chỉ ra rằng đối số tương ứng không được đánh giá tại điểm ứng dụng chức năng, nhưng thay vào đó, được đánh giá ở mỗi lần sử dụng trong hàm. Tức là, đối số là được đánh giá sử dụng gọi từng tên.

- Mục 4.6.1 của Scala Language Specification

Answer 3

Để thêm vào câu trả lời Tomasz Nurkiewicz của trên, sự khác biệt giữa tôi gặp phải() => Int và => Int được rằng thứ hai cho phép gọi với khối trần :

scala> def myfunc(f :() => Int) = println("Evaluated: " + f) 
myfunc: (f:() => Int)Unit 

scala> def myfunc2(f : => Int) = println("Evaluated: " + f) 
myfunc2: (f: => Int)Unit 

scala> myfunc({1}) 
<console>:9: error: type mismatch; 
found : Int(1) 
required:() => Int 
       myfunc({1}) 
       ^

scala> myfunc2({1}) 
Evaluated: 1