Карточка Senior Типизация обновлено
Ковариантность и инвариантность
Вопрос
Что значит, что Sequence ковариантен, а list инвариантен?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
Ковариантность: если Dog подтип Animal, то Sequence[Dog] подтип Sequence[Animal]. Инвариантность: list[Dog] и list[Animal] не совместимы ни в какую сторону, потому что в список можно записывать.
Ответ
Ковариантность: если Dog подтип Animal, то Sequence[Dog] подтип Sequence[Animal]. Инвариантность: list[Dog] и list[Animal] не совместимы ни в какую сторону, потому что в список можно записывать.
Разбор
Правило: только чтение позволяет ковариантность, запись требует инвариантности. Callable контравариантен по аргументам.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.