Java泛型——初探
泛型
1.什么是泛型?
集合旁边尖括号里写一个引用数据类型,限定集合存储的数据类型,那么这个集合中只能存储该类型或该类型的子类对象。
1.1背景:
JAVA推出泛型以前,程序员可以构建一个元素类型为Object的集合,该集合能够存储任意的数据类型对象,而在使用该集合的过程中,需要程序员明确知道存储每个元素的数据类型,否则很容易引发ClassCastException异常。
早期的object类型可以接收任意的对象类型,但是在实际的使用中,会有类型转换的问题。也就存在这稳患,所以Java提供了泛型来解决。
package demo01;
import java.util.ArrayList;
public class MainClass {
public static void main(String[] args) {
ArrayList list = new ArrayList();
list.add("java");
list.add(100);
list.add(true);//接收时用的Object
for(int i=0;i< list.size();i++){
Object o = list.get(i);
String str = (String) o;//使用时引发了异常
System.out.println(str);
}
}
}
1.2泛型的概念:
Java泛型(generics)是JDK5中引入的一个新特性,泛型提供了编译时类型安全监测机制,该机制允许我们在编译时检测到非法的类型数据结构。
泛型的本质就是参数化类型(把Integer,String等当成参数传入),也就是所操作的数据类型被指定为一个参数。
1.3泛型的好处:
- 类型安全(编译期间检查类型,将运行期错误转换到编译期)
- 消除了强制类型的转换的麻烦
package demo01;
import java.util.ArrayList;
public class MainClass {
public static void main(String[] args) {
// ArrayList list = new ArrayList();
// list.add("java");
// list.add(100);
// list.add(true);//接收时用的Object
//
// for(int i=0;i< list.size();i++){
// Object o = list.get(i);
// String str = (String) o;//使用时引发了异常
// System.out.println(str);
// }
ArrayList<String> strList = new ArrayList<>();
strList.add("a");
strList.add("b");
strList.add("c");
for(int i=0;i< strList.size();i++){
String s = strList.get(i);
System.out.println(s);
}
//泛型好处1:编译期间检查类型
// 2:消除了数据类型转换
System.out.println("-------");
ArrayList<Integer> intList = new ArrayList<>();
intList.add(100);
intList.add(200);
intList.add(300);//自动装箱
for(int i=0;i< intList.size();i++){
int num = intList.get(i);//泛型指定存储Integer自动拆箱
System.out.println(num);
}
}
}
2.泛型类、接口
-
泛型类的定义语法
class类名称〈泛型标识,泛型标识,…>{ private 泛型标识变量名; ... }
2.1常用的泛型标识:
- E - Element (在集合中使用,因为集合中存放的是元素)
- T - Type(表示Java 类,包括基本的类和我们自定义的类)
- K - Key(表示键,比如Map中的key)
- V - Value(表示值)
- N - Number(表示数值类型)
- ? - (表示不确定的java类型)
- S、U、V - 2nd、3rd、4th types
2.2泛型类
(1)使用语法
类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>();
(2)Java1.7以后,后面的<>中的具体的数据类型可以省略不写
类名<具体的数据类型> 对象名 = new 类名<>(); 也被称为菱形语法
菱形语法:
在 Java 7 版本以前,如果使用带泛型的接口、类定义变量,那么调用构造器创建对象时构造器的后面也必须带泛型,这显得有些多余了。例如如下两条语句:
List<String> strList = new ArrayList<String>();
Map<String, Integer> scores = new HashMap<String, Integer>();
上面两条语句中等号右边的尖括号部分完全是多余的,Java 7 版本以前是必需的,不能省略。从 Java 7 开始,Java 允许在构造器后不带完整的泛型信息,只要给出一对尖括号<>
即可。Java 可以推断出尖括号里应该是什么泛型信息。
即上面两条语句可以改写为如下形式:
List<String> strList = new ArrayList<>();
Map<String, Integer> scores = new HashMap<>();
把两个尖括号并排放在一起非常像一个菱形,这种语法也就被称为“菱形”语法。
package demo02;
/*
泛型类的定义
<T>泛型标识-类型形参
T创建对象的时候指定具体的数据类型
*/
public class Generic<T>{
//T,是由外部使用类的时候来指定。编译器会把T看作Object,再在合当的时候转换为传递进来的数据类型
private T key;
public Generic(T key) {
this.key = key;
}
public T getKey() {
return key;
}
public void setKey(T key) {
this.key = key;
}
@Override
public String toString() {
return "Generic{" +
"key=" + key +
'}';
}
}
package demo02;
public class MainClass {
public static void main(String[] args) {
//泛型类在创建对象的时候,来指定操作的具体数据类型,
// 只声明了一个Generic类,却能操作不同的类型提高代码的复用性
Generic<String> stringGeneric = new Generic<>("abc");
String key1 = stringGeneric.getKey();
System.out.println("k1"+key1);
Generic<Integer> integerGeneric = new Generic<>(100);
int key2 = integerGeneric.getKey();
System.out.println("k2"+key2);
//泛型类在创建对象的时候,没有指定类型,将按照Object类型来操作
Generic generic = new Generic("ABC");
Object key3 = generic.getKey();
System.out.println("k3"+key3);
//泛型类,不支持基本数据类型。只支持类类型
// 编译器会把T看作Object,再在合当的时候转换为传递进来的数据类
//Generic<int> generic1 = new Generic<int>(100);
System.out.println("-------");
//同一泛型类,根据不同的数据类型创建的对象,本质上是同意类型
System.out.println(integerGeneric.getClass());
System.out.println(stringGeneric.getClass());
System.out.println(stringGeneric.getClass()==integerGeneric.getClass());
}
}
2.3泛型类注意事项:
- 泛型类,如果没有指定具体的数据类型,此时,操作类型是Object
- 泛型的类型参数只能是类类型,不能是基本数据类型
- 泛型类型在逻辑上可以看成是多个不同的类型,但实际上都是相同类型(就是泛型类类型)
package demo03;
import java.util.ArrayList;
import java.util.Random;
/**
*抽奖器
* @param <T>
*/
public class ProductGetter<T> {
//泛型类
Random random = new Random();
//奖品
private T product;
//奖品池(集合)
ArrayList<T> list = new ArrayList<T>();
//添加奖品
public void addProduct(T t){
list.add(t);
}
//抽奖
public T getProduct(){
product = list.get(random.nextInt(list.size()));
return product;
}
}
package demo03;
public class MainClass {
public static void main(String[] args) {
ProductGetter<String> stringProductGetter = new ProductGetter<>();
String[] strProducts = {"利拉德","杜兰特","勒布朗","乔丹"};
for (int i = 0; i < strProducts.length; i++) {
stringProductGetter.addProduct(strProducts[i]);
}
//抽奖
String product1 = stringProductGetter.getProduct();
System.out.println("恭喜您抽中了"+product1);
System.out.println("------");
ProductGetter<Integer> integerProductGetter = new ProductGetter<>();
int[] intProducts = {10000,5000,3000,500,30000};
for (int i = 0; i < intProducts.length; i++) {
integerProductGetter.addProduct(intProducts[i]);
}
Integer product2 = integerProductGetter.getProduct();
System.out.println("恭喜您抽中了"+product2);
}
}
可以结合后面的泛型擦除理解,泛型擦除之后 Generic < String > 和Generic< Integer >都是Generic类。
2.4从泛型类派生子类
-
子类也是泛型类,子类和父类的泛型类型要一致
class ChildGeneric<T> extends Generic<T>
-
子类不是泛型类,父类要明确泛型的数据类型
class ChildGeneric extends Generic<String>
package demo04;
/*泛型类派生子类,子类也是泛型类,那么子类的泛型标识要和父类一致*/
public class ChildFirst<T> extends Parent<T>{
//调用父类构造函数
//给子类泛型标识是指定具体数据类型的,这个具体的数据类型也要传给父类,所以必须一致
@Override
public T getValue() {
return super.getValue();
}
}
package demo04;
/*
泛型类派生子类,如果子类不是泛型类,那么父类要明确数据类型
*/
public class ChildSecond extends Parent<Integer>{
//不能继续采用泛型,必须明确类型
@Override
public Integer getValue() {
return super.getValue();
}
@Override
public void setValue(Integer value) {
super.setValue(value);
}
}
package demo04;
public class Parent<E> {
private E value;
public E getValue(){
return value;
}
public void setValue(E value){
this.value = value;
}
}
package demo04;
public class Test04 {
public static void main(String[] args) {
ChildFirst<String> childFirst = new ChildFirst<>();
childFirst.setValue("abc");
String value = childFirst.getValue();
System.out.println(value);
System.out.println("-----");
ChildSecond childSecond = new ChildSecond();
childSecond.setValue(100);
Integer valuel = childSecond.getValue();
System.out.println(valuel);
}
}
2.5泛型接口
泛型接口的定义语法:
interface 接口名称 <泛型标识,泛型标识,…> {
泛型标识 方法名();
.....
}
2.6泛型接口的使用
-
实现类也是泛型类,实现类和接口的泛型类型要一致
-
实现类不是泛型类,接口要明确数据类型
package demo05;
/*
实现泛型接口的类,不是泛型类,需要明确实现泛型接口的数据类型。
*/
public class Apple implements Geneator<String>{
@Override
public String getKey() {
return "hello generic";
}
}
package demo05;
public interface Geneator<T> {
T getKey();
}
package demo05;
/**
* 泛型接口的实现类,是一个泛型类,那么要保证实现接口的泛型类泛型标识包含泛型接口的泛型标识
* @param <T>
* @param <E>
*/
public class Pair<T,E> implements Geneator<T>{
private T key;
private E value;
public Pair(T key, E value) {
this.key = key;
this.value = value;
}
@Override
public T getKey() {
return null;
}
public E getValue() {
return value;
}
}
package demo05;
public class Test05 {
public static void main(String[] args) {
Apple apple = new Apple();
String key = apple.getKey();
System.out.println(key);
System.out.println("-------");
Pair<String,Integer> pair = new Pair<>("count",100);
String key1 = pair.getKey();
Integer value = pair.getValue();
System.out.println(key1+"-"+value);
}
}
3.泛型方法
demo03中的方法是普通的成员方法,只是使用了泛型
3.1用法
泛型方法是在调用方法的时候指明泛型的具体类型。
3.2语法:
修饰符 <T,E, ...> 返回值类型 方法名(形参列表) {
方法体...
}
- public与返回值中间非常重要,可以理解为声明此方法为泛型方法。
- 只有声明了的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。方法泛型最好与类泛型一致,如果不一致,需要在方法上声明。
- < T >表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
- 与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型。
3.3泛型方法与可变参数
public <E> void print(E... e){
for (E e1 : e) {
System.out.println(e);
}
}
3.4泛型方法总结
- 泛型方法能使方法独立于类而产生变化
- 如果static方法要使用泛型能力,就必须使其成为泛型方法,静态方法必须声明自己的泛型,因为静态方法随着类的加载而加载,如果一开始类的泛型没有值那么静态方法也会没有值
package demo03;
import java.util.ArrayList;
import java.util.Random;
/**
*抽奖器
* @param <T>
*/
public class ProductGetter<T> {
//泛型类
Random random = new Random();
//奖品
private T product;
//奖品池(集合)
ArrayList<T> list = new ArrayList<T>();
//添加奖品
public void addProduct(T t){
list.add(t);
}
//抽奖
public T getProduct(){
product = list.get(random.nextInt(list.size()));
return product;
}
/*定义泛型方法*/
public <E> E getProduct(ArrayList<E> list){
return list.get(random.nextInt(list.size()));
}
/*
静态的泛型方法,采用多个泛型类型
*/
public static <T,E,K> void printType(T t,E e,K k){
System.out.println(t+"\t"+t.getClass().getSimpleName());
System.out.println(e+"\t"+e.getClass().getSimpleName());
System.out.println(k+"\t"+k.getClass().getSimpleName());
}
/*
泛型可变参数的定义
*/
public static <E> void print(E... e){
for(int i = 0 ;i<e.length;i++){
System.out.println(e[i]);
}
}
}
package demo06;
import demo03.ProductGetter;
import java.util.ArrayList;
public class Test06 {
public static void main(String[] args) {
ProductGetter<Integer> productGetter = new ProductGetter<>();
int []products = {100,200,400};
for (int i = 0; i < products.length; i++) {
productGetter.addProduct(products[i]);
}
//泛型类的成员方法的调用
Integer product = productGetter.getProduct();
System.out.println(product+"\t"+product.getClass().getSimpleName());
System.out.println("--------");
ArrayList<String> strList = new ArrayList<>();
strList.add("约基奇");
strList.add("恩比德");
strList.add("罗斯");
//泛型方法的调用,类型是通过调用方法的时候来指定
String product1 = productGetter.getProduct(strList);
System.out.println(product1+"\t"+product1.getClass().getSimpleName());
System.out.println("--------");
ArrayList<Integer> intList = new ArrayList<>();
intList.add(1000);
intList.add(5000);
intList.add(3000);
Integer product2 = productGetter.getProduct(intList);
System.out.println(product2+"\t"+product2.getClass().getSimpleName());
System.out.println("--------");
//调用多个泛型类型的静态泛型方法
ProductGetter.printType(100,"java:",true);
ProductGetter.printType(false,"java:",true);
System.out.println("--------");
//可变参数的泛型方法的调用
ProductGetter.print(1,2,3,4,5,6);
ProductGetter.print("a","b","c","d");
}
}
4.类型通配符
// List<?>list = new ArrayList();//当右边的泛型是不确定时,左边可以指定为?
4.1什么是类型通配符
- 类型通配符一般是使用"?"代替具体的类型实参。
- 所以,类型通配符是类型实参,而不是类型形参。
?可以代表任意类型
package demo07;
public class Box <E>{
private E first;
public E getFirst(){
return first;
}
public void setFirst(E first) {
this.first = first;
}
}
package demo07;
public class test07 {
public static void main(String[] args) {
Box<Number> box1 = new Box<>();
box1.setFirst(100);
showBox(box1);
Box<Integer> box2 = new Box<>();
box1.setFirst(200);
showBox(box2);
}
public static void showBox(Box<?> box){
Object first = box.getFirst();
System.out.println(first);
}
/*public static void showBox(Box<Integer> box){
Number first = box.getFirst();
System.out.println(first);
}*/
}
4.2类型通配符的上限
- 语法:
类/接口<? extends 实参类型>
要求该泛型的类型,只能是实参类型,或实参类型的子类类型。
? extends E
向下限定,E及其子类 - //addAll(int, Collection<? extends E>): boolean
package demo08;
import java.util.ArrayList;
public class TestUp {
public static void main(String[] args) {
ArrayList<Animal> animals = new ArrayList<>();
ArrayList<Cat> cats = new ArrayList<>();
ArrayList<MiniCat> miniCats = new ArrayList<>();
//cats.addAll(animals);
cats.addAll(miniCats);
cats.addAll(miniCats);
//showAnimal(animals);
showAnimal(cats);
showAnimal(miniCats);
}
/**
* 泛型上限通配符,传递的集合类型,只能是Cat或Cat的子类类型。
* @param list
*/
public static void showAnimal (ArrayList<? extends Cat> list){
for(int i = 0;i< list.size();i++){
Cat cat = list.get(i);
System.out.println(cat);
}
}
}
4.3类型通配符的下限
- 语法:
类/接口<? super 实参类型>
要求该泛型的类型,只能是实参类型,或实参类型的父类类型。
super E
向上限定,E及其父类
package demo08;
import java.util.ArrayList;
import java.util.List;
public class TestDown {
public static void main(String[] args) {
ArrayList<Animal> animals = new ArrayList<>();
ArrayList<Cat> cats = new ArrayList<>();
ArrayList<MiniCat> miniCats = new ArrayList<>();
showAnimal(animals);
showAnimal(cats);
//showAnimal(miniCats);
}
/**
* 类型通配符下限,要求集合只能是Cat或Cat的父类类型
* @param list
*/
public static void showAnimal(List<? super Cat> list){
list.add(new Cat());
list.add(new MiniCat());//下线通配符可以填充元素,包括子类元素
for (Object o : list){
System.out.println(o);
}
}
}
package demo08;
public class Animal {
public String name;
public Animal(String name){
this.name = name;
}
@Override
public String toString() {
return "Animal{" +
"name='" + name + '\'' +
'}';
}
}
package demo08;
public class Cat extends Animal{
public int age;
public Cat(String name,int age){
super(name);
this.age = age;
}
@Override
public String toString() {
return "Cat{" +
"name='" + name + '\'' +
", age=" + age +
'}';
}
}
package demo08;
public class MiniCat extends Cat{
public int level;
public MiniCat(String name, int age, int level) {
super(name, age);
this.level = level;
}
@Override
public String toString() {
return "MiniCat{" +
"name='" + name + '\'' +
", age=" + age +
", level=" + level +
'}';
}
}
package demo08;
import demo08.Animal;
import demo08.Cat;
import java.util.Comparator;
import java.util.TreeSet;
public class Test08 {
public static void main(String[] args) {
//TreeSet<Cat> treeSet = new TreeSet<>(new Comprator2());
TreeSet<Cat> treeSet = new TreeSet<>(new Comprator1());
//TreeSet<MiniCat> treeSet = new TreeSet<Cat>(new Comprator3());//因为是下线通配符所以错了
treeSet.add(new Cat("jerry",20));
treeSet.add(new Cat("amy",22));
treeSet.add(new Cat("frank",35));
treeSet.add(new Cat("jim",15));
for (Cat cat : treeSet) {
System.out.println(cat);
}
}
}
class Comprator1 implements Comparator<Animal> {
@Override
public int compare(Animal o1,Animal o2) {
return o1.name.compareTo(o2.name);
}
}
class Comprator2 implements Comparator<Cat> {
@Override
public int compare(Cat o1, Cat o2) {
return o1.age-o2.age;
}
}
class Comprator3 implements Comparator<MiniCat> {
@Override
public int compare(MiniCat o1, MiniCat o2) {
return o1.level-o2.level;
}
}
5.类型擦除(之后再讲)
5.1概念
泛型是Java 1.5版本才引进的概念,在这之前是没有泛型的,但是泛型代码能够很好地和之前版本的代码兼容。那是因为,泛型信息只存在于代码编译阶段,在进入JVM之前,与泛型相关的信息会被擦除掉,我们称之为–类型擦除。
2.分类:
- 无限制类型擦除
- 有限制类型擦除