C# generic 제약 조건에서 '수퍼 유형'관계를 지정할 수 있습니까?

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

아니요, 그런 제약을 지정할 수 없습니다. (나는 경우에도 그것을 원했다.)

당신하지만 비 제네릭 클래스에서 두 개의 형태 파라미터를 가지는 정적 일반적인 방법을 쓸 수 :

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 클래스로 지정하려면 generics는 필요하지 않지만 매개 변수의 형식 유형으로 U를 사용하십시오. 그리고 거기에 polimorfism가 시작됩니다! :)

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>을 사용하는 것이 좋습니다 명명 된 위임자