Телеграмм чат группы KotlinLangRu страница 644

18:01пожаловаться #1

central hardware in KotlinLangRu

Господа, столкнулся с такой проблемой, буду благодарен если кто подскажет:

Есть вот такой код
https://gist.github.com/MelonCode/3fd6d6ad76a20578754ffcc446282ba6

Когда регистрирую в EntityProducer "стандартную" DefaultFactory, обобщенные типы которой полностью совпадают с объявленными, то не возникает никаких проблем
Но когда я пытаюсь зарегистрировать HeroFactory, то получаю ошибку со скриншота ниже

Player в свою очередь является наследником Entity, а Hero наследником ECSEntity

у вас HeroFactory должен быть наследником GenericFactory

18:03пожаловаться #2

он и есть, через тайпалиас

18:03пожаловаться #3

Как правильно объявить дженерики у EntityTypeFactory чтобы можно было передавать наследников EntityTypeFactory у которых типы в дженериках являются наследниками типов в дженериках в базовом классе?

18:04пожаловаться #4

EntityTypeFactory<Entity, ECSEntity> — это такой EntityTypeFactory, у которого T строго равно Entity, U строго равно ECSEntity.
Чтобы сделать нестрогое равенство, смотри variance.

18:05пожаловаться #5

Я пробовал вариант когда типы объявляются как
EntityTypeFactory<out Entity, out ECSEntity>

18:07пожаловаться #6

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

18:07пожаловаться #7

18:07пожаловаться #8

EntityTypeFactory<in Entity, out ECSEntity>

18:09пожаловаться #9

Пробовал использовать in Entity, out ECSEntity, но возвращается изначальная ошибка отсюда

18:09пожаловаться #10

18:10пожаловаться #11

Набросал минимальный воспроизводимый кейс
https://pl.kotl.in/Bjy0aobzG

18:32пожаловаться #12

Набросал минимальный воспроизводимый кейс
https://pl.kotl.in/Bjy0aobzG

EntityFactory<Pork, Pig> не является подтипом EntityFactory<Input, Output>:
EntityFactory<*, Output> — действительно общий надтип всех фактори,
но EntityFactory<Input, *> — наоборот, очень узкий тип, из-за in variance.

18:44пожаловаться #13

Если бы этой ошибки не было и можно было скастить EntityFactory<Pork, Pig> в EntityFactory<Input, Output>, то в фабрику можно было бы передать не только Pork, но и любой другой Input, а это небезопасно.

18:47пожаловаться #14

Аааа..

18:48пожаловаться #15

Имеет смысл

18:48пожаловаться #16

То есть желаемое мной по факту осуществить невозможно тут?

18:48пожаловаться #17

Не нарушая безопасности

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

думаю, невозможно

18:51пожаловаться #19

То есть, кратко говоря, самым оптимальным в моем случае вариантом будет являться отказ от первого генерика и ограничиться базовым типом на функцию create?