Телеграмм чат группы dotnet

00:53пожаловаться #1

razumovsky r in var chat = new Chat();

развернул стрелку наследования

00:53пожаловаться #2

А где противоречие-то?

00:53пожаловаться #3

razumovsky r in var chat = new Chat();

ковариантность, по стрелке

00:53пожаловаться #4

IInterface<Animal> animal = new Implementation<Dog>(); - это ковар. , тоесть out

00:53пожаловаться #5

поняли?

00:53пожаловаться #6

razumovsky r in var chat = new Chat();

в том что, очевидно, Т не всегда Базовый

00:53пожаловаться #7

razumovsky r in var chat = new Chat();

вот и отличие

00:53пожаловаться #8

razumovsky r in var chat = new Chat();

а в случае с контравариантность, Т не всегда выведенный

00:54пожаловаться #9

Не понимаю что это значит

00:54пожаловаться #10

razumovsky r in var chat = new Chat();

тут уже идет особенность что ковариатность гет онли

00:54пожаловаться #11

razumovsky r in var chat = new Chat();

а контра сет онли

00:54пожаловаться #12

IInterface<Dog> dog = new Implementation<Animal>()

—> IInterface<in T>

IInterface<Animal> animal = new Implementation<Dog>()

—> IInterface<out T> - запомнили?

00:54пожаловаться #13

Если тебе в моем примере не нравится I<Base>, то замени на I<T>

00:54пожаловаться #14

razumovsky r in var chat = new Chat();

потому что не любой Т выведенный от ТБейс

00:54пожаловаться #15

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

00:55пожаловаться #16

razumovsky r in var chat = new Chat();

разница в том как ты трактуешь операторы

00:55пожаловаться #17

вот это легче запомнить

00:55пожаловаться #18

Какие операторы?

00:55пожаловаться #19

razumovsky r in var chat = new Chat();

ковариантности, контравариантности