Вариативность будет поддерживаться только безопасным способом - фактически, с использованием уже имеющихся у CLR возможностей. Так что примеры, которые я привожу в книге, попытки использовать a List<Banana>
как List<Fruit>
(или что бы там ни было) все равно не сработают, но несколько других сценариев будут.
Во-первых, он будет поддерживаться только для интерфейсов и делегатов.
Во-вторых, он требует, чтобы автор интерфейса / делегата украсил параметры типа как in
(для контравариантности) или out
(для ковариации). Самый очевидный пример - это то, IEnumerable<T>
что позволяет вам только «извлекать» из него значения - он не позволяет вам добавлять новые. Что станет IEnumerable<out T>
. Это нисколько не вредит безопасности типов, но позволяет, например, возвращать IEnumerable<string>
из метода, объявленного для возврата IEnumerable<object>
.
Контравариантность сложнее привести конкретные примеры использования интерфейсов, но с делегатом это легко. Учтите Action<T>
- это просто представляет метод, который принимает T
параметр. Было бы неплохо иметь возможность беспрепятственно конвертировать, используя Action<object>
как an Action<string>
- любой метод, который принимает object
параметр, будет прекрасен, если string
вместо этого он будет представлен с . Конечно, в C # 2 уже есть ковариация и контравариантность делегатов в некоторой степени, но через фактическое преобразование из одного типа делегата в другой (создание нового экземпляра) - см. P141-144 для примеров. C # 4 сделает это более универсальным и (я полагаю) позволит избежать создания нового экземпляра для преобразования. (Вместо этого это будет ссылочное преобразование.)
Надеюсь, это немного проясняет ситуацию - пожалуйста, дайте мне знать, если это не имеет смысла!