Java基础-泛型-泛型语法与使用

Java工程师知识树 / Java基础

---

泛型介绍

Java泛型是JDK1.5中引入的一个新特性，其本质是参数化类型，也就是说所操作的数据类型被指定为一个参数（ParameterizedType），这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

泛型概念：

​ 把类型明确的工作推迟到创建对象或调用方法的时候才去明确的特殊的类型。

相关术语：

• ArrayList中的E称为类型参数变量
• ArrayList中的Integer称为实际类型参数
• 整个称为ArrayList泛型类型
• 整个ArrayList称为参数化的类型ParameterizedType

泛型的好处：

• 第一是泛化:代码更加简洁【不用强制转换】。早期Java是使用Object来代表任意类型的，但是向下转型有强转的问题，这样程序就不太安全。
• 第二是类型安全:程序更加健壮【只要编译时期没有警告，那么运行时期就不会出现ClassCastException异常】。传入类型不正确时，编译不通过。
• 第三是消除强制类型转换:可读性和稳定性【在编写集合的时候，就限定了类型】。

泛型语法

泛型类型命名约定

在定义泛型时，用于指定泛型的变量是一个大写字母。其实任意一个大写字母都可以，代表的意义也是是完全相同的，但为了提高可读性，也是需要统一的泛型类型的命名约定的。

命名约定可以帮助我们轻松地理解代码，拥有命名约定是Java编程语言的最佳实践之一。 通常，类型参数名称(标识符)是单个大写字母，以使其易于与Java变量区分开。

最常用的类型参数名称为：

• E ：元素（Element，常用在java Collection里。如：List,Iterator,Set）
• K ：键（Key，Value中的Key代表Map的键 Map）
• V ：值（Key，Value中的Value代表Map的值 Map）
• N ：数字（Number）
• T ：类型（Type，Java 类 TypeParam）
• S，U等 ：第二，第三类型

通配符

通配符：传入的类型有一个指定的范围，从而可以进行一些特定的操作。

？：表示不确定的java类型（无限制通配符类型）。

泛型中有三种通配符形式：

1. ：无限制通配符类型
2. extends ：关键字声明了类型的上界，表示参数化的类型可能是所指定的类型，或者是此类型的子类。
3. super ：关键字声明了类型的下界，表示参数化类型可能是指定类型，或者是此类型的父类。

Object与?通配符的区别：

Object是所有类的根类，任何类的对象都可以设置给该Object引用变量，但是使用的时候可能需要类型强制转换，而用使用了泛型T、E等这些标识符后，在实际用的时候会将参数类型指定，不需要再进行类型强制转换。

通配符?与字母泛型变量类型E,T等的区别：

• 泛型变量T不能在代码用于创建变量，只能在类，接口，函数中声明以后，才能使用。
• 无边界通配符？则只能用于填充变量类型，表示通配任何类型！只是填充方式的一种，与Object的作用类似，?比Object扩展了extends与super。
• 通配符只能用于填充泛型变量T,不能用于定义变量。

代码如下：

package com.wechat.management.type;

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;


public class TypeParam {//泛型变量T用到类上

    public static void main(String[] args) {
        List list;//填充变量类型
        //使用Arrays.asList给list赋值。public static  List asList(T... a)
//        list = new ArrayList(Arrays.asList(1,2));//报错！只能用于填充泛型变量T,不能用于定义变量
//        print(list);
        list = new ArrayList<>(Arrays.asList(3L,4L));//？代表Long
        print(list);//class java.lang.Long
        list = new ArrayList