泛型类型的协变（covariant）和逆变