java

关注公众号 jb51net

关闭
首页 > 软件编程 > java > Java 泛型

Java泛型在集合使用与自定义及继承上的体现和通配符的使用

作者:叶绿体不忘呼吸

泛型又称参数化类型,是Jdk5.0 出现的新特性,解决数据类型的安全性问题,在类声明或实例化时只要指定好需要的具体的类型即可。Java泛型可以保证如果程序在编译时没有发出警告,运行时就不会产生ClassCastException异常。同时,代码更加简洁、健壮

泛型的概念

集合容器类在设计阶段/声明阶段不能确定这个容器实际存的是什么类型的对象,所以在JDK1.5之前只能把元素类型设计为Object,JDK1.5之后使用泛型来解决。因为这个时候除了元素的类型不确定,其他的部分是确定的,例如关于这个元素如何保存,如何管理等是确定的,因此把元素的类型设计成一个参数,这个类型参数叫做泛型。Collection<E>ArrayList<E><E>就是类型参数,即泛型。

所谓泛型,就是允许在定义类、接口时通过一个标识表示类中某个属性的类型或者是某个方法的返回值及参数类型。这个类型参数将在使用时(例如,继承或实现这个接口,用这个类型声明变量、创建对象时)确定(即传入实际的类型参数,也称为类型实参)。

从JDK1.5以后,Java引入了“参数化类型(Parameterized type)”的概念,允许在创建集合时再指定集合元素的类型,正如:List<String>,这表明该List只能保存字符串类型的对象。JDK1.5改写了集合框架中的全部接口和类,为这些接口、类增加了泛型支持,从而可以在声明集合变量、创建集合对象时传入类型实参。

在这里插入图片描述

在这里插入图片描述

集合中使用泛型

Collection中使用泛型:

import java.util.ArrayList;
import java.util.Iterator;

/**
 * @Author: Yeman
 * @Date: 2021-09-24-15:10
 * @Description:
 */
public class GenericTest {
    public static void main(String[] args) {
    	//如下在实例化的时候在<>中填入需要的类型即可(不可以是基本数据类型)
        ArrayList<Integer> list = new ArrayList<>();
        list.add(99);
        list.add(0);
        list.add(121);

        //遍历方式一
        for (Integer integer : list){
            System.out.println(integer);
        }
        System.out.println("=====================");
        //遍历方式二
        Iterator<Integer> iterator = list.iterator();
        while (iterator.hasNext()){
            System.out.println(iterator.next());
        }
    }
}

Map中使用泛型:

import java.util.HashMap;
import java.util.Iterator;
import java.util.Map;
import java.util.Set;

/**
 * @Author: Yeman
 * @Date: 2021-09-24-15:10
 * @Description:
 */
public class GenericTest {
    public static void main(String[] args) {
        //如下如下在实例化的时候在<>中填入需要的类型即可(不可以是基本数据类型)
        // 注意因为Map是键值对,因此需要分别填入“键”和“值”所需要的类型
        HashMap<String, Integer> map = new HashMap<>();
        map.put("Jack",26);
        map.put("Marry",18);
        map.put("Tom",20);
        map.put("Lily",22);

        Set<Map.Entry<String, Integer>> entries = map.entrySet();
        Iterator<Map.Entry<String, Integer>> iterator = entries.iterator();
        while (iterator.hasNext()){
            System.out.println(iterator.next());
        }

    }
}

自定义泛型结构

1、泛型类、泛型接口

①泛型的声明
interface List<T>{}class GenTest<K,V>{}class student <T extends Person> {}
其中,T,K,V不代表值,而是表示类型。这里使用任意字母都可以,常用T表示,是Type的缩写。

②泛型的实例化

List<String> strList = new ArrayList<String>();
Iterator<Customer> iterator = customers.iterator();

<>里面只能是类,不能用基本数据类型填充,可以使用包装类填充。把一个集合中的内容限制为一个特定的数据类型,这就是Generic的核心思想。

泛型类可能有多个参数,此时可将多个参数一起放在尖括号内,如:<E1,E2,E3>

泛型类的构造器与非泛型一样:public GenericClass(){}
public GenericClass<E>(){}是错误的。

泛型不同的引用不能相互赋值:尽管在编译时ArrayList<String>ArrayList<Integer>是两种类型,但是,在运行时只有一个ArrayList被加载到JVM中。

