eine generische Funktion zu schreiben, die ein Schriftsteller sowie ein Output

Question

Ich schrieb ein paar Funktionen übernehmen können, die wie folgt aussehen:

def myWrite(os: OutputStream) = {} 
def myWrite(w: Writer) = {} 

Nun sind beide sehr ähnlich sind, und ich dachte, ich würde versuchen, einen einzigen zu schreiben parametrisierte Version der Funktion.

ich mit einem Typ mit den beiden Methoden begonnen, die in der Java Output und Writer gemeinsam sind:

type Writable[T] = { 
    def close() : Unit 
    def write(cbuf: Array[T], off: Int, len: Int): Unit 
} 

Ein Problem ist, dass Output schreibt Byte und Verfasser schreiben Char, so parametrisiert ich den Typen mit T.

Dann schreibe ich meine Funktion:

def myWrite[T, A[T] <: Writable[T]](out: A[T]) = {} 

und versuchen, es zu benutzen:

val w = new java.io.StringWriter() 
myWrite(w)       

Ergebnis:

<console>:9: error: type mismatch; 
found : java.io.StringWriter 
required: ?A[ ?T ] 
Note that implicit conversions are not applicable because they are ambiguous: 
both method any2ArrowAssoc in object Predef of type [A](x: A)ArrowAssoc[A] 
and method any2Ensuring in object Predef of type [A](x: A)Ensuring[A] 
are possible conversion functions from java.io.StringWriter to ?A[ ?T ] 
     myWrite(w) 

ich ein paar andere Kombinationen der Typen und Parameter versucht, Bis jetzt vergeblich.

Meine Frage ist, ob es einen Weg gibt, dies überhaupt zu erreichen, und wenn ja wie.

(Beachten Sie, dass die Umsetzung von myWrite benötigt, intern, um den Typ zu wissen T, die die Methode write() parametrisiert, weil es einen Puffer wie in neuen ArrayT erstellen muss.)

UPDATE: Der " richtige“Lösung funktioniert nicht, weil ein Fehler in dem Compiler: https://lampsvn.epfl.ch/trac/scala/ticket/2672

Answer 1

Dies funktioniert:

myWrite(w.asInstanceOf[Writable[Char]]) 

... so würden Sie denken, dies funktionieren würde:

implicit def wrToWr(w:java.io.Writer): Writable[Char] = w.asInstanceOf[Writable[Char]] 

... aber es nicht. Ich habe keine Ahnung warum nicht:

scala> myWrite(w) 
<console>:17: error: type mismatch; 
found : java.io.StringWriter 
required: Nothing 
     myWrite(w) 
      ^

Woher kommt nichts?

Answer 2

Zuerst müssen Sie A in myWrite nicht parametrieren. Ihre Zielklassen sind nicht generisch! Zweitens müssen Sie Unterklassen nicht explizit zulassen - lassen Sie einfach die Vererbung für Sie tun.

def myWrite[T](out: Writable[T]) = {} 

Jetzt kann die Methode den Typ T ableiten. Solange Sie aus irgendeinem Grund nicht auch die wahre Art von A müssen, wird dies für Sie arbeiten:

myWrite(new StringWriter) 

aber Sie gehen in ein Problem laufen:

def myWrite[T](out: Writable[T]) = new Array[T](0) // Doesn't work! 

Das Problem ist, dass dies ein generischer Code ist.Es weiß nicht, was T ist - es könnte alles sein! So müssen Sie den Compiler sagen, in Informationen zu übergeben, die T identifiziert:

def myWrite[T : ClassManifest](out: Writable[T]) = new Array[T](0) 

(Edit:. Vereinfacht die Antwort, damit es funktioniert tatsächlich)

---

(Edit: tatsächlich, es doesn‘ t ziemlich Arbeit - siehe Kommentare.)