List[Optional[int]] 赋值时的类型检查

如何解决List[Optional[int]] 赋值时的类型检查

mypy 似乎足够聪明，可以在检查 None 的可选值后检测到该类型的 Optional 部分被忽略。

含义：声明值：Optional[int] 会导致值在 int 之后表现得像 if value is not None。

我想我遇到了类似的问题，但在 Optional int 中使用了 list。

这是演示片段：

a: List[Optional[int]] = [None,None]

a[0] = 5
a[1] = 10

b: int = 0

if a[0] != None:
    b = a[0]

它显示一个错误：

test.py:12: error: Incompatible types in assignment (expression has 
type "Optional[int]",variable has type "int")
Found 1 error in 1 file (checked 1 source file)

我确实检查是否 a[0] is not None 但我不知道为什么它仍然无法将 a[0] 的类型从 int | None 缩小到 int 作为 {{ 的条件1}} 已被检查。

解决方法

我相信 mypy 目前可以理解 is None 和 is not None 检查：

https://github.com/python/mypy/issues/8000

您需要为 if self.ignore is None 做 mypy 才能拿起那个 [...]

很明显

if a[0] is not None:

应该可以。请注意 is not None 和 != None may not mean the same thing。