第十五章 集合类库(下)
15.1 泛型机制(熟悉)
15.1.1 基本概念
通常情况下集合中可以存放不同类型的对象,是因为将所有对象都看做Object类型放入的,因此
从集合中取出元素时也是Object类型,为了表达该元素真实的数据类型,则需要强制类型转换,
而强制类型转换可能会引发类型转换异常。
为了避免上述错误的发生,从Java5开始增加泛型机制,也就是在集合名称的右侧使用<数据类型>
的方式来明确要求该集合中可以存放的元素类型,若放入其它类型的元素则编译报错。
泛型只在编译时期有效,在运行时期不区分是什么类型。
15.1.2 底层原理
泛型的本质就是参数化类型,也就是让数据类型作为参数传递,其中E相当于形式参数负责占位,
而使用集合时<>中的数据类型相当于实际参数,用于给形式参数E进行初始化,从而使得集合中所
有的E被实际参数替换,由于实际参数可以传递各种各样广泛的数据类型,因此得名为泛型。
如:
//其中i叫做形式参数,负责占位 其中E叫做形式参数,负责占位
//int i = 10; E = String;
//int i = 20; E = Integer;
public static void show(int i) { public interface List {
… …
} }
//其中10叫做实际参数,负责给形式参数初始化 //其中String叫做实际参数
show(10); List lt1 = …;
show(20); List lt2 = …;
15.1.3 自定义泛型接口
泛型接口和普通接口的区别就是后面添加了类型参数列表,可以有多个类型参数,如:<E, T, … >
等。
15.1.4 自定义泛型类
泛型类和普通类的区别就是类名后面添加了类型参数列表,可以有多个类型参数,如:<E, T, … >
等。
实例化泛型类时应该指定具体的数据类型,并且是引用数据类型而不是基本数据类型。
父类有泛型,子类可以选择保留泛型也可以选择指定泛型类型。
子类必须是“富二代”,子类除了指定或保留父类的泛型,还可以增加自己的泛型。
15.1.5 自定义泛型方法
泛型方法就是我们输入参数的时候,输入的是泛型参数,而不是具体的参数。我们在调用这个泛型
方法的时需要对泛型参数进行实例化。
泛型方法的格式:
[访问权限] <泛型> 返回值类型 方法名([泛型标识 参数名称]) { 方法体; }
在静态方法中使用泛型参数的时候,需要我们把静态方法定义为泛型方法。
15.1.6 泛型在继承上的体现
如果B是A的一个子类或子接口,而G是具有泛型声明的类或接口,则G并不是G的子类型!
比如:String是Object的子类,但是List并不是List的子类。
15.1.7 通配符的使用
有时候我们希望传入的类型在一个指定的范围内,此时就可以使用泛型通配符了。
如:之前传入的类型要求为Integer类型,但是后来业务需要Integer的父类Number类也可以传
入。
泛型中有三种通配符形式:
static void shuffle(List<?> list) 使用默认的随机源随机置换指定的列表
static <T extends Comparable<? super T>> void
sort(List list)
根据其元素的自然顺序将指定列表按升
序排序
static void sort(List list, Comparator<? super T> c)
根据指定比较器指定的顺序对指定列表
进行排序
static void swap(List<?> list, int i, int j) 交换指定列表中指定位置的元素
// 笔试考点
System.out.println("c2 = " + c2); // [three, 4]
b1 = c1.containsAll(c2);
System.out.println("b1 = " + b1); // true false
// 判断集合c1中是否拥有集合c2这个整体为单位的元素
b1 = c1.contains(c2);
System.out.println("b1 = " + b1); // false true
// 笔试考点 删除整体对象c3
b1 = c1.remove(c3);
System.out.println("b1 = " + b1); // false
System.out.println("c1 = " + c1); // [2, three]