Scala名称参数的使用

Question

我正在阅读"Functional Programming in Scala"这本书，并且遇到了一个我不完全了解的例子。

在上严格的章节/懒惰作者描述流的结构，并有这样的代码：

sealed trait Stream[+A] 
case object Empty extends Stream[Nothing] 
case class Cons[+A](h:() => A, t:() => Stream[A]) extends Stream[A] 

object Stream { 
    def cons[A](hd: => A, tl: => Stream[A]) : Stream[A] = { 
     lazy val head = hd 
     lazy val tail = tl 
     Cons(() => head,() => tail) 
    } 
    ... 
} 

我的问题是在智能构造（cons），它调用构造函数Cons案例分类。用来通过head和tail vals的特定语法对我来说没有意义。为什么不这样调用构造函数：

Cons(head, tail) 

据我了解语法使用的是强要2名Function0对象只返回head和tail丘壑的创建。这与刚刚通过head和tail（没有() =>前缀）有什么不同，因为Cons案例类已被定义为无论如何都采用这些参数？这不是多余的吗？或者我错过了什么？

Answer 1

区别在于=> A不等于() => A。

前者是通过名称传递，而后者是一个函数，没有参数（单位），并返回一个A.

可以在Scala中REPL测试了这一点。

scala> def test(x: => Int):() => Int = x 
<console>:9: error: type mismatch; 
found : Int 
required:() => Int 
     def test(x: => Int):() => Int = x 
             ^

在我的示例中简单引用x会导致参数被调用。在你的示例中，它构造了一个延迟x调用的方法。

Answer 2

首先，您假设=> A和() => A是相同的。但是，他们不是。例如，=> A只能在按名称传递参数的情况下使用 - 不可能声明=> A类型的val。由于case class参数始终为val s（除非明确声明为var s），因此很明显为什么case class Cons[+A](h: => A, t: => Stream[A])不起作用。

其次，只是包装了一个用名字参数与空参数列表的功能是不一样的东西上面的代码实现：使用lazy val时，则确保两个hd和tl在评估最多一次。如果代码读

Cons(() => hd,() => tl) 

原始hd一个Cons对象的每个的h方法（场）时间将被评估被调用。使用lazy val，hd仅在第一次调用此Cons对象的h方法时进行评估，并且在随后的每次调用中都会返回相同的值。

演示在REPL在精简时尚的区别：

> def foo = { println("evaluating foo"); "foo" } 
> val direct :() => String =() => foo 
> direct() 
evaluating foo 
res6: String = foo 
> direct() 
evaluating foo 
res7: String = foo 
> val lzy :() => String = { lazy val v = foo;() => v } 
> lzy() 
evaluating foo 
res8: String = foo 
> lzy() 
res9: String = foo 

注意如何在lzy()第二次调用的“评估foo”的输出走了，而不是的direct()第二次调用。

Answer 3

请注意，方法cons的参数是名称参数（hd和tl）。这意味着如果您致电cons，则在调用cons之前不会评估参数;他们将在稍后进行评估，目前您在cons之内使用它们。

请注意，Cons构造函数使用Unit => A类型的两个函数，但而不是作为名称参数。所以这些将在您调用构造函数之前进行评估。

如果你这样做Cons(head, tail)然后head和tail将被评估，这意味着hd和tl进行评估。

但这里的整点是为了避免调用hd和tl直到必要（当有人在Cons对象访问h或t）。因此，您将两个匿名函数传递给构造函数Cons;这些功能将不会被调用，直到有人访问h或t。