C#: Является различие (Ковариантность / Контравариантность) другим словом для Полиморфизма?

Спасибо за все приветствия, ребята.

Ответы Джона и Расмуса прекрасны, я бы просто добавил небольшое техническое примечание.

Если говорить небрежно и неформально, да, люди используют термины «ковариация» и «контравариантность» для обозначения определенного вида полиморфизма. То есть вид полиморфизма, при котором вы относитесь к последовательности пауков, как если бы это была последовательность животных.

Если бы мы полностью овладели компьютерными науками и попытались дать более технические определения, я бы, вероятно, не сказал, что ковариация и контравариантность являются «своего рода полиморфизмом». Я бы подошел к более техническому определению, например так:

Во-первых, я хотел бы отметить, что в C # есть два возможных типа полиморфизма, о которых вы, возможно, говорите, и важно не путать их.

Первый тип традиционно называется «специальный полиморфизм», и это полиморфизм, в котором у вас есть метод M (Animal x), и вы передаете ему пауков, жирафов и валлаби, и метод единообразно обрабатывает его переданные аргументы аналогичным образом, используя общие черты, гарантированные базовым классом Animal.

Второй тип традиционно называется «параметрическим полиморфизмом» или «универсальным полиморфизмом». Это возможность создать общий метод M (T t) , а затем иметь кучу кода в методе, который снова обрабатывает аргумент единообразно на основе общностей, гарантированных ограничениями на T.

Я думаю, вы говорите о первом виде полиморфизма. Но я хочу сказать, что мы можем определить полиморфизм как способность языка программирования одинаково относиться к различным вещам на основе известной общности. (Например, известный базовый тип или известный реализованный интерфейс.)

Ковариация и контравариантность - это способность языка программирования использовать преимущества общих черт между универсальными типами, выведенных из известных общих черт их аргументов типа.

Вы можете подумать о ко- и контравариантности как о продвинутой форме полиморфизма. Вы можете не только использовать дочерний класс, как если бы он был его родительским классом, с ко- и контравариантностью, полиморфизм распространяется на классы, которые относятся к полиморфным классам.

Представьте себе два класса:

public class Pet { /*...*/ }
public class Cat:Pet { /*...*/ }

Полиморфизм способен использовать Cat в качестве Pet :

void Feed(Pet pet) { /* ... */ }

Cat cat = ...
Feed(cat);

Ко- и контравариантность используется, чтобы говорить о возможности использования ICollection в качестве ICollection (ковариация):

void FeedAll(ICollection<Pet> pets) { /* ... */ }

List<Cat> cats = ...
FeedAll(cats);

или использовать Action как Action (контравариантность):

Action<Pet> GetFeeder() { /* ... */ }

Action<Cat> feeder = GetFeeder();

Эрик Липперт написал об этом отличную серию блогов, когда они впервые разрабатывали эту функцию. Часть первая здесь .

Я думаю, что это особый вид полиморфизма, а не иначе. Это полиморфизм в делегатах , где делегат с возвращаемым типом base может принимать дочерний тип.

Думаю, это зависит от того, как вы используете Qt. Если вы используете его во всем своем продукте, вероятно, имеет смысл использовать контейнеры Qt. Если вы используете его только (например) для части пользовательского интерфейса, возможно, лучше использовать стандартные контейнеры C ++.

Ковариация и контравариантность в C #, часть десятая: работа с неоднозначностью

Ковариация и контравариантность, часть одиннадцатая: до бесконечности, но не дальше