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 及以后的版本中，构造方法中可以省略泛型类型，推荐直接省略
如何自定义泛型类和泛型方法，在实际的开发中，我们想要编写比较通用的代码就避免不了使用泛型，慢慢体会星弟们~~~
另外，泛型也是可以继承的
类型通配符的概念和使用场景
