Scalaの共変の型宣言はexlplicitly

Question

を上限を繰り返す必要があり、私はこのようになります特色があります：「私はできる、私はprocess[D >: T](doc: D)でprocessメソッドを宣言すると

trait Processor[+T <: Document] { 
    def process[D >: T <: Document](doc: D) 
} 

をDocumentクラスのメソッドにアクセスしないでください。

私はprocess方法では、<: Document、上限を繰り返す必要がない理由を私は知りません。

ので、二つの質問：

1. これは、使用されることになっています方法は何ですか？
2. なぜ型システムは特性定義から上限を自動的に取り上げませんか？

Answer 1

ではなく、Dに上限があります。その上限を置かないとしたら、Dは、Tも、たとえばAnyであることがあります。したがって、コンパイラはDがAnyであると仮定しなければならないため、さらに多くのメソッドを提供することはできません。