Запитання з тегом «covariance»

У чому різниця між <out T>і <T>? Наприклад: public interface IExample<out T> { ... } vs. public interface IExample<T> { ... }

189 c#  generics  covariance 

Хоча ми можемо успадкувати базовий клас / інтерфейс, чому ми не можемо оголосити List<> використання одного класу / інтерфейсу? interface A { } class B : A { } class C : B { } class Test { static void Main(string[] args) { A a = new C(); // OK …

179 c#  list  inheritance  collections  covariance 

У мене виникають невеликі проблеми з розумінням того, як я використовував би коваріацію та протиріччя в реальному світі. Поки що єдиними прикладами, які я бачив, був той самий старий приклад масиву. object[] objectArray = new string[] { "string 1", "string 2" }; Було б добре побачити приклад, який дозволив би …

162 c#  c#-4.0  covariance 

З ефективної Java Джошуа Блоха, Масиви відрізняються від загального типу двома важливими способами. Перші масиви є коваріантними. Дженріки інваріантні. Коваріант просто означає, що якщо X є підтипом Y, то X [] також буде підтипом Y []. Масиви є коваріантними, оскільки рядок є підтипом Object So String[] is subtype of Object[] …

160 java  arrays  generics  language-design  covariance 

IEnumerable<T>є спільним варіантом, але він не підтримує тип значення, а лише тип посилання. Нижче простий код складено успішно: IEnumerable<string> strList = new List<string>(); IEnumerable<object> objList = strList; Але перейшовши з stringна int, вийде компільована помилка: IEnumerable<int> intList = new List<int>(); IEnumerable<object> objList = intList; Причина пояснюється в MSDN : Варіант …

149 c#  .net  c#-4.0  covariance  contravariance 

На цей питання є відповіді на Stack Overflow на російському : Коваріантність та контрваріантність обобщений У мене виникають проблеми з розумінням різниці між коваріацією та протирічністю.

148 c#  c#-4.0  covariance  contravariance 

Виходячи з цього питання , чи може хтось пояснити наступне у Scala: class Slot[+T] (var some: T) { // DOES NOT COMPILE // "COVARIANT parameter in CONTRAVARIANT position" } Я розумію різницю між +Tі Tв декларації типу (вона складається, якщо я використовую T). Але як тоді насправді записати клас, коваріантний …

147 generics  scala  covariance  contravariance 

У мене є private readonlyсписок LinkLabels ( IList<LinkLabel>). Пізніше я додаю LinkLabels до цього списку і додаю ці мітки FlowLayoutPanelтаким чином: foreach(var s in strings) { _list.Add(new LinkLabel{Text=s}); } flPanel.Controls.AddRange(_list.ToArray()); ReSharper показує мені попередження: Co-variant array conversion from LinkLabel[] to Control[] can cause run-time exception on write operation. Будь ласка, …

142 c#  winforms  .net-4.0  covariance 

Я не можу зрозуміти, чому наступний код C # не компілюється. Як бачите, у мене є статичний загальний метод Щось із IEnumerable<T>параметром (і Tобмежений IAінтерфейсом), і цей параметр не може бути неявно перетворений у IEnumerable<IA>. Яке пояснення? (Я не шукаю вирішення, аби зрозуміти, чому це не працює). public interface IA …

115 c#  covariance  contravariance 

Сьогодні я прочитав деякі статті про коваріацію, противагу (та інваріантність) на Java. Я прочитав статтю з англійської та німецької Вікіпедії та деякі інші публікації в блогах та статті від IBM. Але я все ще трохи розгублений, про що саме йдеться? Деякі кажуть, що мова йде про взаємозв'язок типів і підтипів, …

113 java  covariance  contravariance 

Я не відвідував PDC 2008, але почув новини про те, що оголошено C # 4.0, що підтримує загальну коваріацію та контра-дисперсію. Тобто List<string>може бути призначений List<object>. Як це могло бути? У книзі C # в глибині Джона Скіта пояснюється, чому дженерики C # не підтримують коваріації та контра-дисперсії. Це в …

106 c#  c#-4.0  covariance  contravariance  generic-variance 

Закрито . Це питання має бути більш зосередженим . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб він зосередив увагу на одній проблемі лише редагуючи цю публікацію . Закрито 5 років тому . Удосконаліть це питання Покажіть, будь ласка, хороший приклад коваріації та протиріччя у Java.

105 java  covariance  contravariance 

Що таке коваріантний тип повернення на Java? В об'єктно-орієнтованому програмуванні взагалі?

105 java  oop  covariance 

РЕДАГУВАТИ : Переписати це питання на основі оригінальної відповіді scala.collection.immutable.SetКласу не коваріантен в параметрі типу. Чому це? import scala.collection.immutable._ def foo(s: Set[CharSequence]): Unit = { println(s) } def bar(): Unit = { val s: Set[String] = Set("Hello", "World"); foo(s); //DOES NOT COMPILE, regardless of whether type is declared //explicitly in …

94 scala  set  covariance  scala-collections 

Я натрапив на них у підручнику, який читаю на C #, але мені важко їх зрозуміти, можливо через відсутність контексту. Чи є гарне стисле пояснення того, що вони є і для чого вони корисні? Змінити для уточнення: Коваріантний інтерфейс: interface IBibble<out T> . . Контраваріантний інтерфейс: interface IBibble<in T> . …

86 c#  .net  interface  covariance  contravariance