键入未使用的参数

Question

我有一个函数必须有两个参数，比如：

def f(first_arg: int, unused_arg) -> int:
    first_arg += 1
    return first_arg

我想对我的函数进行类型化，unused_arg的类型应该是什么？根据这个问题，我猜可以使用< code>None。

对于上下文，我使用lax.scanfromjax，它需要一个具有两个参数的函数，即使第二个参数未使用。

Answer 1

文档（https://jax.readthedocs.io/en/latest/_autosummary/jax.lax.scan.html）给出的 f 类型为：

Callable[[~Carry, ~X], Tuple[~Carry, ~Y]]

因此，如果我没有更具体的类型，我可能会使用名为X的TypeVar来执行此操作：

from typing import TypeVar

X = TypeVar("X")

def f(first_arg: int, _second_arg: X) -> int:
    ...

使用 Any 可能会有问题，因为它会掩盖类型检查 - 对于您从未使用的变量无关紧要，但是如果您的函数实现发生更改，您可能没有意识到以前未使用的arg没有被类型检查，而如果您使用TypeVar，如果您做出任何未由该变量上的绑定备份的假设，则会出现错误。我尽量避免导入任何，只是为了确保它不会在我没有注意到的情况下悄悄进入任何地方。

请注意，根据doc，您的f似乎需要返回一个由两个项组成的元组；我不确定这对您的用例是否重要。

指示未使用参数的标准方法（至少是我使用的linter所强制的）是在其前面加下划线，因此我会这样做，而不是将其命名为＜code＞unused_arg＜/code＞）。

Answer 2

您可以使用< code>Any？

from typing import Any

def f(first_arg: int, unused_arg: Any) -> int:
    ...