Результаты поиска по запросу "covariance"

3 ответа

.NET 4.0 Ковариантность

В ответ на другоевопрос [https://stackoverflow.com/questions/9380756/inheritance-with-c-sharp-generic-while-class-type-is-inherited/9380811#9380811] Я пытался сделать следующее. Я не думаю, что правильно истолковал этот вопрос, но мне интересно, ...

2 ответа

C # дисперсионная аннотация параметра типа, ограниченная значением типа

В C # можно добавить аннотацию к параметру типа, ограниченную типом значения: interface IFoo<in T> where T : struct { void Boo(T x); }Почему это допускается компилятором, если аннотация отклонений не имеет никакого смысла в такой ситуации?

3 ответа

Почему в Haskell не так много дискуссий по поводу ко-и-дисперсии (в отличие от Scala или C #)?

Я знаю, что такое ковариация и контравариантность типов. Мой вопрос: почему я еще не сталкивался с обсуждением этих концепций в своем исследовании Хаскелла (в отличие, скажем, от Scala)? Кажется, есть фундаментальное различие в том, как Haskell ...

ТОП публикаций

4 ответа

C # Ковариация по типам возвращаемых подклассов

Кто-нибудь знает, почему ковариантные типы возврата не поддерживаются в C #? Даже при попытке использовать интерфейс компилятор жалуется, что это не разрешено. Смотрите следующий пример. class Order { private Guid? _id; private String ...

2 ответа

Java ковариация

7 ответов

Совместный вариант преобразования массива из x в y может вызвать исключение во время выполнения

у меня естьprivate readonly СписокLinkLabelс (IList<LinkLabel>). Я позже добавлюLinkLabels в этот список и добавить эти ярлыки вFlowLayoutPanel как следует: foreach(var s in strings) { _list.Add(new LinkLabel{Text=s}); ...

3 ответа

Почему я не могу преобразовать словарь одного типа значения в словарь другого типа значения, когда типы значений могут быть преобразованы друг от друга? [Дубликат]

Возможный дубликат: Почему в C # нельзя хранить объект List <string> в переменной List <object> [https://stackoverflow.com/questions/6557/in-c-why-cant-a-liststring-object-be-stored-in-a-listobject-variable] Почему не работает ...

6 ответов

Выборочно отключить подсемейство в Scala? (правильно введите List.contains)

List("a").contains(5)Потому чтоInt никогда не может содержаться в спискеString, этодолжен генерировать ошибку во время компиляции, но это не так. Тщательно и бесшумно проверяет каждыйString содержится в списке на равенство5, который никогда не ...

3 ответа

приведение Java из списка <B> в список <A>, где B расширяет A

Это возможно? если нет, то почему это невозможно в Java? interface B extends A {} public List<B> getList(); List<A> = getList(); // Type mismatch: cannot convert from List<B> to List<A>Я думаю, что тема, которую я ищу, это "ковариантные типы", ...

1 ответ

 вы вводите неопределенное поведение земли.

ак вернулся как раз вовремя. Я получаю странную ошибку: 'B::blah': overriding virtual function return type differs and is not covariant from 'A::blah'Вот код, вызывающий проблему: class A { public: class Inner { }; virtual Inner blah() = 0; }; ...