3.3 自定义泛型方法
前面我们知道了如何定义泛型类,在类上定义的泛型,在方法中也可以使用。下面我们来看一下如何自定义泛型方法。
泛型方法不一定写在泛型类当中。当类的调用者总是关心类中的某个泛型方法,不关心其他属性,这个时候就没必要再整个类上定义泛型了。
直接在方法上设置泛型(generic)
package com.caq.List; public class Generic03 { public <T> void test(T t){ System.out.println(t); } public static void main(String[] args) { Generic03 generic03 = new Generic03(); generic03.test("Monkey"); generic03.test(1); generic03.test(1.00000); generic03.test(1L); } }
运行结果:
Monkey11.01
实例中,使用<T>来定义test方法的泛型,它接收一个泛型的参数变量并在方法体打印;调用泛型方法也很简单,在主方法中实例化对象,调用对象下的泛型方法,可传入不同类型的参数。
4. 泛型类的子类
泛型类也是一个 Java 类,它也具有继承的特性。
泛型类的继承可分为两种情况:
子类明确泛型类的类型参数变量;
子类不明确泛型类的类型参数变量。
4.1 明确类型参数变量
例如,有一个泛型接口:
package com.caq.List;public interface GenericInterface01<T> { default void show(T t) { }}
泛型接口的实现类如下:
package com.caq.List;public class GenericInterfaceImple implements GenericInterface01<String> { @Override public void show(String s) { System.out.println(s); }}
子类实现明确了泛型的参数变量为String类型。因此方法show()的重写也将T替换为了String类型。
4.2 不明确类型参数变量
当实现类不确定泛型类的参数变量时,实现类需要定义类型参数变量,调用者使用子类时,也需要传递类型参数变量。
如下是GenericInterface接口的另一个实现类:
package com.caq.List; public class GenericInterfaceImple<T> implements GenericInterface01<T> { @Override public void show(T t) { System.out.println(t); } }
在主方法中调用实现类的show()方法:
package com.caq.List; public class GenericInterfaceImple<T> implements GenericInterface01<T> { @Override public void show(T t) { System.out.println(t); } public static void main(String[] args) { GenericInterfaceImple<Integer> integerGenericInterfaceImple = new GenericInterfaceImple<>(); integerGenericInterfaceImple.show(100); } }
5. 类型通配符
我们先来看一个泛型作为方法参数的实例:
package com.caq.List; /** * 遍历并打印集合中的每一个元素 * 遍历是二叉树上最重要的运算之一,是二叉树上进行其它运算之基础。 树的遍历是树的一种重要的运算。 * 所谓遍历是指对树中所有结点的信息的访问,即依次对树中每个结点访问一次且仅访问一次。 * @param list 要接收的集合 */ public class Generic04 { public void printListElement(List<object> list){ for (Object o : list) { System.out.println(o); } } }
观察上面的代码,参数list的限定的泛型类型为Object, 也就是说,这个方法只能接收元素为Object类型的集合,如果我们想传递其他元素类型的集合,是行不通的。例如,如果传递装载Integer元素的集合,程序在编译阶段就会报错:
Tips: 泛型中的List<Object>并不是List<Integer>的父类,它们不满足继承关系。
5.1 无限定通配符
想要解决这个问题,使用类型通配符即可,修改方法参数处的代码,将<>中间的Object改为?即可:
public void printListElement(List<?> list){
此处的?就是类型通配符,表示可以匹配任意类型,因此调用方可以传递任意泛型类型的列表。
实例演示
package com.caq.List; import java.util.ArrayList; import java.util.List; public class Generic04 { //List<?>可以理解为列表的类型,可以是整数型列表,也可以是字符串类型列表,list代表的是遍历的元素代表 public void printListElement(List<?> list){ for (Object o : list) { System.out.println(o); } } public static void main(String[] args) { //实例化一个整型列表 List<Integer> interger = new ArrayList<>(); //加元素 interger.add(1); interger.add(2); interger.add(2222); //实例化对象 Generic04 generic04 = new Generic04(); generic04.printListElement(interger); //实例化一个字符串类型列表 ArrayList<String> strings = new ArrayList<>(); strings.add("element1"); strings.add("element2"); strings.add("element3"); generic04.printListElement(strings); } }
运行结果:
element1 element2 element3
5.2 extends 通配符
extends通配符用来限定泛型的上限。什么意思呢?依旧以上面的实例为例,我们来看一个新的需求,我们希望方法接收的List 集合限定在数值类型内(float、integer、double、byte 等),不希望其他类型可以传入(比如字符串)。此时,可以改写上面的方法定义,设定上界通配符:
public void printListElement(List<? extends Number> list) {
这样的写法的含义为:List集合装载的元素只能是Number自身或其子类(Number类型是所有数值类型的父类),完整实例如下:
import java.util.ArrayList; import java.util.List; public class Generic04 { public void printListElement(List<? extends Number> list) { for (Object o : list) { System.out.println(o); } } public static void main(String[] args) { // 实例化一个整型的列表 List<Integer> integers = new ArrayList<>(); // 添加元素 integers.add(1); integers.add(2); integers.add(3); GenericDemo4 generic04 = new Generic04(); // 调用printListElement()方法 generic04.printListElement(integers); } }
5.3 super 通配符
既然已经了解了如何设定通配符上界,也就不难理解通配符的下界了,可以限定传递的参数只能是某个类型的父类。
语法如下:
<? super Type>
6. 小结
使用泛型可以避免强制类型转换,也可以避免运行期就抛出的ClassCastException异常
在使用泛型时,要注意变量声明的泛型类型要匹配传递给实际对象的类型, Java 7 及以后的版本中,构造方法中可以省略泛型类型,推荐直接省略
如何自定义泛型类和泛型方法,在实际的开发中,我们想要编写比较通用的代码就避免不了使用泛型,慢慢体会星弟们~~~
另外,泛型也是可以继承的
类型通配符的概念和使用场景