가 C# 4.0 튜플 공변

Question

(나 자신이 체크 아웃,하지만 나는 아직 VS2010을 (없는))

내가이 기본 인터페이스가 말 : 실현

IBaseModelInterface 
IBaseViewInterface 

그리고 2 인터페이스를 그 :

ISubModelInterface : IBaseModelInterface 
ISubViewInterface : IBaseViewInterface 

나는 Tuple<IBaseModelInterface, IBaseViewInterface> 내가 설정하려는 정의하면 그 Tuple<ISubModelInterface, ISubViewInterface>를 반환하는 공장의 결과에 따라.

C# 3에서는 하위 인터페이스가 기본 인터페이스를 인식하더라도이 작업을 수행 할 수 없습니다. 그리고 이제 공진을 허용하기 위해 in 키워드로 정의 되었기 때문에 C# 4에서 IEnumerable<IBaseModelInterface>을 사용하는 경우이 작업을 수행 할 수 있습니다. 그럼 Tuple 내가 이것을 할 수 있습니까?

내가 이해하는 바에 따르면, 공분산은 인터페이스에만 허용되므로 ITuple<T1, T2> 인터페이스가 있어야한다는 의미입니까? 이것이 존재합니까?

Answer 1

Tuple은 클래스 (음, 클래스 계열)입니다. 정의에 따라 변하지 않습니다. 나중에 언급했듯이 인터페이스 및 대리자 형식 만 .NET 4의 일반적인 분산을 지원합니다.

내가 알고있는 ITuple 인터페이스가 없습니다. 튜플은 불변이므로 API의 값을 "꺼내"얻을 수 있기 때문에 공변 (covariant)이 될 수 있습니다.

Answer 2

튜플에서 상속하여 자신 만의 공변량 튜플을 만들 수 있습니다. 이렇게하면 자신의 평등 논리를 다시 작성하지 않아도됩니다.

public interface ICovariantTuple<out T1> 
{ 
    T1 Item1 { get; } 
} 
public class CovariantTuple<T1> : Tuple<T1>, ICovariantTuple<T1> 
{ 
    public CovariantTuple(T1 item1) : base(item1) { } 
} 

public interface ICovariantTuple<out T1, out T2> 
{ 
    T1 Item1 { get; } 
    T2 Item2 { get; } 
} 
public class CovariantTuple<T1, T2> : Tuple<T1, T2>, ICovariantTuple<T1, T2> 
{ 
    public CovariantTuple(T1 item1, T2 item2) : base(item1, item2) { } 
} 

etc.... for 3, 4, 5, 6, 7, 8 items 

컴파일 실패

Tuple<Exception> item = new Tuple<ArgumentNullException>(null); 

컴파일 성공

ICovariantTuple<Exception> item = new CovariantTuple<ArgumentNullException>(null); 

There is no base Tuple after 8 items

,하지만 충분합니다.