Wypróbowuję adnotacje typu Pythona z abstrakcyjnymi klasami bazowymi, aby napisać niektóre interfejsy. Czy istnieje sposób na dodanie adnotacji do możliwych typów *args
i **kwargs
?
Na przykład, jak można by wyrazić, że sensowne argumenty funkcji to jeden int
lub dwa int
s? type(args)
daje Tuple
więc przypuszczam, że dodam adnotację jako Union[Tuple[int, int], Tuple[int]]
, ale to nie działa.
from typing import Union, Tuple
def foo(*args: Union[Tuple[int, int], Tuple[int]]):
try:
i, j = args
return i + j
except ValueError:
assert len(args) == 1
i = args[0]
return i
# ok
print(foo((1,)))
print(foo((1, 2)))
# mypy does not like this
print(foo(1))
print(foo(1, 2))
Komunikaty o błędach od mypy:
t.py: note: In function "foo":
t.py:6: error: Unsupported operand types for + ("tuple" and "Union[Tuple[int, int], Tuple[int]]")
t.py: note: At top level:
t.py:12: error: Argument 1 to "foo" has incompatible type "int"; expected "Union[Tuple[int, int], Tuple[int]]"
t.py:14: error: Argument 1 to "foo" has incompatible type "int"; expected "Union[Tuple[int, int], Tuple[int]]"
t.py:15: error: Argument 1 to "foo" has incompatible type "int"; expected "Union[Tuple[int, int], Tuple[int]]"
t.py:15: error: Argument 2 to "foo" has incompatible type "int"; expected "Union[Tuple[int, int], Tuple[int]]"
To ma sens, że mypy nie lubi tego dla wywołania funkcji, ponieważ oczekuje, że tuple
w samym wywołaniu będzie występować a . Dodatek po rozpakowaniu daje też błąd pisarski którego nie rozumiem.
W jaki sposób można opisać rozsądne typy dla *args
i **kwargs
?
Optional
? Czy coś się zmieniło w Pythonie, czy też zmieniłeś zdanie? Czy nadal nie jest to bezwzględnie konieczne ze względu naNone
domyślne ustawienie?