は、ライターなどのOutputStream

Question

を取ることができ、一般的な機能を書く私はこのように見える機能のカップルを書いた：

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

は今、両方の非常に類似しており、私は、単一の書き込みしようと思いました関数のパラメータ化されたバージョン。

私は、JavaのOutputStreamとWriterで共通している二つの方法とタイプを開始しました：

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

1つの問題は、OutputStreamのはByteを書き込み、WriterはCharを書き込んということですので、私はTとタイプをパラメータ化。

その後、私は私の関数を書く：

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

し、それを使用しよう：

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

結果：

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

私はパラメータの型と他のいくつかの組み合わせを試してみました、これまでのところ役に立たない。

私の質問は、これを達成するための方法があるかどうか、もしそうならば。

（それは新しいArrayTのようにバッファを作成する必要があるためmyWriteの実装は、write（）メソッドをparametrizesタイプTを知るために、内部的に、必要になることに注意してください。）

UPDATE： "をhttps://lampsvn.epfl.ch/trac/scala/ticket/2672

Answer 1

これは動作します：

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

ので、あなたはこれが働くと思うだろう...：

をコンパイラのバグがあるため、正しい」解決策は動作しません。 210

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

...ですが、そうではありません。私はどうしていいのか分かりません：

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

どこから来ていませんか？

Answer 2

まず、AをmyWriteにパラメータ化する必要はありません。ターゲットクラスは一般的ではありません！第二に、サブクラスを明示的に許可する必要はありません。継承はあなたのためのトリックとなります。

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

この方法では、タイプTを推論できます。限り、あなたはいくつかの理由でもAの真のタイプを必要としないように、これはあなたのために動作します：

myWrite(new StringWriter) 

をただし、あなたが問題に実行するつもりだ：

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

問題は、これが汎用コードだということです。それは何であるかもしれないTが何であるかわからない！だから、Tを識別する情報を渡すようにコンパイラに指示する必要があります：

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

（編集：それは実際に動作させるために答えを簡素化）

---

（編集：実際には、それはdoesnの