python-mypy“无效类型”错误

我正在尝试在当前项目中实现类型注释,并且从mypy接收到了我不理解的错误.

我正在使用Python 2.7.11,并将新安装的mypy安装在基本virtualenv中.以下程序运行正常：

from __future__ import print_function
from types import StringTypes
from typing import List, Union, Callable

def f(value):     # type: (StringTypes) -> StringTypes
    return value

if __name__ == '__main__':
    print("{}".format(f('some text')))
    print("{}".format(f(u'some unicode text')))

但是运行mypy –py2 -s mypy_issue.py将返回以下内容：

mypy_issue.py: note: In function "f":
mypy_issue.py:8: error: Invalid type "types.StringTypes"

上面的类型似乎在Typeshed中.mypy documentation说：“ Mypy包含了typeshed项目,该项目包含Python内置文件和标准库的库存根.” …不确定“ incorporates”是什么意思-我需要吗做一些事情来“激活”或提供Typeshed的路径？我是否需要在本地下载并安装(？)Typeshed？

解决方法:

问题是类型.StringTypes被定义为类型序列-正式类型签名on Typeshed为：

StringTypes = (StringType, UnicodeType)

这对应于official documentation,该状态指出StringTypes常量是“包含StringType和UnicodeType的序列”.

因此,这便解释了您遇到的错误-StringTypes不是实际的类(它可能是一个元组),因此mypy无法将其识别为有效类型.

有几个可能的修复程序.

第一种方法可能是使用type.AnyStr,它被定义为AnyStr = TypeVar(‘AnyStr’,bytes,unicode).尽管AnyStr包含在键入模块中,但不幸的是,到目前为止,该文档的记录还很少-您可以找到有关其功能的更多详细信息within the mypy docs.

稍微干净一点的表达方式是：

from types import StringType, UnicodeType
from typing import Union

MyStringTypes = Union[StringType, UnicodeType]

def f(value):     
    # type: (MyStringTypes) -> MyStringTypes
    return value

这也有效,但是由于返回类型不再与输入类型相同,而在使用不同类型的字符串时通常不是您想要的类型,因此返回类型不再是必需的.

至于排版-默认情况下,在安装mypy时将其捆绑在一起.在理想的世界中,您根本不必担心输入错误,但是由于mypy在beta中,因此经常更新更新以解决缺少的模块或错误的类型注释,因此值得直接从Github repo安装mypy如果您发现自己经常遇到带有Typeshed的错误,则可以在本地安装Typeshed.

标签：mypy,python
来源： https://codeday.me/bug/20191118/2027231.html