C #에서 제네릭을 사용한 공분산 반공 분산 이해 문제

다음 C # 코드가 컴파일되지 않는 이유를 이해할 수 없습니다.

보시다시피 IEnumerable<T>매개 변수가있는 (그리고 인터페이스로 T제한됨) 정적 제네릭 메서드 Something이 있으며이 IA매개 변수는 암시 적으로 IEnumerable<IA>.

설명은 무엇입니까? (나는 그것이 작동하지 않는 이유를 이해하기 위해 해결 방법을 검색하지 않습니다).

public interface IA { }
public interface IB : IA { }
public class CIA : IA { }
public class CIAD : CIA { }
public class CIB : IB { }
public class CIBD : CIB { }

public static class Test
{
    public static IList<T> Something<T>(IEnumerable<T> foo) where T : IA
    {
        var bar = foo.ToList();

        // All those calls are legal
        Something2(new List<IA>());
        Something2(new List<IB>());
        Something2(new List<CIA>());
        Something2(new List<CIAD>());
        Something2(new List<CIB>());
        Something2(new List<CIBD>());
        Something2(bar.Cast<IA>());

        // This call is illegal
        Something2(bar);

        return bar;
    }

    private static void Something2(IEnumerable<IA> foo)
    {
    }
}

Something2(bar)줄에있는 오류 :

인수 1 : 'System.Collections.Generic.List'에서 'System.Collections.Generic.IEnumerable'로 변환 할 수 없습니다.

오류 메시지는 정보가 충분하지 않으며 그것은 내 잘못입니다. 미안합니다.

겪고있는 문제는 공분산이 참조 유형에서만 작동한다는 사실의 결과입니다.

지금 "하지만 IA참조 유형입니다" 라고 말하고있을 것입니다 . 네, 그렇습니다. 하지만 당신은 그 말을하지 않았다 T 같다 IA . 당신은 그것이 구현T 하는 유형 이고 값 유형은 인터페이스 를 구현할 수 있다고 말했습니다 . 따라서 공분산이 작동할지 여부를 알 수 없으며이를 허용하지 않습니다.IA

공분산이 작동하도록하려면 컴파일러에게 유형 매개 변수가 인터페이스 제한 조건 class뿐만 아니라 제한 조건 이있는 참조 유형임을 알려야합니다 IA.

오류 메시지는 근본적인 문제이기 때문에 공분산은 참조 유형의 보장을 필요로하기 때문에 변환이 불가능하다는 사실을 말해야합니다.

일반적인 제약 조건에 익숙하지 않은 사람들을위한 코드 예제로 Eric의 훌륭한 내부자 답변을 보완하고 싶었습니다.

다음 Something과 같이 서명을 변경하십시오 . class제약 조건 이 먼저 와야 합니다.

public static IList<T> Something<T>(IEnumerable<T> foo) where T : class, IA