Для переменных позиционных аргументов (*args) и аргументов переменного ключевого слова (**kw) вам нужно только указать ожидаемое значение для одного такого аргумента.

Из Произвольный списки аргументов и значения аргументов по умолчанию раздел Подсказки по типу PEP:

Списки произвольных аргументов также могут быть аннотированы по типу, так что определение:

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

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

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

Итак, вы хотите указать свой метод следующим образом:

def foo(*args: int):

Однако, если ваша функция может принимать только одно или два целых значения, вы не должны использовать *args вообще, используйте один явный позиционный аргумент и второй аргумент ключевого слова:

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

Теперь ваша функция фактически ограничена одним или двумя аргументами, и оба должны быть целыми числами, если они указаны. *args всегда означает 0 или более и не может быть ограничен подсказками типа более конкретным диапазоном.

Правильный способ сделать это - использовать @overload.

from typing import overload

@overload
def foo(arg1: int, arg2: int) -> int:
    ...

@overload
def foo(arg: int) -> int:
    ...

def foo(*args):
    try:
        i, j = args
        return i + j
    except ValueError:
        assert len(args) == 1
        i = args[0]
        return i

print(foo(1))
print(foo(1, 2))

Обратите внимание, что вы не добавляете @overload и не вводите аннотации к фактической реализации, которая должна быть последней.

Вам понадобится новая версия typing и mypy, чтобы получить поддержку для @overload вне файлов-заглушек < / а>.

from typing import Tuple, overload

@overload
def foo(arg1: int, arg2: int) -> Tuple[int, int]:
    ...

@overload
def foo(arg: int) -> int:
    ...

def foo(*args):
    try:
        i, j = args
        return j, i
    except ValueError:
        assert len(args) == 1
        i = args[0]
        return i

print(foo(1))
print(foo(1, 2))

В качестве краткого дополнения к предыдущему ответу, если вы пытаетесь использовать mypy в файлах Python 2 и вам нужно использовать комментарии для добавления типов вместо аннотаций, вам необходимо префикс типов для args и kwargs с помощью * и ** соответственно:

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

Mypy рассматривает это как то же самое, что и нижеследующая версия foo для Python 3.5:

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

Пока не поддерживается

Хотя вы можете аннотировать вариативные аргументы типом, я не считаю это очень полезным, поскольку предполагает, что все аргументы имеют один и тот же тип.

Соответствующая аннотация типа *args и **kwargs, которая позволяет указывать каждый вариативный аргумент отдельно, пока не поддерживается mypy. Есть предложение добавить Expand помощника в модуль mypy_extensions, он будет работать так:

class Options(TypedDict):
    timeout: int
    alternative: str
    on_error: Callable[[int], None]
    on_timeout: Callable[[], None]
    ...

def fun(x: int, *, **options: Expand[Options]) -> None:
    ...

Проблема GitHub была открыта в январе 2018 г., но до сих пор не закрыта. Обратите внимание, что, хотя проблема касается **kwargs, синтаксис Expand, скорее всего, также будет использоваться для *args.

В некоторых случаях содержимое ** kwargs может быть разных типов.

Мне кажется, это работает:

from typing import Any

def testfunc(**kwargs: Any) -> None:
    print(kwargs)

or

from typing import Any, Optional

def testfunc(**kwargs: Optional[Any]) -> None:
    print(kwargs)

В случае, когда вы чувствуете необходимость ограничить типы в **kwargs, я предлагаю создать объект, подобный структуре, и добавить туда типизацию. Это можно сделать с помощью классов данных или pydantic.

from dataclasses import dataclass

@dataclass
class MyTypedKwargs:
   expected_variable: str
   other_expected_variable: int


def testfunc(expectedargs: MyTypedKwargs) -> None:
    pass

Если кто-то хочет описать конкретные именованные аргументы, ожидаемые в kwargs, вместо этого можно передать TypedDict (который определяет обязательные и необязательные параметры). Необязательные параметры - это какие были kwargs. Примечание. TypedDict находится на python ›= 3.8 См. Этот пример. :

import typing

class RequiredProps(typing.TypedDict):
    # all of these must be present
    a: int
    b: str

class OptionalProps(typing.TypedDict, total=False):
    # these can be included or they can be omitted
    c: int
    d: int

class ReqAndOptional(RequiredProps, OptionalProps):
    pass

def hi(req_and_optional: ReqAndOptional):
    print(req_and_optional)