在类/接口上声明的泛型,在本类或本接口中即代表某种类型,可以作为非静态属性的类型、非静态方法的参数类型、非静态方法的返回值类型。但在静态方法中不能使用类的泛型,因为静态成员是随着类加载而加载的,而类型的指定是在实例化时才确定的。

异常类不能使用泛型。

不能new E[],但是可以E[] elements = (E[])new Object[capacity];

父类有泛型,子类可以选择保留泛型也可以选择指定泛型类型,子类除了指定或保留父类的泛型,还可以增加自己的泛型:

class Father<T1, T2> {
}
// 子类不保留父类的泛型
// 1)没有类型 擦除
class Son1 extends Father {// 等价于class Son extends Father<Object,Object>{
}
// 2)指定类型
class Son2 extends Father<Integer, String> {
}
// 子类保留父类的泛型
// 1)全部保留
class Son3<T1, T2> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2> extends Father<Integer, T2> {
}
class Father<T1, T2> {
}
// 子类不保留父类的泛型
// 1)没有类型 擦除
class Son<A, B> extends Father{//等价于class Son extends Father<Object,Object>{
}
// 2)具体类型
class Son2<A, B> extends Father<Integer, String> {
}
// 子类保留父类的泛型
// 1)全部保留
class Son3<T1, T2, A, B> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2, A, B> extends Father<Integer, T2> {
}
class Person<T> {
    // 使用T类型定义变量
    private T info;

    // 使用T类型定义一般方法
    public T getInfo() {
        return info;
    }

    public void setInfo(T info) {
        this.info = info;
    }

    // 使用T类型定义构造器
    public Person() {
    }

    public Person(T info) {
        this.info = info;
    }
}    

2、泛型方法

方法,也可以被泛型化,不管此时定义在其中的类是不是泛型类。在泛型方法中可以定义泛型参数,此时,参数的类型就是传入数据的类型。

访问权限 是否为静态 <泛型> 返回类型 方法名(泛型标识 参数名称,...) 异常{
	//方法体
}
public class Test {
	public <E> E get(int id, E[] arry) {
		E result = null;
		return result;
	}
}

泛型在继承上的体现

如果B是A的一个子类型(子类或者子接口),而G是具有泛型声明的类或接口,G<B>并不是G<A>的子类型!比如:String是Object的子类,但是List<String>并不是List<Object>的子类,不能相互赋值。而反过来,如下是可以的:

ArrayList<String> arrayList = new ArrayList<>();
List<String> list = arrayList;

在这里插入图片描述

通配符的使用

1、使用

比如:List<?>Map<?,?>
List<?>List<String>List<Object>等各种泛型List的父类。

读取List<?>的对象list中的元素时,永远是安全的,因为不管list的真实类型是什么,都包含于Object。而不能向其中添加(写入)对象。除了null,因为它是所有类型的成员:

Collection<?> c = new ArrayList<String>();
c.add(new Object()); // 编译时错误
public static void main(String[] args) {
	List<?> list = null;
	list = new ArrayList<String>();
	list = new ArrayList<Double>();
	list.add(3);//编译不通过,编译时错误
	list.add(null);
	List<String> l1 = new ArrayList<String>();
	List<Integer> l2 = new ArrayList<Integer>();
	l1.add("AABBCC");
	l2.add(9);
	read(l1);
	read(l2);
}
public static void read(List<?> list) {
	for (Object o : list) {
		System.out.println(o);
	}
}

在这里插入图片描述

2、有限制的通配符

①<?>
允许所有泛型的引用调用

②通配符指定上限
extends:使用时指定的类型必须是继承某个类,或者实现某个接口,即<=。
<? extends Number> (无穷小 , Number],只允许泛型为Number及Number子类的引用调用。<? extends Comparable>只允许泛型为实现Comparable接口的实现类的引用调用。

③通配符指定下限
下限super:使用时指定的类型不能小于操作的类,即>=。
<? super Number> [Number , 无穷大),只允许泛型为Number及Number父类的引用调用。

到此这篇关于Java泛型在集合使用与自定义及继承上的体现和通配符的使用的文章就介绍到这了,更多相关Java 泛型内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

您可能感兴趣的文章:
阅读全文