Zależne typy nie działają dla konstruktorów?

Question

typy ścieżek zależne są użyteczne:

trait Sys { 
    type Global 
} 
def foo[S <: Sys](system: S)(global: system.Global) =() 

Dlaczego nie działa to dla konstruktorów?

class Foo[S <: Sys](val system: S)(val global: system.Global) 

Czy robię to po prostu źle?

Answer 1

Wydaje mi się, że to błąd. Edytuj: Znalazłem, to jest SI-5712.

Sekcja §5.3 o 2,9 SLS mówi:

(PS1). . . (psn) to formalne parametry wartości dla podstawowego konstruktora klasy . Zakres formalnego parametru wartości obejmuje wszystkie kolejne sekcje parametrów i szablon t.

Istnieje wyjątek:

Jednak parametr formalny wartość nie może stanowić część rodzajów którejkolwiek z klas dominujących lub członków klasy szablonu t.

Ale ona mówi, że nie może być częścią rodzajów dowolnym klas dominujących lub członków, nie stanowi jakiegokolwiek następujących sekcjach parametrów, więc nie wydaje się zabraniać rodzajów ścieżek zależny między grupy argumentów.

Można obejść ten z wtórnym konstruktora:

class Foo[S <: Sys] private[this]() { 
    def this(system: S)(global: system.Global) = this 
} 

Edycja: Ten wtórny konstruktor obejście nie jest bardzo dobra: wystawienie system lub global stać się bardzo trudne, ponieważ tylko podstawowy konstruktor może zadeklarować val s .

Przykładem z obsadą:

class Foo[S <: Sys] private[this]() { 
    private[this] var _system: S = _ 
    private[this] var _global: system.Global = _ 

    def this(system0: S)(global0: system0.Global) = { 
    this 
    _system = system0 
    _global = global0.asInstanceOf[system.Global] 
    } 

    lazy val global: system.Global = _global 
    lazy val system: S = _system 
} 

Ale to jest coraz okropne. Sugestia @ seni jest znacznie lepsza.