Scala：一个涉及匿名子类,回调和类型参数的棘手案例

发布时间：2020-12-16 09:52:33 所属栏目：安全来源：网络整理

导读：我甚至不确定如何描述我在做什么,除了一个例子： class Nodeabstract class App { def schema: Node}def bind(app: App,f: Node = Node) { f(app.schema)}val app = new App { val schema = new Node { val child = new Node }}bind(app,_.child) 这不编译.

我甚至不确定如何描述我在做什么,除了一个例子：

class Node

abstract class App {
    def schema: Node
}

def bind(app: App,f: Node => Node) {
    f(app.schema)
}

val app = new App {
    val schema = new Node {
        val child = new Node
    }
}

bind(app,_.child)

这不编译.我得到：错误：值child不是this的成员.来自bind调用的节点.

我不知道如何解决这个问题,但我认为它可能涉及使用参数化类型.我需要f的参数类型是分配给模式的实际Node子类的参数.

编辑：我无法明确命名我的Node子类型,因为在现实生活中我有完整的静态定义节点树,并且命名它们是不切实际的.

解决方法

?ode没有方法子类,所以类App必须保留封闭节点的参数：

abstract class App[N <: Node] {
  def schema: N
}

然后你可以扩展Node以包含child：

class ParentNode extends Node {
  def child = new ParentNode
}

最后你可以把bind写成：

def bind[N <: Node](app: App[N],f: N => N) = {
    f(app.schema)
 }

 val app = new App[ParentNode] {
    val schema = new ParentNode
 }

（编辑：李大同）

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