Как мне ввести общие вызываемые объекты со значением по умолчанию в Python?

У меня есть следующая функция:

T = TypeVar("T")


def handle_func(x: int, func: Callable[[int], T]) -> T:
    return func(x)

и я могу использовать его так:

handle_func(1, lambda x: x + 1)
handle_func(1, lambda x: x == 1)

Когда я запускаю mypy, все хорошо.

Но как я могу добавить значение по умолчанию для func?

Когда я это делаю:

def handle_func(x: int, func: Callable[[int], T] = lambda x: x + 1) -> T:
    return func(x)

и запустите mypy, я получу:

error: Incompatible default for argument "func" (default has type "Callable[[int], int]", argument has type "Callable[[int], T]")  [assignment]
error: Incompatible return value type (got "int", expected "T")  [return-value]

Как мне это напечатать? Что я понимаю неправильно?

Почему в Python есть оператор "pass"?
Почему в Python есть оператор "pass"?
Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.
Некоторые методы, о которых вы не знали, что они существуют в Python
Некоторые методы, о которых вы не знали, что они существуют в Python
Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...
Основы Python Часть I
Основы Python Часть I
Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:
Оптимизация кода с помощью тернарного оператора Python
Оптимизация кода с помощью тернарного оператора Python
И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это
Советы по эффективной веб-разработке с помощью Python
Советы по эффективной веб-разработке с помощью Python
Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.
0
1
67
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Ответ принят как подходящий

Один из способов справиться с этим — разделить две формы:

  • Передайте один аргумент, всегда получайте int (не общий); и
  • Передайте два аргумента, получите все, что вернет второй (общее значение в T).

Вы можете сделать это как перегрузки:

from typing import Callable, overload, TypeVar

T = TypeVar("T")

@overload
def handle_func(x: int) -> int:
    ...

@overload
def handle_func(x: int, func: Callable[[int], T]) -> T:
    ...

def handle_func(x, func = lambda x: x + 1):
    return func(x)

mypy Playground

Можете ли вы объяснить, почему первое определение перегрузки будет без второго аргумента?

Meir 19.05.2024 22:33

@Meir, потому что, как объяснялось перед фрагментом, это форма, в которой вы передаете один аргумент x (и, следовательно, используете значение по умолчанию func).

jonrsharpe 19.05.2024 22:35

Это решение, рекомендованное для проблемы GitHub: github.com/python/mypy/issues/3737#issuecomment-316263133.

Mario Ishac 20.05.2024 07:31

Проверка типов просто жалуется, что неперегруженный handle_func не набирается. Как мне тоже это напечатать?

Meir 20.05.2024 07:35

Я решил это, набрав неперегруженный более общий тип (Callable и return Any).

Meir 20.05.2024 09:16

Один из подходов — просто привести значение по умолчанию:

def handle_func(
    x: int,
    func: Callable[[int], T] = cast(Callable[[int], T], lambda x: x + 1)
) -> T:
    return func(x)

Демо с mypy: https://mypy-play.net/?mypy=latest&python=3.12&gist=b840e26f46173e646cab2fd08e266c79

В общем, я стараюсь избегать использования cast, поскольку это просто заставляет проверку типов «доверять» мне и потенциально приводит к ошибкам.

Meir 20.05.2024 07:23

Да, но прискорбным фактом является то, что вы не можете аннотировать лямбда-функцию с помощью текущей системы типизации, а решение @jonrsharpe также не помогает типизировать проверку вызываемого значения по умолчанию (например, оно не жалуется, если вы делаете lambda x, y: x + 1 значение по умолчанию), так что вы также можете cast использовать значение, которое сделает mypy счастливым.

blhsing 20.05.2024 08:26

Я думаю, что у меня здесь было две проблемы: первая - это универсальный вариант по умолчанию, и для этого я принял первый ответ, а также проблема с вводом лямбда-функций, которую решает ваше приведение.

Meir 20.05.2024 09:17

Другие вопросы по теме