C#에서 파생 유형에서 기본 제네릭 유형으로의 캐스팅이 실패하는 이유는 무엇입니까?

파생 유형에서 기본 제네릭 유형으로 캐스팅: 비호환성 조사

C#에서 제네릭 유형에 대한 상속 모델은 종종 다음에 대한 질문으로 이어집니다. 파생 유형에서 기본 유형으로 캐스팅. 이 쿼리는 기본 복잡성과 파생 클래스에서 기본 클래스로의 간단한 캐스팅이 실패할 수 있는 이유를 탐색합니다.

캐스팅의 수수께끼

다음 코드 조각을 고려하세요.

public abstract class EntityBase { }
public class MyEntity : EntityBase { }

public abstract class RepositoryBase<T> where T : EntityBase { }
public class MyEntityRepository : RepositoryBase<MyEntity> { }

이제 문제가 되는 부분을 살펴보겠습니다. line:

MyEntityRepository myEntityRepo = GetMyEntityRepo(); // whatever
RepositoryBase<EntityBase> baseRepo = (RepositoryBase<EntityBase>)myEntityRepo;

이 코드를 실행하면 런타임 예외가 발생합니다. 이 캐스팅 시도가 실패하는 이유는 무엇입니까?

일반 변형: 호환성의 환상

직관적으로 MyEntityRepository와 같은 파생 클래스도 해당 기본 유형이라고 가정할 수 있습니다. 클래스, RepositoryBase. 그러나 제네릭 영역에서는 이 가정이 항상 유효한 것은 아닙니다.

제네릭 변형은 제네릭 유형이 해당 유형 매개변수를 다소 파생된 유형으로 대체할 수 있는 능력을 나타냅니다. 불행하게도 C#은 특정 특정 시나리오에서 제한된 변형만 지원합니다.

이 예에서 RepositoryBase MyEntityRepository의 기본 클래스가 아닙니다. 이는 유형 매개변수 T가 기본 유형과 관련하여 공변 또는 반공변이 아니기 때문입니다.

공분산: 일방적 여정

공분산을 사용하면 일반 클래스가 다음을 참조할 수 있습니다. 기본 클래스보다 더 파생된 유형 매개변수입니다. 이는 일반 유형이 값을 반환하기 위해 해당 유형 매개변수만 사용하는 특정 상황에서 허용됩니다. 그러나 여기서는 그렇지 않습니다.

반공변성: 오르막길

반면에 반공변성은 일반 유형이 덜 파생된 유형 매개변수를 사용할 수 있도록 허용합니다. 값을 받아들일 때 기본 클래스보다. 그러나 이는 이 맥락에서는 적용되지 않습니다.

일반 안전 보호

일반 변형이 없으면 파생 유형에서 기본 유형으로 캐스팅하면 예상치 못한 결과가 발생할 수 있습니다. 동작 및 잠재적인 런타임 오류. 예를 들어, RepositoryBase 클래스에는 EntityBase 유형의 엔터티에서만 작동할 수 있는 메서드가 있었고 MyEntityRepository를 RepositoryBase로 캐스팅했습니다. 잘못된 연산이 허용될 수 있습니다.

캐스팅 함정 방지

제네릭 유형 간에 캐스팅해야 하는 경우 제네릭 분산의 한계를 이해하는 것이 중요합니다. 이러한 함정을 피하려면 기본 클래스에서 파생 클래스로 명시적 캐스팅을 도입하거나 팩토리 메소드 또는 브리지 패턴과 같은 대체 디자인 패턴을 사용하는 것이 좋습니다.

위 내용은 C#에서 파생 유형에서 기본 제네릭 유형으로의 캐스팅이 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!