Scala：ジェネリッククラスの型パラメータの要件を作成するには？

Question

私はいくつかのパラメータ化されたクラスC [T]を作成しています。私は、T型の特性のいくつかの要件を自分のクラスのパラメータにできるようにしたいと考えています。私は、Tが特質やクラスから継承されていると言いたいのは簡単です（Orderingと同様）。しかし、私はそれもいくつかの機能を実装したい。

たとえば、私は多くの事前定義された型がMinValueとMaxValueを実装しているのを見てきました。暗黙の関数を定義するだけのアドバイスを受けました。しかし、すでに実装されている場合、すべてのユーザーがこれらの機能を実装することを義務づけられたのは嫌です。私も自分のコードでそれらを実装することができますが、それはちょうど貧弱な迅速な修正であるようです。

たとえば、ヒープを定義するときに、ユーザーが空のヒープを作成できるようにしたいと考えています。これらのケースでは、タイプTが持つ可能性のある最小値で値を定める必要があります。明らかにこのコードは動作しません。

class Heap[T](val value:T,val heaps:List[Heap[T]]){ 
    def this()=this(T.MinValue,List()) 
} 

また、本当に良いオンラインのScala 2.8リファレンスについてのアドバイスを受けたいと思います。

Answer 1

いくつかの方法を共有しているため、すべてが緩やかに関連しています（戻り値の種類は異なりますが）。確かに、私にとってはアドホック多形性のように聞こえるよ！

型クラスのロール...

class HasMinMax[T] { 
    def maxValue: T 
    def minValue: T 
} 

implicit object IntHasMinMax extends HasMinMax[Int] { 
    def maxValue = Int.MaxValue 
    def minValue = Int.MinValue 
} 

implicit object DoubleHasMinMax extends HasMinMax[Double] { 
    def maxValue = Double.MaxValue 
    def minValue = Double.MinValue 
} 

// etc 

class C[T : HasMinMax](param : T) { 
    val bounds = implicitly[HasMinMax[T]] 
    // now use bounds.minValue or bounds.minValue as required 
} 

UPDATE

[T : HasMinMax]表記はをバインド文脈で、ためにシンタックスシュガーです：

class C[T](param : T)(implicit bounds: HasMinMax[T]) { 
    // now use bounds.minValue or bounds.minValue as required 
} 

Answer 2

あなたはタイプの境界を使用することができ、次のいずれか

trait Base 

class C[T <: Base] 

Baseのサブタイプである任意のタイプTでパラメータ化することがCを可能にします。

それとも、要件表現するために、暗黙のパラメータを使用することができます。

trait Requirement[T] { 
    def requiredFunctionExample(t: T): T 
} 

class C[T](implicit req: Requirement[T]) 

をあなたがそれらをパラメータ化したいTタイプのRequirement形質の実装が存在する場合はこのように、クラスCのオブジェクトのみを構築することができます。さまざまなタイプのTの実装をRequirementに配置することができます。これにより、対応するパッケージがインポートされるたびにスコープに配置されます。