协变 Covariance

允许子类型的泛型生产者用作其父类型生产者的型变关系。