Pythonの関数で可変長引数（*args、**kwargs）の型ヒントはどう書く？

関数本体では可変長位置引数（args）はタプル、可変長キーワード引数（kwargs）は辞書として扱われます。
これらの型ヒントには

の型を書けばよいです

三重さん（のメガネ）はおうちに飾れる！¹ nikkieです

タイトルの件が気になったので調べました。
結論は上述のとおりで、結論に至るまでの過程を綴っていきます。

PyCon JP 2022のトークの可変長引数のパートを出発点にします。

Pythonの関数は何個でも引数渡しをサポートするように定義できます²。

f(1, 2, 3, a="hoge", b="piyo")

関数fは次のように定義されます

def f(*args, **kwargs):
    ...

ばばーん！

def f(*args: int, **kwargs: str) -> None:
    print(f"{args=}")
    print(f"{kwargs=}")


f(1, 2, 3, a="hoge", b="piyo")

*argsは、タプルの要素の型を型ヒントに書きます
- 関数を定義した人が込めた気持ちとしては、位置引数としてintを渡してほしいということです
**kwargsは、辞書の値の型を型ヒントに書きます
- 関数を定義した人が込めた気持ちとしては、キーワード引数としてstrを渡してほしいということです

動作確認環境は以下です：

型ヒントの始まりのPEP 484。
「Arbitrary argument lists and default argument values」に可変長引数の型ヒントについての記載があります。
https://peps.python.org/pep-0484/#arbitrary-argument-lists-and-default-argument-values

例として挙がっている関数定義

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

In the body of function foo, the type of variable args is deduced as Tuple[str, ...] and the type of variable kwds is Dict[str, int].

意訳）関数fooの本体では、変数argsの型はTuple[str, ...]（文字列を要素とするタプル）と推論され、変数kwdsの型はDict[str, int]（キーが文字列、値が整数の辞書）と推論される³

可変長引数はタプルや辞書になると決まっている（型チェッカも承知している）ので、これらのコレクションの要素の型を型ヒントとして明示する必要があるのですね！

一番最初に見つけたのが以下です。

この記事は短くまとまっていて分かりやすかったです（執筆に感謝）。
ここからPEP 484を知りました

Pythonの関数で可変長引数の型ヒントは、コレクション（タプルや辞書）の要素の型を書く、という学びのアウトプットでした〜

教えていただきました（感謝）
「三重さんのめがね」は、鼻当てが選べる２タイプ展開です。
こうした気配りも”めがねの聖地鯖江”の職人ならではのめがね愛ゆえですね♡https://t.co/7vg4x4HVyF #好きめが　 #コラボ　 #めがね　 #鯖江 pic.twitter.com/MFNVnhvPu5
— plusone (@caneton1965) 2023年9月1日
↩
位置引数・キーワード引数は実引数の種類です。こちらにまとめています ↩
PEP 484からPythonのバージョンアップが進み、Python 3.9以降はtyping.Tupleに代えて組み込みのtuple、typing.Dictに代えて組み込みのdictでの型ヒントができるようになっています（typing.Tupleとtyping.Dictは非推奨）↩

nikkie-ftnextの日記