在Java的泛型系统中,协变数组和类型擦除是两个重要的概念。本文将详细介绍这两个概念,并提供相应的源代码示例。
一、协变数组
协变数组是指在泛型中使用数组时,可以将子类型的数组赋值给父类型的数组。这意味着如果存在一个类型 B
是类型 A
的子类型,那么 B[]
类型的数组可以赋值给 A[]
类型的数组。
下面是一个示例代码:
class Fruit {
}
class Apple extends Fruit {
}
public class CovariantArrayExample {
public