329

いくつかのインターフェイスを作成するために、抽象基本クラスを使用して Python の型注釈を試しています。と の可能なタイプに注釈を付ける方法は*argsあり**kwargsますか?

たとえば、関数への適切な引数が 1 つintまたは 2 つintの s であることをどのように表現しますか? 私の推測では、タイプに として注釈を付けることでしtype(args)たが、これは機能しません。TupleUnion[Tuple[int, int], Tuple[int]]

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))

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]]"

tuple呼び出し自体に a があることを期待しているため、mypy が関数呼び出しに対してこれを好まないのは理にかなっています。解凍後の追記もよくわからないタイプミス。

*argsとの適切な型にどのように注釈を付けるの**kwargsですか?

4

6 に答える 6

342

可変位置引数 ( *args) および可変キーワード引数 ( ) の場合、そのような引数の1 つ**kwの期待値のみを指定する必要があります。

Type Hints PEPのArbitrary argument lists and default argument valuesセクションから:

任意の引数リストに型注釈を付けることもできるため、定義は次のようになります。

def foo(*args: str, **kwds: int): ...

これは、たとえば、次のすべてが有効な型の引数を持つ関数呼び出しを表すことを意味します。

foo('a', 'b', 'c')
foo(x=1, y=2)
foo('', z=0)

したがって、次のようにメソッドを指定する必要があります。

def foo(*args: int):

ただし、関数が 1 つまたは 2 つの整数値しか受け入れられない場合は、まったく使用*argsしないでください。1 つの明示的な位置引数と 2 番目のキーワード引数を使用してください。

def foo(first: int, second: Optional[int] = None):

現在、関数は実際には 1 つまたは 2 つの引数に制限されており、指定する場合は両方とも整数でなければなりません。*args 常に0 以上を意味し、型ヒントによってより具体的な範囲に制限することはできません。

于 2016-05-04T15:29:38.697 に答える
27

前の回答への簡単な追加として、Python 2 ファイルで mypy を使用しようとしていて、注釈の代わりにコメントを使用して型を追加する必要がある場合は、型の前にargsandkwargsをそれぞれ付けて型を追加する必要が*あります。**

def foo(param, *args, **kwargs):
    # type: (bool, *str, **int) -> None
    pass

これは、mypy によって以下の Python 3.5 バージョンと同じものとして扱われますfoo。

def foo(param: bool, *args: str, **kwargs: int) -> None:
    pass
于 2016-06-28T04:15:02.137 に答える