Python - 可変引数を持つ関数に対応する「呼び出し可能」型を定義するにはどうすればよいですか?

正確な型ヒントがあることを確認したいのですが、typing.Callable を使用してこの関数の型を記述するにはどうすればよいですか?

def f(x: int, *args, **kwargs): 
    pass

例

Callable[[int, ?????], None]

タイプヒントのドキュメントからの言い換え:

Callable[[Arg1Type, Arg2Type], ReturnType] を使用して、入力引数と ReturnType を指定できます。

入力引数の型が不明な場合は、代わりに省略記号表記 (Callable[..., ReturnType]) を使用できます。

1

はい、ドキュメントを読み、Callable[[int, ...], None] を試しましたが、機能しませんでした。 Callable[..., None] は、最初の引数の型を指定していないため、私が望んでいたものとはまったく異なります。

2020 年 9 月 3 日 21:56