왜 ReadOnlyCollection에는 공분산이 허용되지 않습니까? 이 코드가 작동

Question

이유는 Enumerator 컬렉션 수정할 수 없습니다 때문이다 : 우리가 List<object>과 같은 일을하려고하면 IEnumerable<object> 대신,

var roList = new List<string>() { "One", "Two", "Three" }; 
IEnumerable<object> objEnum = roList; 

을, 우리는 컴파일러 오류 텔링을 얻을 것 암시 적으로 유형 List<string>을 List<object>으로 변환 할 수 없습니다. 좋아, 저것은 이해가된다. 그리고 나의 의견으로는, 배열로부터 배웠던 교훈으로서 마이크로 소프트에 의한 좋은 결정이었다.

그러나 내가 알 수없는 것은 세계에서이 강경론 규칙이 ReadOnlyCollection과 같은 것에 적용되는 이유는 무엇입니까? ReadOnlyCollection의 요소를 수정할 수 없으므로 Microsoft에서 안전을 고려했을 때 읽기 전용 인 것과 함께 공분산을 사용하지 못하게했을 수 있습니다. 포인터를 통해 Microsoft가 고려하려고했던 컬렉션 유형을 수정할 수있는 방법이 있습니까?

Answer 1

분산 및 반공립은 클래스가 아닌 인터페이스 및 델리게이트에서만 작동합니다.

그러나, 당신은 할 수있다 (.NET 4.5을 사용하여) :

ReadOnlyCollection<string> roList = ... 
IReadOnlyCollection<object> objects = roList; 

---

하는 분산이 클래스에서 허용되지 않는 이유에 대한 질문에 대답하기 위해 (IReadOnlyCollection<T>는 공변이기 때문이다) 여기 그의 책 C# in Depth (제 2 판, §13.3.5, 394 페이지)의 Jon Skeet의 설명이 있습니다.

전용 인터페이스 및 대리자 변형 유형 파라미터를 가질 수 CLASSES IN TYPE 파라미터는

NO VARIANCE 없다. 심지어 입력에 대해서만 형식 매개 변수를 사용하는 클래스가 있거나 이 출력용으로 만 사용하는 클래스 인 경우 in 또는 out 수정자를 지정할 수 없습니다. 예를 들어 Comparer<T> 인 경우 IComparer<T>의 일반적인 구현은 변하지 않습니다. Comparer<IShape>에서 Comparer<Circle>으로 변환되지 않습니다.

이 발생했을 수있는 구현상의 어려움 외에도 개념적으로는 일정한 의미를 지닌다고 할 수 있습니다. 인터페이스는 특정 관점의 객체를 보는 방법을 나타내지 만 클래스는 객체의 실제 유형에 뿌리를두고 있습니다. 이 인수는 상속에 의해 객체를 클래스의 인스턴스로 처리하게하여 다소 약화됩니다. 상속 계층 구조입니다. 어느 쪽이든, CLR은 을 허용하지 않습니다.