函数参数类型和=>

Question

究竟该方法参数的声明意味着什么:

def myFunc(param: => Int) = param

=>上限定义是什么意思？

Answer 1

这就是所谓的名字传递.这意味着您传递的函数应该返回,Int但主要用于实现参数的延迟评估.它有点类似于:

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

这是一个例子.考虑一个answer函数返回一些Int值:

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

还有两个功能,一个是一个Int,另一个是Int 按名称:

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

现在使用answer以下命令执行它们:

eagerEval(answer + 2)
> answer
> eager

lazyEval(answer + 2)
> lazy
> answer

第一种情况很明显:在eagerEval() answer评估调用之前并打印"answer"字符串.第二种情况更有趣.我们实际上正在传递一个函数lazyEval().第lazyEval一个打印"lazy"并评估x参数(实际上,调用x函数作为参数传递).

也可以看看

• Scala返回带0参数的void函数,语法难看？

Answer 2

只是为了确保有一个使用正确术语的答案:Scala语言规范使用术语call-by-name:

值参数的类型可以通过=>预先固定,例如x:=> T. 这样的参数的类型是无参数方法类型=> T. 这表示相应的参数不在函数应用程序点评估,而是在函数内的每次使用时进行评估.也就是说,使用call-by-name评估参数.

- Scala语言规范的第4.6.1节

Answer 3

要添加Tomasz Nurkiewicz上面的答案,我在()=> Int和=> Int之间遇到的区别是第二个允许使用裸块进行调用:

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