24

我的函数看起来像这个简化的代码示例:

def my_func() -> dict:
    result = {"success": False}

    if condition:
        result["success"] = True
        return result
    else:
        result["message"] = "error message"
    return result

当我运行 Mypy(0.52 版)时,我收到此错误:

error: Incompatible types in assignment (expression has type "str", target has type "bool")

并且错误指向我的代码示例中的倒数第二行。为什么 mypy 返回此错误?我的代码是无效的(以任何方式)还是这是一些 mypy 错误?

4

1 回答 1

50

问题是 mypy 推断result变量的类型是Dict[str, bool]由于您在第 2 行首次初始化它的方式。

因此,当您稍后尝试插入 str 时,mypy (正确地)抱怨。您有几个选项来修复您的代码,我将按照类型安全从最低到最高的顺序列出这些选项。

选项 1 是声明您的字典,使其值具有类型Any- 也就是说,您的值根本不会进行类型检查:

from typing import Any, Dict

def my_func(condition: bool) -> Dict[str, Any]:
    result = {"success": False}  # type: Dict[str, Any]

    if condition:
        result["success"] = True
    else:
        result["message"] = "error message"
    return result

请注意,我们需要注释您的第二行,以提示 mypyresult应该是什么类型,以帮助其推理过程。

如果您使用的是 Python 3.6+,则可以使用以下替代语法来注释该行,该语法使用变量注释(自 Python 3.6 起是新的):

result: Dict[str, Any] = {"success": False}

选项 2 的类型安全性稍高一些——使用Union. 这不是完全类型安全的,但至少您仍然可以对您的 dict 进行一些检查。

from typing import Any, Dict

def my_func(condition: bool) -> Dict[str, Union[str, bool]]:
    result = {"success": False}  # type: Dict[str, Union[str, bool]]

    if condition:
        result["success"] = True
    else:
        result["message"] = "error message"
    return result

您可能会发现类型注释有点长/令人讨厌,因此您可以使用类型别名来提高可读性(并且可以选择使用变量注释语法),如下所示:

ResultJson = Dict[str, Union[str, bool]]

def my_func(condition: bool) -> ResultJson
    result: ResultJson = {"success": False}
    # ...snip...

选项 3 是最安全的,尽管它确实需要您使用实验性的“TypedDict”类型,它允许您将特定类型分配给 dict 中的不同字段。也就是说,使用这种类型需要您自担风险——AFAIK 它尚未添加到 PEP 484 中,这意味着其他类型检查工具(如 Pycharm 的检查器)没有义务理解这一点。Mypy 本身最近才添加了对 TypedDict 的支持,因此可能仍然存在问题:

from typing import Optional
from mypy_extensions import TypedDict

ResultJson = TypedDict('ReturnJson', {'success': bool, 'message': Optional[str]})

def my_func(condition: bool) -> ResultJson:
    result = {"success": False, "message": None}  # type: ResultJson

    if condition:
        result["success"] = True
    else:
        result["message"] = "error message"
    return result

mypy_extensions如果要使用此选项,请务必安装软件包。

于 2017-05-12T17:21:10.793 回答