Java泛型

Java泛型

一，前言

​ 学习Java泛型

二，泛型的概念

​ 学习集合时，我们都知道集合中是可以存放任意对象的，只要把对象存储集合后，那么这时他们都会被提升成Object类型。当我们在取出每一个对象，并且进行相应的操作，这时必须采用类型转换。

​ 因此在JDK5之后，新增了泛型(Generic)语法，让你在设计API时可以指定类或方法支持泛型，这样我们使用API的时候也变得更为简洁，并得到了编译时期的语法检查。

三，定义和使用含义泛型的类

• 含义泛型的类

定义格式：（在创建对象的时候确定泛型）

修饰符 class 类名<代表泛型的变量> { }

• 含义泛型的方法：

定义格式：(调用方法时，确定泛型的类型)

修饰符 <代表泛型的变量> 返回值类型 方法名(参数){ }

例：

public class MyGenericMethod {    
    
	public <MVP> void show(MVP mvp) {
		System.out.println(mvp.getClass());
	}
    
	public <MVP> MVP show2(MVP mvp) {  
		return mvp;
	}
}

public class GenericMethodDemo {
	public static void main(String[] args) {
		// 创建对象
		MyGenericMethod mm = new MyGenericMethod();
		// 演示看方法提示
        mm.show("aaa");
        mm.show(123);
        mm.show(12.45);
    }
}

• 含义泛型的接口

定义格式：(调用接口时，确定泛型的类型)

修饰符 interface接口名<代表泛型的变量> { }

例：

public interface MyGenericInterface<E>{
	public abstract void add(E e);
	public abstract E getE();  
}

public class MyImp1 implements MyGenericInterface<String> {
	@Override
	public void add(String e) {
		// 省略...
	}
	@Override
	public String getE() {
		return null;
	}
}

四，泛型规定的通配符

​ 我们在定义泛型类，泛型方法，泛型接口的时候经常会碰见很多不同的通配符，比如 T，E，K，V 等等。

通常情况下，T，E，K，V，？是这样约定的：

• ？表示不确定的 java 类型
• T (type) 表示具体的一个java类型
• K V (key value) 分别代表java键值中的Key Value
• E (element) 代表Element

五，通配符高级使用---受限泛型

​ 之前设置泛型的时候，实际上是可以任意设置的，只要是类就可以设置。但是在JAVA的泛型中可以指定一个泛型的上限和下限。

泛型的上限：

• 格式： 类型名称 <? extends 类 > 对象名称
• 意义： 只能接收该类型及其子类

泛型的下限：

• 格式： 类型名称 <? super 类 > 对象名称
• 意义： 只能接收该类型及其父类型

六，总结

• 一般在创建对象时，将未知的类型确定具体的类型。当没有指定泛型时，默认类型为Object类型。
• 泛型是数据类型的一部分，我们将类名与泛型合并一起看做数据类型。
• 泛型，用来灵活地将数据类型应用到不同的类、方法、接口当中。将数据类型作为参数进行传递。