9

以下代码mypy按预期被拒绝：

def foo(value: int) -> None:
    print(value, type(value))
foo(None)

输出：

error: Argument 1 to "foo" has incompatible type "None"; expected "int"

但是引入一个默认参数后None，就没有报错了：

def foo(value: int=None) -> None:
    print(value, type(value))
foo(None)

如果我们从to更改，我希望mypy只允许None（作为参数和默认值），但似乎不需要这样做。为什么？valueintOptional[int]

4

2 回答 2

12

当您使关键字参数接受None时，mypy 将隐式地使该参数成为类型（Optional[Blah]如果它还没有的话）。您可以通过将reveal_type(...)函数添加到代码并运行来看到这一点mypy：

def foo(value: int = None) -> None:
    print(value, type(value))

reveal_type(foo)
foo(None)

输出将是：

test.py:4: error: Revealed type is 'def (value: Union[builtins.int, None] =)'

（但请务必reveal_type在实际运行代码之前删除，因为该函数实际上在运行时并不存在——它只是 mypy 的特殊情况以帮助调试。）

这种行为的存在主要是因为它有助于降低函数签名的噪音。毕竟，如果value在某些时候允许为 None，显然它必须同时接受 int 和 None。在这种情况下，为什么不只是推断类型是Optional[int]（相当于Union[int, None]，顺便说一句）所以用户不需要重复相同的信息两次？

当然，并不是每个人都喜欢这种行为：有些人更喜欢更明确。在这种情况下，使用标志运行 mypy --no-implicit-optional。这将产生以下输出：

test.py:1: error: Incompatible default for argument "value" (default has type "None", argument has type "int")
test.py:4: error: Revealed type is 'def (value: builtins.int =)'
test.py:5: error: Argument 1 to "foo" has incompatible type "None"; expected "int"

当然，您需要更改函数签名。

如果您想以其他各种方式提高 mypy 的严格性，请尝试传递--strict标志。这将自动启用--no-implicit-optional和其他几个严格标志。有关更多详细信息，请运行mypy --help.

于 2018-06-28T13:53:43.973 回答
0

为@Michael0x2a 的出色答案添加了一些具有历史深度的参考。签名参数的默认值None应使其type隐含暗示的推荐推理规则被认为Optional[type]是最初在 PEP 484 中建立的，但同时已更改。

工会类型 - PEP 484

此 PEP 的过去版本允许类型检查器在默认值为 None 时采用可选类型，如以下代码所示：

def handle_employee(e: Employee = None): ...

这将被视为等同于：

def handle_employee(e: Optional[Employee] = None) -> None: ...

这不再是推荐的行为。类型检查器应该朝着要求明确显示可选类型的方向发展。

如果我们查看PEP 484 的修订历史，我们会得出“GitHub 的责任”，这反过来又在Pull request #689中给出了推理，并回溯到输入问题 #275。

于 2021-03-14T06:14:54.427 回答