In scala, warum Typ Alias ​​in einer Klasse kann nicht für die Vererbung verwiesen werden?

Question

Ich habe definiert die folgenden Klassen:

Datei: PyRef.scala:

package mypackage 
class PyBinding() { 
... 
} 

trait PyRef { 

    type Binding = PyBinding 
} 

Datei: Link.scala:

class Link() extends PyRef { 

    override type Binding = Link.PyBindingImpl 
} 

object Link { 
    class PyBindingImpl() extends PyRef#Binding() { 
    } 
} 

In Zusammenstellung wurde der folgende Fehler ausgelöst:

Error:(222, 34) class type required but mypackage.PyBinding found 
       ) extends PyRef#Binding() { 

Warum passiert das und was soll ich tun, um es zu umgehen? Ich benutze Scala 2.10.

Answer 1

Ich glaube nicht, dass Sie Typ-Projektionen A#B in Scala als instanziatable Klassenarten verwenden können. Die folgenden zwei Dinge funktionieren

trait Link { 
    class PyBindingImpl() extends PyBinding() 
} 

trait Link { 
    val ref: PyRef 

    class PyBindingImpl() extends ref.Binding() 
}