Java. Ковариантность и контравариантность обобщенных типов на примере ArrayList.

Поділитися
Вставка
  • Опубліковано 3 гру 2024

КОМЕНТАРІ • 98

  • @user-segadev
    @user-segadev 8 днів тому

    несколько лет назад смотрел, все понял) но приходится пересматривать перед собесами, забыл уже подробности. Автору респект !!!

  • @arsenazaryan5157
    @arsenazaryan5157 12 днів тому

    ни как не мог вкатиться в понимания в то что есть принимаемый тип и добавляемый тип. Только в конце зацепился за резюмирующую таблицу в результате проникся пониманием что это две разности. Спасибо

  • @grinderos.coding
    @grinderos.coding 8 місяців тому +2

    Это лучшее объяснение по границам вайлдкард, которые я видел и читал. Спасибо тебе огромное.

  • @axelrod4840
    @axelrod4840 4 роки тому +20

    не могу без мата объянисть на сколько я рад))

  • @БейбутТукибаев-с2ь
    @БейбутТукибаев-с2ь 3 роки тому +23

    весь день не мог понять контравиантность, тут все понятнее стало, спасибо!

    • @БейбутТукибаев-п3у
      @БейбутТукибаев-п3у 2 роки тому +8

      опять забыл что такое контравариантность, обшерстил весь гугл и нашел свой же коммент))))

    • @fedyaka4
      @fedyaka4 Рік тому

      @@БейбутТукибаев-п3у ахах, как я тебя понимаю😆

  • @dataengineer3961
    @dataengineer3961 3 роки тому +4

    Блииин наконец-то я понял что означают эти вопросики!!!

  • @andrei8299
    @andrei8299 3 роки тому +4

    Очень долго разбирался с этим вопросом и все это приводило к бОльшей каше, даже по видео были непонятки, но вот эта таблица в конце - спасибо за нее большое.

  • @Sinatra1990
    @Sinatra1990 2 роки тому +5

    Самая офигитительная, понятная лекция на эту тему. Ваще лассно объяснено, большое спасибо)😀

  • @jopinfuyiro5570
    @jopinfuyiro5570 Рік тому +1

    Спасибо за видео. Сначала было не понятно, когда и почему мы можем брать и добавлять в коллекцию элементы
    Сначала пробовал запоминать мнемонические правила - super - put, extends - get
    Но вместо того чтобы пытаться что-то запомнить наизусть лучше понять почему это можно, а это нельзя. Благодаря этому видео у меня получилось разобраться. В Java всё логично, как и всегда. Спасибо за информацию.

  • @ksenatron
    @ksenatron 4 роки тому +10

    Обьяснение - бомба) спасибо большое

  • @anastasiiam7836
    @anastasiiam7836 Рік тому +3

    Видео-фаворит по этой теме, но только одно замечание :
    При ковариантном типе можно добавить null.
    Пожалуйста поправьте, если я не права :)

  • @milordplus
    @milordplus Рік тому +1

    Очень круто, спасибо! Смотрел год назад и вот снова смотрю как в первый раз))) Но в этот раз точно запомнил навсегда)))

  • @johnvolt9157
    @johnvolt9157 4 роки тому +8

    Блин, спасибо) все вроде знал, но первый раз слышал название этому всему)

  • @ЕкатеринаАйвазова-м2п

    Спасибо большое за прекрасный разбор и примеры!

  • @Андрей-х2ч3й
    @Андрей-х2ч3й 3 роки тому +1

    Просто супер, очень понятно рассказано. Не поленился зарегистрироваться ради коммента.

  • @spacecowboy3000
    @spacecowboy3000 15 днів тому

    Супер, спасибо!

  • @rollingdice
    @rollingdice 2 роки тому +1

    это лучшее видео по данной теме!) спасибо огромное!

  • @dusheslov2700
    @dusheslov2700 4 роки тому +3

    Брат за ковариантность лайк на все видосы!

  • @billerkean1806
    @billerkean1806 Рік тому +1

    лайк, хорошее объяснение.

  • @СергейМалышев-т9у
    @СергейМалышев-т9у 3 роки тому

    Самое лучшее, что нашел про , круто

  • @mrrnyash8942
    @mrrnyash8942 Рік тому +1

    Спасибо, в голове была каша, особенно был неочевиден момент, что в

  • @denisgeraskin5532
    @denisgeraskin5532 Рік тому

    Серега, ты красавчик! Я все понял...СПАСИБО!!!

  • @НикитаКичигин-щ3ф
    @НикитаКичигин-щ3ф 5 місяців тому

    Спасибо тебе, добрый человек

  • @m0naco608
    @m0naco608 7 місяців тому

    Спасибо за объяснение !

  • @sanix183
    @sanix183 Рік тому

    Сергей, ты лучший разборщик сложных тем!

  • @severustvr8202
    @severustvr8202 Рік тому

    Великолепное объяснение, задоначу с первой зарплаты.

  • @olyalya9651
    @olyalya9651 Рік тому

    Супер объяснение! Спасибо большое!!!!

  • @Horoshiy58
    @Horoshiy58 2 роки тому

    Огромная благодарность за объяснение! Все понял сразу, текстовые варианты не давали результат)

  • @СтасГлова
    @СтасГлова 4 роки тому +1

    Автор топ. Даже расспечатал Q-code и вклеил в тетрадь

  • @ironoscar3948
    @ironoscar3948 4 роки тому +25

    Есть небольшая неточность: в ковариантный тип можно добавить null

    • @1236Destructor
      @1236Destructor Рік тому +1

      Точно. Как Object сверху, null ограничивает снизу любую иерархию. Этакий супер-потомок 😜

  • @ДенисШироков-э3в
    @ДенисШироков-э3в 2 роки тому

    спасибо, благодаря вашему видео понял тему

  • @maksigors
    @maksigors Рік тому

    спасибо, довольно понятно объяснил)

  • @imbc7867ghuui9
    @imbc7867ghuui9 2 роки тому

    Ухх, супер, то что надо) теперь осталось понять разницу с in out в котлине))

    • @nikolaystepanets2483
      @nikolaystepanets2483 2 роки тому

      В C# аналогичная ситуация, хорошо хоть на Java можно дополнительные примеры найти

  • @ИльшатБиккузин
    @ИльшатБиккузин 2 роки тому

    Контент топчик, всё доходчиво разъяснил наконец-то понятно ))))

  • @СергейСеменин-щ5д
    @СергейСеменин-щ5д 3 роки тому

    Просто и ясно о сложном. Спасибо!

  • @Aticinsane
    @Aticinsane 2 роки тому

    Отличное объяснение! Спасибо!

  • @anastasiyachibisova2496
    @anastasiyachibisova2496 Рік тому

    Превосходное обьяснение!

  • @d.mertsalov
    @d.mertsalov 4 роки тому +1

    Спасибо! Таблицу законспектировал:)

  • @e.s.krivonogov
    @e.s.krivonogov 2 роки тому

    Просто офигенно!

  • @ZubkovKirill
    @ZubkovKirill Рік тому

    Очень хорошее объяснение! Спасибо! Единственное не сказали что этот принцип называется PECS)

  • @OlegSuhovAlex
    @OlegSuhovAlex Рік тому +1

    Спасибо за Ваши видео. А по спрингу сделаете подборку видео?

    • @arhitutorials
      @arhitutorials  Рік тому

      Я в занимаюсь мобильной разработкой. Нет достаточно опыта в спринге, чтоб ему учить.

  • @manul-282
    @manul-282 3 роки тому

    Хороший материал! Большое спасибо!

  • @ilya9852
    @ilya9852 2 роки тому +1

    Таблица 14:30

  • @бендерродригез-ф3ш

    первый видос на эту тему, который, кажется, я понял, надо еще раз пересмотреть, чтобы запомнить

  • @abramovdenis09
    @abramovdenis09 2 роки тому +2

    Видео хорошее, в идеале бы белую тему на идею или шрифт повыразительнее

  • @telephon3208
    @telephon3208 Рік тому

    суперконтент!

  • @simplechannel7859
    @simplechannel7859 4 роки тому +1

    Огонь!

  • @TheMarquis
    @TheMarquis 4 роки тому

    Спасибо, очень доступно.

  • @frozen1093
    @frozen1093 2 роки тому

    Спасибо, стало чуть понятнее)

  • @ivank8812
    @ivank8812 3 роки тому

    Огромное спасибо

  • @СергейЯчменников
    @СергейЯчменников 2 роки тому

    браво!

  • @ВладиславПрокопенко-я5н

    Спасибо

  • @p.shpyro
    @p.shpyro 4 роки тому

    Большое спасибо!

  • @quantumtv9509
    @quantumtv9509 3 роки тому

    Спасибо за видео!)))

  • @ВасильМихальчук-ж7т

    таблиця в кінці - це скарб! Дякую

  • @zhennik263
    @zhennik263 Рік тому

    Ну я был на нескольких десятках собеседований на Джависта и ни разу не слышал этого вопроса. Но видос стоит посмотреть

  • @svalyavasvalyava9867
    @svalyavasvalyava9867 2 роки тому

    Спасибо!!!

  • @ВасилийЮдин-п8ы

    лучший)

  • @d1ns_799
    @d1ns_799 5 місяців тому

    Получается, что wildcards нужны как раз для того, чтобы обойти свойство инвариантности у производных классов от классов с использованием параметризованных типов (дженериков). Если я правильно это понял

  • @pavelkalinin1119
    @pavelkalinin1119 4 роки тому +4

    У Вас на редкость, для программера, хорошо поставлена речь! Спасибо!
    ИнВариантность - по простому, без вариантов)), если то, только его
    КоВариантность - со вариантность

    • @arhitutorials
      @arhitutorials  4 роки тому +16

      Это не речь, это магия монтажа) Когда монтирую видео, вырезаю все неудачно сказанные фразы, по этому результат получается более-менее приемлемый.
      В случае , у нас есть гарантия, что T как минимум является Type.
      В случае , гарантируется что T - один из предков Type, но какой именно не известно. Из-за этого и возникает ограничение по чтению. Из T безопасно присвоить можно только в Object, потому что точный тип T неизвестен. Зато писать в T можно любых наследников Type, так как они гарантировано могут использоваться везде, где нужен тот самый неизвестный предок Type.
      В общем, вся логика подчинена типобезопасности.

  • @wladimir1366
    @wladimir1366 10 місяців тому

    А как так получается, что в List мы можем добавлять только НАСЛЕДНИКОВ и сам Type, а читать только ПРЕДКОВ и Type? Как это возможно, если List будет состоять только из НАСЛЕДНИКОВ и самого Type?
    UPD: спустя несколько просмотров + просмотра про стирание типов - я все понял
    Спасибо большое!

  • @1236Destructor
    @1236Destructor Рік тому

    Я правильно понимаю, что ин/ко/контр-вариантность - это касается только отношения ссылки и присваиваемой коллекции, т.е. только первая колонка финальной таблицы ???

  • @phil2964
    @phil2964 2 роки тому

    👍👍👍👍

  • @alexandr6055
    @alexandr6055 Рік тому

    Добрый день. Подскажите, в чем смысл использовать

    • @mangnifista7984
      @mangnifista7984 Рік тому

      Да, только в пределах цепочки наследования, а не все подряд. В этом же видео как раз показан такой вариант.
      То есть

  • @ВасяЩербаков-ф4ы
    @ВасяЩербаков-ф4ы 11 місяців тому

    Привет! Свпспбо за урок, познавательно! Но у мен вопрос. Вот вы там создали Статичесский класс фрукт, Цитрус и так даллее. Разве статический класс е должен содержать только статичесские поля? У вас обычные? И еще один вопрос, почему у вас вместо знака присваивания тире? ))

    • @arhitutorials
      @arhitutorials  11 місяців тому

      Привет. Статический класс - это обычный класс с обычными полями.

  • @maxkudinov8481
    @maxkudinov8481 Рік тому

    В таблице для инвариантного листа можем читать предков, а как в инвариантном листе могут оказаться предки, например number в integer?

  • @AnotherCogInTheMurderMachine
    @AnotherCogInTheMurderMachine 2 роки тому

    Пожалуйста помогите,у меня вопрос: почему на 9:33 делается вывод,что в ArrayList < ? extends Citrus> oranges нельзя НИЧЕГО вставить-понятно,что мы точно не знаем какой там конкретно тип-но мы же точно можем вставить BigRoundOrange ? ведь мы типизируем вышеуказанную коллекцию либо Citrus либо Orange либо BigRoundOrange - и получается,что BigRoundOrange мы точно можем встать ,разве нет? в чем я не прав? (чувствую,что в чем-то не прав)))

    • @arhitutorials
      @arhitutorials  2 роки тому

      А потом кто-нибудь сделает класс BigRoundLimon, передаст список с ними в эту функцию и все сломается)
      Задача компилятора гарантировать, что код будет всегда правильно работать. Это достигается путем запрета любых вариантов, которые позволяют что-либо сломать.

    • @AnotherCogInTheMurderMachine
      @AnotherCogInTheMurderMachine 2 роки тому

      @@arhitutorials Спасибо вам! я когда вопрос задавал - я забыл,то что от одного класса могут одновременно напрямую несколько классов наследоваться-тогда все ясно,спасибо за видео и за ответ!очень благодарен)я понял теперь почему вообще ничего нельзя добавить в

  • @karaedd
    @karaedd 3 роки тому

    красава

  • @fkb_ali
    @fkb_ali Рік тому

    а есть видео или статья с объяснением причин: почему нельзя записывать или считывать данные? не догоняю

  • @kaperdi1653
    @kaperdi1653 Рік тому

    учу котлин , самое понятное видео

  • @wilyammiller3631
    @wilyammiller3631 Рік тому

    меня немного сбивает, что приравнивание идет снизу вверх, такое ощущение, что наоборот

  • @oldjohn1503
    @oldjohn1503 Рік тому

    Почему в List

    • @arhitutorials
      @arhitutorials  Рік тому

      Потому что это в текущем контексте у листа тип List

    • @oldjohn1503
      @oldjohn1503 Рік тому

      @@arhitutorials Все, дошло)) Спасибо за контент)

  • @MaximBodrov
    @MaximBodrov Рік тому

    Не совсем понял такоей момент: "...extends используется в классах, которые предназначены, чтобы из ни читать, т.е. producer-ах...". А разве продюсер не пишет??? Например, что-то записывает в очередь, который потребитель читатет.

    • @arhitutorials
      @arhitutorials  Рік тому

      producer это тот кто производит объекты, а consumer - тот кто потребляет.
      Имеется с виду что из producer читают, но в него не пишут.

    • @MaximBodrov
      @MaximBodrov Рік тому

      @@arhitutorials Понял, спасибо!

  • @sovietunionmissionary
    @sovietunionmissionary 7 місяців тому

    Надо было добавить что иногда могут спросить про принцип pecs и не всегда понятно что речь об этом.

  • @pawsdev
    @pawsdev 2 роки тому +1

    Проверил в IDE, если SUPER T то добавлять можно только наследников T, если extends T то при заборе через get кастуется до T и его предков, немного сбивате с толку эта ига слов наследники, предки, туда-сюда

  • @oldjohn1503
    @oldjohn1503 Рік тому

    Почему массивы в java ковариантны?

  • @mashamanina6106
    @mashamanina6106 4 роки тому +2

    Видео на темной теме ужасно, нужно увеличивать видос а это не всегда удобно

  • @noone-hi6kq
    @noone-hi6kq 3 роки тому

    сишарпер что ли

  • @John.Constantine.777
    @John.Constantine.777 Рік тому

    Зачем эта вариантность в методах Stream? stateless методы ведь каждый элемент массива отдельно обрабатывают и контейнера то не видят.

  • @donpedro2125
    @donpedro2125 7 місяців тому

    Вот скол ко видосов не смотрю непонимаю, авторы, в чем проблема сделать крупнее шрифт?! У кого то 4к моник и где-то в жопе экрана он пишет код, что кропе как в 4к невозможно смотреть видео. Ну посмотрите как делают англоязычные коллеги.

  • @egorvafin1978
    @egorvafin1978 2 роки тому

    Спасибо

  • @andreihusakou8223
    @andreihusakou8223 Рік тому

    Спасибо

  • @Belovoll
    @Belovoll Рік тому

    Спасибо