如何让 mypy 抱怨将 Any 分配给 int（第 2 部分）

Question

（这是的后续内容。）

我的代码库是完全静态类型的（注解），但在某些地方有 Any 类型，例如因为一个值是从 JSON 字符串中解析出来的。这是我的最小示例：

import json
from typing import Any, Dict, Union

def main() -> None:
    data = json.loads('{"value" = "three"}')
    my_int: int = data['value']

if __name__ == "__main__":
    main()

mypy --strict 接受此代码。不过我想自动找到这些地方，采取相应的安全措施。

有没有可能让 mypy 抱怨 my_int: int = data['value'] 作业？

Answer 1

是——使用“disallow any”命令行标志系列。

在这种情况下，我认为你想专门使用 --disallow-any-expr，但我建议你也尝试使用其他标志。

（这些标志不会作为 --strict 的一部分自动启用，因为它们最终会在某些代码库上引起大量误报，尤其是那些广泛使用非类型化库的代码库。）

顺便说一句，您可能会发现启用所有 "disallow any" 标志最终会带来一些不便，尤其是当您的代码的某个区域需要执行大量操作时运行时间检查。

为了帮助缓解这种情况，我个人喜欢做的是默认启用所有 disallow-any 标志，但为某些模块禁用其中的一些。你可以使用 mypy 的 config files 来做到这一点。例如，您可以这样做：

[mypy]
# Specify any other global flags you want to customize here
disallow_any_unimported = True
disallow_any_expr = True
disallow_any_decorated = True
disallow_any_explicit = True
disallow_any_generics = True
disallow_subclassing_any = True

[mypy-mymodule.validation]
# Weaken, just for this module
disallow_any_expr = False

和运行mypy --strict --config my_config.ini mymodule。

此配置文件将禁止在几乎整个代码库中使用 Any，validation 模块除外。（然后，我会竭尽全力为该特定模块添加一堆单元测试，以弥补静态类型检查的弱化。）

如何让 mypy 抱怨将 Any 分配给 int（第 2 部分）

How to make mypy complain about assigning an Any to an int (part 2)

python-3.x

type-hinting

mypy

typechecking

static-typing