如何正确地使用可选的赋值给无？

Question

我有一个类似于描述的here的问题，我可以用下面的例子(使用py3.8)来再现这个问题；我有两个类似的类：

from typing import Optional


class B:
    def __init__(self, name):
        self.name = name


class A:

    def __init__(
        self,
        name: str,
        clb: Optional[B] = None,
    ):
        self.name = name

        if clb is not None:
            if isinstance(clb, B):
                self.clb = clb
            else:
                raise TypeError("clb has to be of type B.")
        else:
            self.clb = None

如果我现在做了

mypy filename.py

我会收到

错误:赋值中不兼容的类型(表达式的类型为“无”，变量的类型为"B")

如果我这样做了，我可以消除这个错误。

self.name = name
self.clb = None

if clb is not None:
    ...

还有其他方法可以避免这个错误吗？

Answer 1

将检查压缩到涵盖所有可能变体的单个测试中。执行单个任务，结果如下：

    if clb is None or isinstance(clb, B):
        self.clb = clb
    else:
        raise TypeError("clb has to be of type B.")

Answer 2

简单的解决方案是只将变量赋值在一个位置。

def __init__(self, name: str, clb: Optional[B] = None):
    self.name = name
    self.clb = clb

在我看来，您应该完全摆脱isinstance检查。Mypy现在负责检查您的类型，手动检查有点多余。