今天笔者带领大家一起来聊一聊TS中的一个概念性问题：逆变、协变、不变都是个啥。了解了这些概念，以后对于类型兼容就会有了自己的判断