Как в аннотации типов указать, что тип должен реализовывать какой-то конкретный метод?
Чаще всего это нужно для специальных методов (например, __gt__
означает что объекты можно сравнивать через оператор >
).
К примеру, мы пишем функцию get_max
(упрощённый аналог встроенной функции max
):
def get_max(l: list[...]) -> ...:
cond = l[0]
for cur in l:
if cur > cond:
cond = cur
return cond
На месте ...
должна быть аннотация типа, показывающая, что тип поддерживает сравнение с помощью оператора >
(больше). Какой она должна быть?