contravariance

На этот вопрос уже есть ответ здесь: Java Generics (Wildcards) 7 ответов List > vs List расширяет карту > 5 ответов Я...

Я новичок в typescript, и я нахожу что-то неожиданное в поведении типа ковариации/контра-дисперсии. Вот фрагмент кода: interface Func1 { (): { prop1: string } } // assignment similar to covariance var f1: Func1 = function () { return { prop1: "", prop2: 0 }; } interface Func2 { ({prop1: string, p...

У меня есть следующие интерфейсы: public interface IModel { ModelTypes ModelType { get; } // ModelTypes is an enum } public interface IModelConverter<T> { byte[] ToBytes(T model); } Кроме того, у меня есть 3 реализации IModel: ModelA,ModelB,ModelC, и следующие классы: public class ModelAC...

Я столкнулся с ними в учебнике, который читаю на C#, но мне трудно понять их, вероятно, из-за отсутствия контекста. Есть ли хорошее краткое объяснение того, что они собой представляют и для чего они полезны? Изменить для уточнения: Ковариантный интерфейс: interface IBibble<out T> . . Контравариа...

Я хочу реализовать CommandBus, который может Dispatch Некоторые Commands к CommandHandlers. A Command - это простое A DTO, описывающее, что должно произойти. Например: "счетчик инкремента на 5" A CommandHandler способен обрабатывать точный тип Command. CommandBus берет Command и выполняет CommandHandler, ...

Я пытаюсь выяснить точное значение слов Covariance и Contravariance из нескольких статей в интернете и вопросов о StackOverflow, и из того, что я могу понять, это только другое слово для полиморфизма. Прав ли я с приведенным выше утверждением? Или я что-то не так понял ?...

abstract class Bhanu[-A] { val m:List[A] } Дает error: contravariant type A occurs in covariant position in type => List[A] of value m abstract class Bhanu[-A] { val m:List[A] } Тогда как abstract class Bhanu[+A] { val m:List[A] } Дает defined class Bhanu Я не в состоянии разобраться...

У меня возникли проблемы с пониманием разницы между ковариантности и контрвариантности. ...

Я не присутствовал на PDC 2008, но я слышал некоторые новости о том, что C# 4.0 объявлен для поддержки общей ковариации и контра-дисперсии. То есть, List<string> может быть назначено List<object>. Как такое может быть? в книге Джона Скита C# в глубину, объясняется, почему c# generics не поддержив...

пожалуйста, покажите хороший пример для ковариации и контравариантности в Java....