C＃汎用制約で 'スーパータイプ'の関係を指定できますか？

Question

私は、Equalsメソッドを持つコレクションクラスを持っています。これは、各アイテム間の等価チェックを行うメソッドで渡したいものです。

public delegate bool EqualityComparer<T>(T x, T y); 

public class Collection<T> 
{ 
    //... 

    public bool Equals<U>(Collection<T> other, EqualityComparer<U> eq) where T : U 
    { 
     // code using eq delegate to test equality between 
     // members of this and other collection 
    } 
} 

残念ながら、コンパイラは（「Collection.Equals（）」「Tを型パラメータを定義していない、この上borks：さらに、私は、デリゲート型はTそのものだけでなく、Tのスーパークラスを操作できるようにしたいです'）。このタイプの制約/操作を指定する方法はありますか？

Answer 1

いいえ、私はあなたがそのような制約を指定することはできません。 （私は機会にもそれを望んでいたしました。）

あなたしかし非ジェネリッククラスの2種類のパラメータを持つ静的ジェネリックメソッドを書くことができ：

public delegate bool EqualityComparer<T>(T x, T y); 

public class Collection 
{ 
    public static Equals<T, U>(Collection<T> first, 
           Collection<T> second, 
           EqualityComparer<U> comparer) where T : U 
    { 

    } 
} 

あなたもその呼び出しを作ることができますジェネリッククラスのインスタンスメソッドあなたが好きなら：

コレクションのインスタンスメソッドがちょうどだろう

// Implementing the static method: 
return first.Equals(second, new EqualityComparer<T>(comparer)); 

：

public bool Equals(Collection<T> other, EqualityComparer<T> eq) 
{ 
    // ... 
} 

これは、で利用可能な逆変則を使用して、C＃2以降の代理人を作成します。

Answer 2

明示的にtypeパラメータをUの継承クラスにする場合は、ジェネリックは必要ありませんが、パラメータの正式な型としてUを使用します。そしてそこにポリモフィズムがキック！ :)

Answer 3

Jonは、クラスレベルで宣言されているので、制約の範囲内でTを参照することはできないと述べました。あなたは、コレクションのプライベート状態にアクセスすることなくメソッドを書くことができた場合は

（またはそれらの内部である）あなたがそうのように書き換えることができます。

public class Collection<T> 
{ 
    ... 
} 

public static class CollectionExtentions 
{ 
    public static bool Equals<T,U>(
      this Collection<T> first, 
      Collection<T> other, 
      EqualityComparer<U> eq) where T : U 
    { 
      ... // legal to use eq here on the T values with collections 
    } 
} 

をちなみに私はあなたがあなた自身ではなくFunc<T,T,bool>を使用することをお勧め名前付きデリゲート