如何使用任意参数列表 (vararg) 键入提示一个可调用对象

Question

我正在尝试键入一个如下所示的函数：

def delete_file_if_exists():
    """Fixture providing a function that deletes a list of files of given filename it it exists
    """
    def deletion_function(*args: AnyPath) -> None:
        """A function deleting the file of given path if it exists
        :param args:The list of path to delete if file exists
        """
        for arg in args:
            if os.path.isfile(arg):
                os.remove(arg)
    return deletion_function

我想知道如何准确输入：

1.

def delete_file_if_exists() -> Callable[..., None]:

有效但未指定变量参数的类型

2.

def delete_file_if_exists() -> Callable[[List[AnyPath]], None]:

不起作用，但 mypy 运行给出以下异常： Incompatible return value type (got "Callable[[VarArg(Union[str, bytes, _PathLike[str], _PathLike[bytes]])], None]", expected "Callable[[List[Union[str, bytes, _PathLike[str], _PathLike[bytes]]]], None]")

所以我想知道我是否可以用这个 VarArg（我无法导入）做点什么，或者我是否被省略号键入所困。

Answer 1

您可以使用 mypy-extension 导入 VarArg 类型。

如何使用任意参数列表 (vararg) 键入提示一个可调用对象

How to typehint a callable with arbitrary argument list (vararg)

python

type-hinting

python-typing