函数参数中没有 LHS 的“双右箭头类型”是什么意思

我无法解释指定为没有 LHS（左侧）的函数参数的“双右箭头类型”，例如() => Int来自() to Int但什么只是=> Int意思是？ 例如请参阅第一个参数foo下面的方法，是什么类型f? Is it (Int, () => Int) => Int?

对于定义bar，其中 y 按名称传递，我将其解释为不带参数的函数，该函数将生成 Int，这看起来相当于定义baz.

我可以尝试推理f in foo将第二个参数视为按名称调用，并且不是来自() => Int但这与事实相矛盾bar and bazjavap 中的定义是相同的。我缺少什么？

object ParamTest {
  def foo(f: (Int, => Int) => Int, x: Int) : Int = 10
  def bar(x: Int, y: => Int) : Int = 20
  def baz(x: Int, f: () => Int) : Int = 30
  def qux(f: (Int, () => Int) => Int, x: Int) : Int = 40
}

为了测试我编译了上面的类scalac ParamTest.scala

javap ParamTest给我：

public final class ParamTest {
  public static int qux(scala.Function2<java.lang.Object, scala.Function0<java.lang.Object>, java.lang.Object>, int);
  public static int baz(int, scala.Function0<java.lang.Object>);
  public static int bar(int, scala.Function0<java.lang.Object>);
  public static int foo(scala.Function2<java.lang.Object, scala.Function0<java.lang.Object>, java.lang.Object>, int);
}

这似乎表明 foo 和 qux 具有相同的方法签名。换句话说，我可以解释=> Int as () => Int, but foo(baz,100)给我一个类型不匹配错误

scala> import ParamTest._
import ParamTest._

scala> foo(bar,100)
res0: Int = 10

scala> foo(baz,100)
<console>:11: error: type mismatch;
 found   : (Int, () => Int) => Int
 required: (Int, => Int) => Int
              foo(baz,100)
                  ^

EDIT: 这和这个问题 https://stackoverflow.com/questions/4543228/whats-the-difference-between-and-unit。我不是问两者之间的实际区别call-by-name: => Type and () => Type。我更感兴趣的是了解内部结构。 scala 如何区分这两者，当 javap 或CFR反编译 http://www.benf.org/other/cfr/给了我相同的定义foo and qux;并为bar and baz.

正如你所发现的，() => A and => A不是同一件事。

按姓名呼叫（即=> A) 只是意味着：“延迟对此方法参数的评估。”换句话说，就是惰性评估。

def f(x: Int, y: => Int) = ???

f(3+5, 2+4)

在此示例中，3+5 的加法是在调用站点完成的，并且x值为 8。另一方面，2+4 的加法直到y在方法体内被引用f()。如果该引用位于if...else...如果分支没有被执行，那么添加就永远不会完成。

这对于像这样的简单评估来说毫无意义Int加法，但如果参数是一个昂贵的评估，或者它是一个具有副作用的代码块，那么它就变得更有意义。

所以，在回答你的问题时，它的含义f: (Int, => Int) => Int is: "f接受两个参数并产生一个Int，参数为 2Int是，其中第二个被延迟评估。”