JAVA泛型

文章目录

前言一、为什么使用泛型?二、泛型标记三、泛型使用

3.1泛型方法3.2泛型类3.3泛型接口 四、对泛型上限的限定五、对泛型下限的限定六、类型擦除总结

---

前言

在JAVASE的集合章节已经简单介绍了泛型的概念以及基本使用,本章将继续讲解有关泛型的内容,包括泛型上下限的限定以及类型擦除等内容。

---

一、为什么使用泛型?

在不使用泛型的情况下我们可以通过引用Object类型来实现参数的任意化,因为Object是所有类的父类。

但是我们仔细想想这样做的话有什么后果?
具体使用时需要进行强制类型转换(父类转成子类),要求开发者明确知道实际参数的引用类型,不然可能引起类型转换错误,而编译期无法识别这种错误,只能在运行期检测(程序运行出错时),显然这不是我们想看到的。

这时候使用泛型的好处就来了:泛型在编译期就能够检查类型是否安全,同时所有强制类型转换都是自动和隐式进行的,提高了代码的安全性和重用性。

---

二、泛型标记

泛型的本质是参数化类型(编译器可以自动定制作用于特定类型的类),提供编译时类型的安全检测机制,该机制允许程序在编译时检测非法的类型。

在使用泛型之前,我们先来了解一下有哪些泛型标记

类型通配符使用?表示所有具体的参数类型,例如List<?>在逻辑上是List、List等所有List<具体类型参数>的父类。

如果希望将类的继承关系加入到泛型应用中,就需要对泛型做限定,具体的限定有泛型上限和泛型下限的限定。

---

三、泛型使用 3.1泛型方法

将方法的参数类型定义为泛型,在方法内部根据不同类型参数执行不同的处理方法。比如要实现一个能够对字符串(String),整型(Integer),浮点型(Float)比较大小的方法,就可以使用JAVA泛型。

public class Compare { public static int compare(T t1, T t2){ if(t1 instanceof String){ return ((String) t1).compareTo((String) t2); }else if(t1 instanceof Integer){ return ((Integer) t1).compareTo((Integer) t2); }else if(t1 instanceof Float){ return ((Float) t1).compareTo((Float) t2); } else{ return -10; } } public static void main(String[] args) { System.out.println(Compare.compare("1","2")); System.out.println(Compare.compare(1,2)); System.out.println(Compare.compare(1.0f,2.0f)); }}

3.2泛型类

泛型类在定义类时在类上定义了泛型,类在使用时可以根据传入的不同参数类型实例化不同的对象。

public class GeneralClass { private T t; public void add(T t){ this.t=t; } public T get(){ return t; } public static void main(String[] args) { //根据需求初始化不同的需求 GeneralClassgenInt=new GeneralClass<>(); genInt.add(1); GeneralClassgenString=new GeneralClass<>(); genString.add("1"); }}

3.3泛型接口

和泛型类声明相似,在接口名后面定义了泛型,具体类型一般在实现类中进行声明。

//定义泛型接口public interface InterfaceGeneral{ public T getId();}//定义泛型接口实现类public class ImplInterfaceGeneral implements InterfaceGeneral{ @Override public Integer getId() { Random random=new Random(); return random.nextInt(); } public static void main(String[] args) { ImplInterfaceGeneral implInterfaceGeneral=new ImplInterfaceGeneral(); System.out.println(implInterfaceGeneral.getId()); }}

---

四、对泛型上限的限定

在JAVA中使用"?"和"extends"关键字指定泛型的上限,具体用法为<? extends T>,表示该通配符所代表的类型是T类的子类或T接口的子接口

package com.ffyc.forward.generic;public class Demo { public T price; public void show(Demo<? extends Number> demo) { System.out.println(demo.price); } public static void main(String[] args) { Demo extendDemo = new Demo(); extendDemo.show(extendDemo); }}

如果将类型改为Object,则在编译时就会报错,因为Object不是Number的子类(这就是安全检测机制)

Demo