为什么要有这样的概念？

协变和逆变的概念在编程语言的类型系统中非常重要，主要原因包括以下几点：

1. 类型安全 —— 所有成员可用

协变和逆变帮助确保代码的类型安全。当函数或数据结构能够接受子类型（协变）或父类型（逆变）时，程序员可以更灵活地使用类型，而不会引入潜在的错误。这种灵活性使得代码能够处理更广泛的输入和输出，同时减少运行时错误。