Использование зависимого от пути типа в качестве параметра класса

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) 
} 

Answer 2

Относительно того, почему путь в зависимости от типа не работают в классе первичного конструктора ответ дан в раздел 5.3 спецификации Scala языка:

a formal value parameter may not form part of the types of any of the parent classes or members of the class template

(хотя, кажется, что «члены шаблона класса» означает только члены, определенные в секциях параметров конструктора).

Но класс может иметь дополнительные конструкторы, которые делают возможным написать обходной путь, который не нуждается в дополнительных слепки и объекты:

class F private (val conf: Compiler#Config, val c: Compiler) { 
    def this(c: Compiler)(conf: c.Config) = this(conf, c) 
}