Generics : 왜 컴파일되지 않습니까?

Question

다음 코드가 주어집니다.

class A<T> 
{ 
    internal void Add(T obj) { } 
} 

class C { } 

class B<T> where T : C 
{ 
    public B() 
    { 
    A<T> a = new A<T>(); 
    a.Add(new C()); 
    } 
} 

Add 호출이 컴파일되지 않습니다.

수면 부족 일 수도 있지만 여기에 무엇을 놓치고 있습니까?

T T가 C 유형 인 경우 ( B에 대한 제한 사항에 유의하십시오), 그러면 A<T>가 A<C>과 동등한 이유는 무엇입니까?

Answer 1

B는 D의 유형으로 선언 된 경우 때문에 , 이는 C를 확장하는 클래스가 될 것이고, 새로운 C를 추가하면 그 타입을 위반하게 될 것입니다.

Answer 2

T는

당신이 목록에 동물 밥 = 새로운 물고기()를 추가 할 수 없습니다 C.

의 하위 클래스가 될 수 있기 때문에 < 기린 >

Answer 3

A.Add()은 T이 필요합니다. 당신은 그것에게 C을주고 있습니다. 컴파일러가 C이 T이라는 것을 알고있는 한 괜찮습니다.

하지만 그건 제약 조건이 말하는 것이 아닙니다. T은 C이며 그 반대입니다.