Question

我要限定一种内地海峡的方法,只有外壳的子流能进入。例如:

trait Tree[A] {
  trait TNode {
    final def prevOption: Option[TNode] = Option(prev)
    protected[Tree] def prev: TNode // !
  }

  def test(n: TNode): Option[TNode] = Option(n.prev)
}

我如何修改<代码>前的限定词,以便:do 汇编:

trait TreeImpl[A] extends Tree[A] {
  def test2(n: TNode): Option[TNode] = Option(n.prev)
}

http://www.strong.org。汇编:

def test3[A](t: Tree[A]#TNode) = t.prev

(也就是说,公共<代码>def prev:TNode不是选择。)

Answer 1

这似乎是不可能的。

可能的工作是树上的一种受保护的取用方法,如(我消除了某些障碍,使代码更加清晰):

trait Tree {
    trait TNode {
        private[Tree] def prev : TNode
    }
    protected final def prevAccessor(n: TNode) = n.prev
    def test( n: TNode ) = n.prev
}

trait TreeImpl extends Tree {
    def test2( n: TNode ) = prevAccessor(n)
}

友情链接