Python键入有效的布尔组合

Question

我正在尝试使用Python的类型检查器来捕获不兼容的权限。我有一个允许的情况，可以允许（布尔值）（布尔）（布尔值）进行特定的诉讼。显然，我想排除禁止和要求的情况，因为这是不可能的。

这是我尝试的。

Permissions = Union[
    Tuple[Literal[False], Literal[False]],  # forbidden and not required
    Tuple[Literal[True], Literal[False]],   # permitted and not required
    Tuple[Literal[True], Literal[True]]     # permitted and required
    # (No option for forbidden and required)
]

forbidden: Permissions = (False, False)
allowed: Permissions = (True, False)
required: Permissions = (True, True)
mypy_should_catch: Permissions = (False, True)

我希望Mypy允许前三个，但禁止最后一个。

但是，我实际上得到的是所有四个错误的错误：

error: Incompatible types in assignment (expression has type "Tuple[bool, bool]", variable has type "Union[Tuple[Literal[False], Literal[False]], Tuple[Literal[True], Literal[False]], Tuple[Literal[True], Literal[True]]]")

如何使这项工作？

Answer 1

Mypy 0.941确实只捕获最后一行：

$ mypy test.py
test.py:13: error: Incompatible types in assignment (expression has type "Tuple[bool, bool]", variable has type "Union[Tuple[Literal[False], Literal[False]], Tuple[Literal[True], Literal[False]], Tuple[Literal[True], Literal[True]]]")  [assignment]
Found 1 error in 1 file (checked 1 source file)

因此，您只需要升级即可。

Answer 2

最后，我在尝试以类型安全的方式捕获禁止/允许/要求的逻辑方向略有不同。

class Permissions(Enum):
    FORBIDDEN = auto()
    PERMITTED = auto()
    REQUIRED = auto()

    @property
    def permitted(self) -> bool:
        return self is not self.FORBIDDEN

    @property
    def required(self) -> bool:
        return self is self.REQUIRED

但是，我不会将其标记为答案，因为仍然存在一个问题：为什么原始方法无法正常工作。