一.基础定义与应用方向
1.定义:
2.例如:
class MyArray {
public Object[] array = new Object[10];
public Object getPos(int pos) {
return this.array[pos];
}
public void setVal(int pos,Object val) {
this.array[pos] = val;
}
}
public class TestDemo {
public static void main(String[] args) {
MyArray myArray = new MyArray();
myArray.setVal(0,10);
myArray.setVal(1,"hello");//字符串也可以存放
String ret = myArray.getPos(1);//编译报错
System.out.println(ret);
}
}
注意:这样写虽然基本数据类型都可以传入在传出,但是对于引用类型数据就不行会出现报错。(原因在于确定传参类型为Object类,String类不能传)如果想避免这种情况,就要使用泛型。
二.泛型类的使用
1.泛型的基本格式
class 泛型类名称<类型形参列表> {
// 这里可以使用类型参数
}
class 泛型类名称<类型形参列表> extends 继承类/* 这里可以使用类型参数 */ {
// 这里可以使用类型参数
}
泛型类名<类型实参> 变量名=new 泛型类<类型实参>(); // 实例化一个泛型类对象
注意:泛型只接受类,所以所有的基本数据类型都要写成其包装类。
MyArray<Integer> list = new MyArray<>(); // 可以推导出实例化需要的类型实参为 Integer所以后面的<>内可以不写类型实参。
2.例子泛型改写
class any<T>{
public T[] object = (T[])new Object[10];//不加<T>打印的只能是object类存不了String类
public void set (int a,T b){
object[a]=b;
}
public T get(int a){
return object[a];
}
}
public class TestDemo {
public static void main(String[] args) {
any<Integer>an=new any<>();//<>这样可以指定接下来传入的数据类型,编译器会自己进行检查非该
//类型报错
an.set(1,3);
System.out.println(an.get(1));
String b="dasd";
any<String>an2=new any<>();
an2.set(2,b);
System.out.println(an2.get(2));
}
}
3注意:
三.泛型方法的使用
1.语法:
public class Util {
//静态的泛型方法 需要在static后用<>声明泛型类型参数
public static <E> void swap(E[] array, int i, int j) {
E t = array[i];
array[i] = array[j];
array[j] = t;
}
}
四.泛型的上界
1.使用示例
2.复杂示例
五.泛型编译过程
1.擦除机制

由此可见所有的泛型被替换成Object。Java的泛型机制是在编译级别实现的。编译器生成的字节码在运行期间并不包含泛型的类型信息。
总结:类型擦除是Java泛型的一个重要特性。它的核心是:
-
泛型信息仅在编译时存在:在编译阶段,Java会将泛型类型参数(如
T
)替换为它们的上下界。如果没有指定上下界,默认替换为Object
。 -
运行时泛型信息被擦除:运行时,泛型类型参数(如
T
)会被擦除,只剩下原始类型。
关键点:
-
类型擦除并不是简单地把
T
替换为Object
。它会根据上下界来决定替换的类型。当上下界改变时情况会发生变化。
2.为什么不能实例化泛型类型数组
-
Java不允许直接创建泛型数组:在Java中,泛型类型参数(如
T
)在运行时会被擦除,因此编译器无法确定T
的具体类型,也就无法直接创建T[]
类型的数组。 -
类型擦除的限制:由于类型擦除,运行时无法知道
T
的具体类型,因此无法分配正确的数组类型。
如果你希望创建一个泛型数组,可以通过以下方式绕过这个限制:
T[] ts = (T[]) new Object[5];
这里通过强制类型转换(T[])
来创建一个Object[]
数组,并将其赋值给T[]
类型的变量。虽然这种方式可以编译通过,但它存在类型安全问题,可能会在运行时抛出ClassCastException
。
六.类型推导:(即何时可以不用写<类型参数>)
使用泛型方法时:
//使用类型推导
Integer[] a = { ... };
swap(a, 0, 9);
String[] b = { ... };
swap(b, 0, 9);
//不使用:
Integer[] a = { ... };
Util.<Integer>swap(a, 0, 9);
String[] b = { ... };
Util.<String>swap(b, 0, 9);