TypeVar

1.引入为什么需要TypeVar PEP484的作者希望借助typing模块引入类型提示，不改动语言的其它部分。通过精巧的元编程技术，让类支持[]运算不成问题。但是方括号内的T变量必须在某处定义，否则要大范围改动python解释器才能让泛型支持特殊的[]表示法。 鉴于此，我们增加了typing.Ty ......

contra-variance from typing import Callable class Food: ... class Meat(Food): ... class Animal: def eat(self, food: Food): ... class Dog(Animal): def ......