python – 键入:声明输入时不兼容的类型.Type []
作者:互联网
对于以下代码
# -*- coding: utf-8 -*-
import typing
class A(object):
pass
class B(A):
pass
class C(A):
pass
class D(A):
pass
class E(A):
pass
MAPPING_X = {
B: 'b',
C: 'c',
}
MAPPING_Y = {
D: 'd',
E: 'e',
}
all_mappings = {} # type: typing.Dict[typing.Type[A], str]
all_mappings.update(MAPPING_X)
all_mappings.update(MAPPING_Y)
mypy返回以下错误(python 3.4):
t.py:30: error: Argument 1 to "update" of "dict" has incompatible type Dict[type, str]; expected Mapping[Type[A], str]
t.py:31: error: Argument 1 to "update" of "dict" has incompatible type Dict[type, str]; expected Mapping[Type[A], str]
我不明白如何指定我想要A的子句作为Dict键.如何申报类型?
解决方法:
我可能不理解打字和mypy模块是如何工作的,但是这里似乎存在某种错误.如果我这样做(例子改编自docs的typing.Type部分):
import typing
class User(): pass
class BasicUser(User): pass
def make_new(u: typing.Type[User]) -> User:
return u()
x = make_new(BasicUser)
没有mypy错误.如果我这样做:
import typing
class A():
pass
MAPPING_X = {
A: 'a',
}
all_mappings = {} # type: typing.Dict[typing.Type[A], str]
all_mappings.update(MAPPING_X)
也没有错误.但是,这确实会产生mypy错误:
import typing
class A():
pass
class B(A):
pass
MAPPING_X = {
A: 'a',
B: 'b',
}
all_mappings = {} # type: typing.Dict[typing.Type[A], str]
all_mappings.update(MAPPING_X)
根据我对文档的理解,不应该发生此错误.
标签:python,typing,mypy 来源: https://codeday.me/bug/20190706/1392425.html