协变，逆变，不可变是各语言在支持泛型型变中通用的术语，所以有必要理解清楚其设计思想与作用，这样在语言过渡中才能有共性的认识，加快学习速度。之前没有彻底掌握，今天又重新梳理了一遍