泛型

1.1泛型概述和好处

泛型概述

是JDK5中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型

它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型。这种参数类型可以用在类、方法和接口中，分别被称为泛型类、泛型方法、泛型接口

 

 

泛型定义格式

<类型>：指定一种类型的格式。这里的类型可以看成是形参

<类型1,类型2…>：指定多种类型的格式，多种类型之间用逗号隔开。这里的类型可以看成是形参

将来具体调用时候给定的类型可以看成是实参，并且实参的类型只能是引用数据类型

泛型的好处

把运行时期的问题提前到了编译期间

避免了强制类型转换

 

1.2泛型类

定义格式:

修饰符 class 类名<类型> { }

 

1.3泛型方法

定义格式：

修饰符 <类型> 返回值类型 方法名(类型 变量名) { }

1.4泛型接口

定义格式：

修饰符 interface 接口名<类型> { }

 

1.5类型通配符

类型通配符的作用v>

为了表示各种泛型List的父类，可以使用类型通配符

类型通配符的分类

类型通配符：<?>

List<?>：表示元素类型未知的List，它的元素可以匹配任何的类型

这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中

类型通配符上限：<? extends 类型>

List<? extends Number>：它表示的类型是Number或者其子类型

类型通配符下限：<? super 类型>

List<? super Number>：它表示的类型是Number或者其父类型

类型通配符的基本使用

 

public class GenericDemo {

public static void main(String[] args) {

//类型通配符：<?>

List<?> list1 = new ArrayList<Object>();

List<?> list2 = new ArrayList<Number>();

List<?> list3 = new ArrayList<Integer>();

System.out.println("--------");

//类型通配符上限：<? extends 类型>

// List<? extends Number> list4 = new ArrayList<Object>();

List<? extends Number> list5 = new ArrayList<Number>();

List<? extends Number> list6 = new ArrayList<Integer>();

System.out.println("--------");

//类型通配符下限：<? super 类型>

List<? super Number> list7 = new ArrayList<Object>();

List<? super Number> list8 = new ArrayList<Number>();

// List<? super Number> list9 = new ArrayList<Integer>();

}

}