为什么在按名称调用的函数中传递不同的函数类型仍然有效？

Question

在Scala中，定义一个以名称调用参数的函数是这样的：

def f(x: => R)

我认为=> R 是指参数为空且返回值类型为R 的函数。但是当我将一个类型不是=> R 的函数传递给f 时，比如R => R，我发现它仍然有效。例子是这样的：

scala> def foo(code: => Int) {
     | println(code)
     | }
foo: (code: => Int)Unit

scala> val bar: () => Int = () => 1
bar: () => Int = <function0>

scala> foo(bar())
1

scala> val bar1: Int => Int = myInt => 2
bar1: Int => Int = <function1>

scala> foo(bar1(2))
2

谁能解释一下？

Answer 1

函数定义中的x: => R 不代表function without parameters which returns R，而是表示an expression which, when evaluated, returns a value of type R，而没有指定表达式本身的任何其他内容。