공분산 vs. 비공개 : 이러한 개념은 프로그래밍에서 어떻게 다릅니 까?

공분산 및 비밀화 : 프로그래밍의 명확한 구별

공분산 및 비밀화는 유형 관계가 기능 매핑 및 데이터 구조 입력/출력 유형에 미치는 영향을 정의하는 프로그래밍의 기본 개념입니다. 본질적으로, 공분산은 할당 가능성 방향을 보존하는 반면, 비결정은이를 뒤집습니다 공분산 : 할당 가능성 유지 유형 세트로 설명하자 :

매핑 t → ienumerable

는 할당 가능성을 유지합니다.

가 의 하위 유형이라면

도 의 하위 유형입니다. 이것은 컨테이너 유형에서 일반적이며, 여기서 서브 타입은 포함 된 요소에 적용됩니다. 분열 : 반전 할당 가능성 이제,이 유형 세트를 고려하십시오 :

매핑 t → icompary

반전 할당 가능성.

가 의 슈퍼 유형이라면

<code>{ Animal, Tiger, Fruit, Banana }
{ IEnumerable<Animal>, IEnumerable<Tiger>, IEnumerable<Fruit>, IEnumerable<Banana> }</code>

는 의 하위 유형입니다. 이는 비밀화 유형이 특정 또는 관련 유형의 입력 매개 변수를 관리하는 기능 유형에서 자주 관찰됩니다. 주요 차이점

공분산은 할당 가능성 방향을지지합니다. 하위 유형 값은 함수 입력 및 출력 모두에서 초형 값에 할당 될 수 있습니다. 대조적으로, 불안정은 할당 가능성을 역전시켜 입력 매개 변수의 하위 유형 값에 대한 슈퍼 유형 값 할당을 가능하지만 출력에 있지는 않습니다. .

위 내용은 공분산 vs. 비공개 : 이러한 개념은 프로그래밍에서 어떻게 다릅니 까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!