Mypy报[no-any-return]错误：布尔表达式为何触发该规则？

问题描述 #

以下代码触发Mypy错误：

from typing import Dict, Any

def asd(x: Dict[str, Any]) -> bool:
    return x['a'] == 1

asd({"x": 2})

Mypy报错信息：

test.py:4: error: Returning Any from function declared to return "bool"  [no-any-return]

原代码中x['a'] == 1无论传入什么字典都会返回布尔值，但Mypy因类型推断问题报错。不想通过大量添加# type: ignore[no-any-return]来规避，寻求其他解决方法。

当前setup.cfg配置：

namespace_packages = True
explicit_package_bases = True
check_untyped_defs = True
warn_return_any = True
warn_unused_ignores = True
show_error_codes = True

解决方法 #

1. 使用TypedDict明确字典结构 #

放弃宽泛的Dict[str, Any]，用TypedDict定义包含'a'键的精确类型，让Mypy能确定x['a']的类型：

from typing import TypedDict

class RequiredDict(TypedDict):
    a: int  # 根据实际业务场景，可改为Union[int, str]等合适类型

def asd(x: RequiredDict) -> bool:
    return x['a'] == 1

# 此时传入缺少'a'键的字典会触发Mypy错误，符合类型检查预期
asd({"a": 2})

2. 对x['a']进行类型断言 #

如果无法提前固定字典结构，通过cast对x['a']进行类型断言，告诉Mypy其具体类型：

from typing import Dict, Any, cast

def asd(x: Dict[str, Any]) -> bool:
    # 断言x['a']为int类型，需根据实际情况调整类型
    return cast(int, x['a']) == 1

这样Mypy会认为cast(int, x['a'])是int类型，与1比较的结果为布尔值，不会触发no-any-return错误。

3. 用reveal_type辅助排查（可选） #

若不清楚类型推断逻辑，可添加reveal_type让Mypy输出具体类型，帮助定位问题：

def asd(x: Dict[str, Any]) -> bool:
    reveal_type(x['a'])  # Mypy会输出Revealed type is "Any"
    return x['a'] == 1

执行Mypy时会显示x['a']的类型为Any，因此==1的结果也被推断为Any，这就是报错的根源。

4. 调整Mypy配置（不推荐） #

若必须保留Any类型且不想修改代码，可在setup.cfg中关闭warn_return_any：

warn_return_any = False

但此方法会全局关闭返回Any的警告，削弱类型检查的作用。也可针对特定模块局部关闭：

[mypy-your_module_name.*]
warn_return_any = False

仅在万不得已时使用此方案。

内容的提问来源于stack exchange，提问作者David Schumann