scala - 使用依赖于路径的类型作为类参数

Question

我想要一个类，它接受一个依赖于类的类型的参数，就像我经常为方法所做的那样。然而，令我惊讶的是，这不起作用:

scala> trait Compiler { trait Config }
defined trait Compiler

// works fine, as expected
scala> def f(c: Compiler)(conf: c.Config) = {}
f: (c: Compiler)(conf: c.Config)Unit

scala> class F(val c: Compiler)(val conf: c.Config)
<console>:8: error: not found: value c
       class F(val c: Compiler)(val conf: c.Config)
                                          ^

为什么？有什么解决方法吗？

Answer 1

一个似乎可以接受的解决方法(不能创建无效的 F 没有额外的强制转换):

class F private (val c: Compiler)(_conf: Compiler#Config) {
  def conf = _conf.asInstanceOf[c.Config]
}

object F {
  def apply(c: Compiler)(conf: c.Config) = new F(c)(conf)
}