scala – 在惰性求值中解释这种类型不匹配

发布时间：2020-12-16 10:02:01 所属栏目：安全来源：网络整理

导读：试着找到 this评论,我写了下面的代码： def breakfast : AnyRef = { class Chicken (e: =Egg) { lazy val offspring = e } class Egg (c: =Chicken) { lazy val mother = c } lazy val (egg: Egg,chicken: Chicken) = (new Egg(chicken),new Chicken(egg)) e

试着找到 this评论,我写了下面的代码：

def breakfast : AnyRef = {

    class Chicken  (e: =>Egg) { 
      lazy val offspring = e 
    }

    class Egg (c: =>Chicken) {
      lazy val mother = c
    }
   lazy val (egg: Egg,chicken: Chicken) = (new Egg(chicken),new Chicken(egg))
  egg  
}

它起作用,它完全符合你的希望.我没有得到的是,为什么：AnyRef是必要的？如果它没有包含,编译器(至少2.8编译器)死于可怕的死亡：

error: type mismatch; found : Egg(in lazy value scala_repl_value)
where type Egg(in lazy value scala_repl_value) <: java.lang.Object
with ScalaObject{lazy def mother: Chicken} required: (some
other)Egg(in lazy value scala_repl_value) forSome { type (some
other)Egg(in lazy value scala_repl_value) <: java.lang.Object with
ScalaObject{lazy def mother: Chicken}; type Chicken <:
java.lang.Object with ScalaObject{lazy def offspring: (some
other)Egg(in lazy value scala_repl_value)} } object
RequestResult$line16$object {

有人能解释一下这里发生了什么吗？

解决方法

你在早餐功能的范围内定义鸡和鸡蛋类,所以他们在外面看不到,即除了早餐之外没人知道这些课程.在Scala 2.9中,这个片段实际上是有效的,而早餐函数的返回值被定义为

def breakfast: Egg forSome { type Egg <: java.lang.object with scalaobject{lazy val mother: chicken}; type chicken <

当在函数之外定义的类时,一切都按预期工作

class Chicken(e: => Egg) {
  lazy val offspring = e
}

class Egg(c: => Chicken) {
  lazy val mother = c
}

def breakfast: Egg = {

  lazy val (egg: Egg,chicken: Chicken) =
    (new Egg(chicken),new Chicken(egg))

  egg
}

（编辑：李大同）

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