mypy 列表中对象继承的问题

Python 3.6.5 和 mypy 0.600

我写了代码：

from typing import List


class Animal():
    pass


class Dog(Animal):
    def __init__(self) -> None:
        super()

    def bark(self) -> None:
        pass


class Cat(Animal):
    def __init__(self) -> None:
        super()

    def meow(self) -> None:
        pass


arr1: List[Dog] = [Dog(), Dog()]
arr2: List[Animal] = [Dog(), Dog()]

# error: Incompatible types in assignment (expression has type "List[Dog]", variable has type "List[Animal]")
arr3: List[Animal] = arr1

我不明白，为什么我有一个错误“赋值中的类型不兼容”和变量“arr3”。 Dog 是一个继承自 Animal 的类。 例如，变量“arr2”没有错误。

想象一下这是可能的：

arr3: List[Animal] = arr1

现在你认为你有动物列表，但这实际上是狗列表（请注意arr3不是副本arr1， 他们是the same list).

因为您认为这是动物列表，所以您可以添加Cat to it.

但是，因为这实际上是狗的列表，所以您不能添加Cat到它。否则你会失败AttributeError在尝试使用狗特定的属性后。

更一般地说，列表是不变的 -List[Animal]不能分配给List[Dog]（因为它已经可以包含猫）并且List[Dog]不能分配给List[Animal]（因为你可以稍后添加猫）

这在Python中可能不明显，但你可以做简单的测试：

arr3: List[Animal] = arr1 
arr3.append(Cat())
for dog in arr1:
    print(dog.bark())

Mypy 不允许这样做，因为此分配可能会破坏您的代码逻辑