scala - 抽象成员类型的值

Question

我正在尝试使用这种代码:

trait Outer {
  type Inner

  def f(x:Inner) : Void 
}

object test {
  def apply(o: Outer, i : Outer#Inner) : Void = 
    o.f(i)
}

最后一行出错了:

type mismatch; found : i.type (with underlying type Outer#Inner) required: o.Inner

如果我将申请的签名更改为

def apply(o: Outer, i : o.Inner) : Void

然后我得到一个错误:

illegal dependent method type

是否有可能让这段代码工作？

Answer 1

您可以利用依赖于方法的类型(参见 What are some compelling use cases for dependent method types? 示例)。这将要求您使用 2 个参数列表:

trait Outer {
  type Inner
  def f(x:Inner): Unit 
}

object test {
  def apply( o: Outer )( i : o.Inner) { o.f(i) }
}