使用Scala按名称参数

发布时间：2020-12-16 18:25:38 所属栏目：安全来源：网络整理

导读：我正在阅读 “Functional Programming in Scala”这本书并遇到了一个我不完全理解的例子. 在关于严格/懒惰的章节中,作者描述了Streams的构造,并且代码如下： sealed trait Stream[+A]case object Empty extends Stream[Nothing]case class Cons[+A](h: () =

我正在阅读 “Functional Programming in Scala”这本书并遇到了一个我不完全理解的例子.

在关于严格/懒惰的章节中,作者描述了Streams的构造,并且代码如下：

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案例类的构造函数.用于传递头尾值的特定语法对我来说没有意义.为什么不像这样调用构造函数：

Cons(head,tail)

据我所知,它使用的语法强制创建两个Function0对象,只返回head和tails.这与仅仅传递头部和尾部(没有()=>前缀)有什么不同,因为Cons案例类已被定义为依次采用这些参数？这不是多余的吗？还是我错过了什么？

解决方法

区别在于>不等于()=>一个.

前者是按名称传递的,后者是不带参数(单位)并返回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的方法.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!