Карточка Middle Типизация обновлено
TypeVar с ограничением
Вопрос
Что делает def biggest[T: Comparable](items: list[T]) -> T (или TypeVar("T", bound=Comparable))?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
Ограничивает переменную типа сверху: T может быть любым подтипом Comparable, и внутри функции можно использовать его методы, а возвращается тот же конкретный тип, что пришёл.
Ответ
Ограничивает переменную типа сверху: T может быть любым подтипом Comparable, и внутри функции можно использовать его методы, а возвращается тот же конкретный тип, что пришёл.
Разбор
В отличие от параметра items: list[Comparable], результат сохраняет точный тип: для списка int вернётся int.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.