- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在寻找一种将参数传递给子类的简单方法。 https://www.python.org/dev/peps/pep-0487/提供了这样一个符号:class C(Base, arg=value)
。这可以完美地工作,并且可以通过 mypy 对普通类进行正确的类型检查,但是对于继承了一些 Generic[T] 的泛型类(请参见下面的代码),它会失败。我错过了什么?
我正在使用 Python 3.6.8(Ubuntu 18.04 的标准 Python3)和 mypy 0.740。
这里有两个最小的独立示例:可以将它们放在两个 .py 文件中,对它们进行类型检查并运行它们。
此代码可以进行类型检查并正常运行:
# ok.py
# PEP 487, adapted from QuestBase example
class Foo(object):
variable = "???"
def __init_subclass__(cls, arg: str, **kwargs) -> None:
cls.variable = arg
super().__init_subclass__(**kwargs) # type: ignore
class Bar(Foo, arg="value"): ...
print(Bar.variable)
此代码进行了类型检查,但在运行时失败,出现 TypeError: __init_subclass__() missing 1 required positional argument: 'arg'
:
# problem.py
from typing import Generic, TypeVar
T = TypeVar('T')
# PEP 487, adapted from QuestBase example
class Foo(Generic[T]):
variable = "???"
def __init_subclass__(cls, arg: str, **kwargs) -> None:
cls.variable = arg
super().__init_subclass__(**kwargs) # type: ignore
class Bar(Foo[T], arg="value"): ... # crash
崩溃日志:
Traceback (most recent call last):
File "problem.py", line 12, in <module>
class Bar(Foo[T], arg="value"): ... # crash
File "/usr/lib/python3.6/typing.py", line 682, in inner
return func(*args, **kwds)
File "/usr/lib/python3.6/typing.py", line 1143, in __getitem__
orig_bases=self.__orig_bases__)
File "/usr/lib/python3.6/typing.py", line 978, in __new__
self = super().__new__(cls, name, bases, namespace, _root=True)
File "/usr/lib/python3.6/typing.py", line 137, in __new__
return super().__new__(cls, name, bases, namespace)
File "/usr/lib/python3.6/abc.py", line 133, in __new__
cls = super().__new__(mcls, name, bases, namespace, **kwargs)
TypeError: __init_subclass__() missing 1 required positional argument: 'arg'
显然,Python 内部文件的崩溃揭示了我的文件中的问题。再一次,我错过了什么?
是否有真正经过类型检查的解决方案或解决方法?
下面的例子不是一个很好的解决方案(错误但类型检查):
# fake.py
from typing import Generic, TypeVar
T = TypeVar('T')
class Foo(Generic[T]):
variable = "???"
class Bar(Foo[T]):
variable = "value"
class KO(Foo[T]):
... # forgot assignment but still typechecks
print(KO.variable) # "???"
以下示例使用构建类的函数,在运行时没有问题,但不进行类型检查:mypy 无法将函数的结果识别为可派生的基类:
# param.py
from typing import Generic, TypeVar, Type
T = TypeVar('T')
class Foo(Generic[T]):
variable = "???"
def bar(arg: str) -> Type[Foo[T]]:
class C(Foo[T]):
variable = arg
return C
Bar: Type[Foo[float]] = bar("value")
print(Bar.variable)
class Baz(Bar): ... # doesn't typecheck
print(Baz.variable)
错误日志:
param.py:16: error: Variable "param.Bar" is not valid as a type
param.py:16: error: Invalid base class "Bar"
最佳答案
根据您的 Python 版本,Foo[T]
可能是 Foo
的子类,也可能是其他一些奇怪的对象。 Python 3.6.8 是 Foo[T]
是 Foo
的子类的版本之一。由于它是 Foo
的子类,因此需要使用 arg
的一些值来创建它,但它没有,因此出现错误。
在 Python 3.7 和 3.8 上,Foo[T]
不是 Foo
的子类,事实上,它根本不是一个类。在这些版本上,您的代码应该可以正常工作。 (我测试了 3.7.0,它工作了。)不过,我不指望它会保持良好状态。他们不断对 typing
内部进行奇怪的新更改,因此将来可能会出现问题。
关于python - 如何使具有值参数的子类化与 mypy 泛型兼容?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58575282/
我正在探索 Python 的静态类型检查器,并在设置 Visual Studio Code 时遇到了不同的包。我已经安装了 python-language-server 用于 linting 和格式化
我使用 disallow-untyped-defs 选项运行 mypy。当我用@overload 注释函数类型并在定义中省略注释时,mypy 仍然会产生错误。对我来说,似乎应该将函数视为带注释的。 例
我想将以下内容添加到 pre-commit对于一个团队: - repo: https://github.com/pre-commit/mirrors-mypy rev: 'v0.720'
我正在尝试将 MyPy 与使用 ruamel.yaml 的模块一起使用,而 Mypy 无法找到 ruamel.yaml,即使 Python 可以毫无问题地找到它。我很困惑,因为我也找不到名为 YAML
可以通过 json.dumps 转换为 JSON 字符串的值是: - 标量:数字和字符串 - 容器:映射和可迭代 Union[str, int, float, Mapping, Iterable] 你
我想将 TypedDict 与 Union 结合起来。这样函数就可以返回 A 或 B。 Mypy 能够直接正确检测 TypedDict 返回类型。但是当 TypedDict 嵌套在 Union 中时,
我正在接收来自远程方的消息,这些消息被解码为如下所示的类: class SomeMessage(MessageType): foo: Optional[int] bar: Option
我试图找到一种方法来区分参数是否已传递给方法。例如,我有以下功能: @dataclass class Record: id: int name: str completed_a
我无法让 Mypy 在这里识别正确的类型。我想要做的就是为类创建一个 dict 名称,这样我就可以通过提供作为其属性的 type_name 来获取该类。也许是因为 dataclass 和 datacl
我有一个变量 x 和一个文字列表(比如 0、1、2)。我想将 x 转换为这些文字之一:如果 x 在列表中,我返回它;否则我返回一个后备值: from typing import Literal, Se
考虑以下代码: def foo(a: dict[str | tuple[str, str], str]) -> None: pass def bar(b: dict[str, str]) ->
我有以下代码片段: from typing import TypedDict class Super(TypedDict): foo: int class SubA(Super): b
我正在尝试理解 typing.overload 并将其应用到一个简单的案例中,我想要一个接受输入的函数 x: Literal["foo", "bar"] 并返回列表 [x]。 我希望 mypy 根据x
我正在使用 Python 3.8.1 和 mypy 0.782。我不明白为什么 mypy 提示以下代码: from typing import Union, List, Dict Mytype = U
我正在尝试定义方法 foo 的返回值作为 AbstractChild 的列表子类实例,但 mypy 一直给我一个错误。 class AbstractParent(ABC): @abstract
class BaseClass: p: int class DerivedClass(BaseClass): q: int def p(q: Callable[[BaseClass],
有没有办法让这项工作 from typing import Literal def foo(bar: Literal["bar"]) -> Literal["foo"]: foo = "foo
一些功能如 numpy.intersect1d返回不同的类型(在这种情况下是一个 ndarray 或三个 ndarray 的元组)但编译器只能推断其中一个,所以如果我喜欢: intersection:
可以通过获取可能成员的列表来创建枚举,我正在这样做: # example_issue.py import enum yummy_foods = ["ham", "cheese"] foods = en
我有一组要在 python3.6 环境中运行的命名空间包。 它们分别设置如下: if sys.version_info < (3, 6): print("Python versions < 3
我是一名优秀的程序员,十分优秀!