mypy和``没有

Question

采用以下功能：

from typing import Optional


def area_of_square(width: Optional[float] = None, 
                   height: Optional[float] = None) -> float:
    if width is None and height is None:
        raise ValueError('You have not specified a width or height')
    if width is not None and height is not None:
        raise ValueError('Please specify a width or height, not both')

    area = width**2 if width is not None else height**2
    return area

在afir =线上，mypy抱怨高度可能无。

我可以在其上方添加以下行：

    height = typing.cast(int, height)

但这是不正确的，因为高度可以是none。用任何形式的逻辑包裹该铸件会使Mypy迷失了，我又回到了错误。

我个人使用打字以进行可读性并避免错误。得到这样的错误（通常使用懒惰的初始化和none的其他类似用途）会破坏目的，因此我喜欢在有意义的情况下修复它们。

在这种情况下，人们使用哪些策略？

Answer 1

mypy无法用一个常见条件绑定多个变量。

以下行类型guard两个变量：

a is None and b is None
a is not None and b is not None

因此它们按预期工作，而另一个条件：

a is not None or b is not None

mypy不提供信息，您不能表达“至少其中一个是不是无 “并在类型检查中使用它。

我会做

from typing import Optional


def area_of_square(width: Optional[float] = None, 
                   height: Optional[float] = None) -> float:
    if width is not None and height is not None:
        raise ValueError('Please specify a width or height, not both')
    elif width is not None:
        area = width**2 
    elif height is not None:
        area = height**2
    else:
        raise ValueError('You have not specified a width or height')
    return area