구속 유형 매개 변수는

Question

나는 또 다른 유형의 하위이 될 수있는 형식 매개 변수를 강제하는 방법을 알고 다른 타입의?

public interface IMapping<T2> 
{ 
    public void IncludeMappingOf<T1>() 
     where T2 : T1; // <== doesn't work 
} 
... 

var mapping = MapManager.Find<Truck>(); 

// Truck inherits Vehicle  
// Would like compiler safety here: 
mapping.IncludeMappingOf<Vehicle>(); 

mapping.Serialize(new TonkaTruck()); 

현재, 나는 IncludeMappingOf 내부 IsSubclassOf를 사용하여 런타임에 T1 및 T2를 비교하는 데 문제가 있습니다. 컴파일에 안전한 솔루션이 바람직합니다. 어떤 아이디어?

편집 : 예를 덜 디자인 적으로 변경했습니다.

참고 : 참고 : 연결된 질문은 매우 유사하지만 적합한 대답은 제공되지 않습니다. 바라기를이 질문은 저것에 또한 어떤 빛을 비춰 줄 것이다.

EDIT # 2 :

간단한 예 :

public class Holder<T2> 
{ 
    public T2 Data { get; set; } 

    public void AddDataTo<T1>(ICollection<T1> coll) 
     //where T2 : T1 // <== doesn't work 
    { 
     coll.Add(Data); // error 
    } 
} 

... 
var holder = new Holder<Truck> { Data = new TonkaTruck() }; 
var list = new List<Vehicle>(); 
holder.AddDataTo(list); 

컴파일러 : 인수 유형 'T2'는 타입 'T1'을 파라미터에 할당 아니다. 예, 필자는 T2가 매개 변수 유형 T1에 할당 가능한 경우 만 허용하도록 컴파일러를 얻으려고합니다.

Answer 1

확장 방법을 사용하여 원하는대로 가깝게 이동할 수 있습니다.당신 홀더 예제를 사용하여이 될 것이다 :

var holder = new Holder<Truck> { Data = new TonkaTruck() }; 
var list = new List<Vehicle>(); 
holder.AddDataTo(list); 

매핑 예는이 인터페이스는 사실에 의해 복잡 : 다음 오류없이 컴파일하는 코드를 호출하여 예를 허용

public class Holder<T2> 
{ 
    public T2 Data { get; set; } 
} 

public static class HolderExtensions 
{ 
    public static void AddDataTo<T2, T1>(this Holder<T2> holder, ICollection<T1> coll) 
     where T2 : T1 
    { 
     coll.Add(holder.Data); 
    } 
} 

합니다. 기존 인터페이스에서 확장 메소드를 구현할 방법이 없으면 인터페이스에 구현 메소드를 추가해야 할 수도 있습니다. 즉, 런타임 검사가 여전히 필요하지만 호출자는 올바른 구문을 가져 와서 시간 검사를 컴파일 할 수 있습니다.

public interface IMapping<T2> 
{ 
    void IncludeMappingOf(Type type); 
} 

public static class MappingExtensions 
{ 
    public static void IncludeMappingOf<T2, T1>(this IMapping<T2> mapping) 
     where T2 : T1 
    { 
     mapping.IncludeMappingOf(typeof(T1)); 
    } 
} 

불행히도이의 IncludeMappingOf 유형 T1의 매개 변수 때문에 유형 매개 변수를 추론 할 수없는 : 그건 뭔가처럼 될 것입니다. 당신은 그것을 호출 할 때 두 가지 유형을 지정하는 강제 : 종종 매개 변수 나 유창하게하는 API 인 방법/클래스 매개 변수 (예 : truckMapping.IncludeMappingOf(vehicleMapping)), 변화를 포함하도록 API를 변경하여 해결할 수 있습니다

var mapping = MapManager.Find<Truck>(); 
mapping.IncludeMappingOf<Truck, Vehicle>(); 
mapping.Serialize(new TonkaTruck()); 

체인 (즉, mapping.Of<Vehicle>().Include())을 생성합니다.

Answer 2

선언 모두 일반적인 유형과 클래스 (인터페이스)에서 일반 제약 수준 :

public interface IMapping<T1, T2> where T2 : T1 
{ 
    void IncludeMapping(IMapping<T1, T2> otherMapping); 
} 

Answer 3

w0lf의 대답은 직접 솔루션을 제공하는 동안, 나는 몇 가지 배경 설명을주고 싶다.

당신은

class C<A> where A : B 

또는

void F<A>() where A : B 

형태 A : B의 제약 같은 클래스, 인터페이스, 방법 등의 제네릭 형식 매개 변수의 하나로서 A이 있어야 쓸 때 선언되고있다.

콜론 오른쪽에 현재 선언의 제네릭 형식 매개 변수를 배치 했으므로 (건너 뜁니다.) 이 아닌입니다. 이는 일반 형식 매개 변수를 콜론의 왼쪽에있는 외부 선언 (현재 선언이 아닌).

당신이 어떤 선언에 제약 A : B을 형성하려면

는 A 그 선언에 도입되어야하며 A의 범위는 B의 범위보다 작거나 같아야합니다. 이것이 실용적인 언어 제한 인 이유는 임의의 제네릭 형식 매개 변수 T에 대해 T 형식의 제약 조건에 대한 설명을 T이 소개되는 단일 선언으로 분리하기 때문입니다.