3

这是一个由两部分组成的问题，但第二部分取决于第一部分。

出于教育目的，我正在尝试为组（抽象代数的概念）实现一个抽象基类和测试套件。代数群的部分定义等同于类型约束，我想在 ABC 上实现该类型约束，如果具体类上的方法不符合该约束，我会抱怨。

对于逻辑下的布尔值组，我有一个第一遍实现and，但它至少有两个问题，我希望你能帮我解决它。

from __future__ import annotations
from abc import ABC, abstractmethod


class AbsGroup(ABC):
    @abstractmethod
    def op(self, other: AbsGroup) -> AbsGroup:   # <-- Line-of-interest #1
        pass


class Bool(AbsGroup):

    def __init__(self, val="False"):

        if val not in ["True", "False"]:
            raise ValueError("Invalid Bool value %s" % val)

        self.val = val

    def op(self, other):
        """Logical AND"""
        if self.val == "True" and other.val == "True":  # <-- Line-of-interest #2
            return Bool("True")
        return Bool("False")

    def __eq__(self, other):
        return self.val == other.val

    def __repr__(self):
        return self.val

首先：兴趣线#1 是在做类型约束工作，但当前的实现是错误的。它只检查该方法是否接收并返回一个AbsGroup实例。这可以是任何AbsGroup实例。我希望它检查它所继承的具体类，它接收并返回该具体类的实例（因此在Bool它接收并返回的实例的情况下Bool）。练习的重点是在一个位置执行此操作，而不必在每个具体类上专门设置它。我认为这是通过一些类型提示泛型完成的，这些泛型比我尚未深入研究的类型提示要深一些。我该怎么做呢？

其次：如何检查具体方法是否符合抽象类型提示？我的 IDE (PyCharm) 中的类型检查器在 Line-of-interest #2 处抱怨，因为它预计other是 type AbsGroup，它没有val属性。这是意料之中的，如果我能找出第一个问题的解决方案，它就会消失，但我的 IDE 是我能找到的唯一能注意到这种差异的东西。mypy默认情况下对此事保持沉默，flake8 和 pylint 也是如此。PyCharm 很好，但如果我想将其合并到工作流中，如果我的具体方法不符合抽象签名，我必须运行什么命令会失败？

4

1 回答 1

5

第一个提示：如果mypy没有告诉您足够多的信息，请尝试mypy --strict。

您正确地意识到op基类中的类型注释不够严格，实际上与子类不兼容。

看看这个不起作用的例子。

from __future__ import annotations
from abc import ABC, abstractmethod


class AbsGroup(ABC):
    @abstractmethod
    def op(self, other: AbsGroup) -> AbsGroup:
        pass


class Bool(AbsGroup):
    def __init__(self, val: str = "False") -> None:
        self.val = val

    def op(self, other: Bool) -> Bool:
        ...

我用正确的类型进行了注释op，Bool但现在 mypy 抱怨：

file.py:15：错误：“op”的参数 1 与超类型“AbsGroup”不兼容；超类型将参数类型定义为“AbsGroup”

您有两个选择：要么使基本注释的限制更少（Any），要么使您的类成为Generic一个：

from __future__ import annotations
from abc import ABC, abstractmethod

from typing import TypeVar, Generic


T = TypeVar('T')


class AbsGroup(Generic[T], ABC):
    @abstractmethod
    def op(self, other: T) -> T:
        pass

# EDIT: ADDED QUOTES AROUND Bool
class Bool(AbsGroup['Bool']):
    def __init__(self, val: str = "False") -> None:
        self.val = val

    def op(self, other: Bool) -> Bool:
        ...

这包括几个步骤：

  1. 创建一个类型变量T（看起来类似于其他语言中的泛型类型变量）
  2. 让基类也继承自Generic[T]使其成为泛型类
  3. 更改op方法以获取并返回一个T
  4. 让子类继承自AbsGroup[Bool]（在 C++ 中这称为CRTP）

这会沉默mypy --strict，并且 PyCharm 正确推断op.

编辑：

之前的子类定义看起来像这样class Bool(AbsGroup[Bool]): ... ，没有引号。但这不起作用，并且NameError在创建类时会抛出一个：

NameError：名称“布尔”未定义

这是PEP 563中所写的预期行为。

[...] 但是，类型模块中的 API 使用该语言的其他句法结构，这些 API 仍然需要使用字符串文字解决前向引用。该列表包括：[...]

  • 基类：

    class C(Tuple['<type>', '<type>']): ...

因此，即使我们使用了将来的导入，在这种情况下仍然需要引号。

请注意：您为什么对布尔值使用字符串符号？已经有两个名为Trueand的完美工作实例False。这将使您的代码更简单。例如，构造函数中的检查可以简化为if type(val) is bool（我不会isinstance在这里使用，因为您可能不想val成为自定义类型？）。

于 2019-11-04T14:28:45.183 回答