Java — 泛型程序设计（1）（Core Java I）

12.2 定义简单的泛型类

1）文档目录：



2）代码：

Pair.java

package com.test1;
//泛型类generic class 就是具有一个或者多个类型变量的类
public class Pair<T> {
private T first;
private T second;
//构造器
public Pair(){
first = null;
second = null;
}
public Pair(T first,T second){
this.first = first;
this.second = second;
}
//访问器
public T getFirst() {
return first;
}
public T getSecond() {
return second;
}
//修改器
public void setFirst(T first) {
this.first = first;
}
public void setSecond(T second) {
this.second = second;
}

}

PairTest1.java

package com.test1;

public class PairTest1 {

public static void main(String[] args) {
// TODO Auto-generated method stub
//String [] words = { "mary","had","a","little","lamb"};
//大写字母的字典序排在小写的后面
String [] words = { "Mary","had","a","little","lamb"};
Pair<String> mm = ArrayAlg.minmax(words);
System.out.println("min: "+mm.getFirst());
System.out.println("max: "+mm.getSecond());
}

}

class ArrayAlg{
public static Pair<String> minmax(String[] a){
if(a == null || a.length == 0) return null;
String min = a[0];
String max = a[0];
//O（n） 复杂度求最大值最小值
for(int i = 1;i<a.length;i++){
if(min.compareTo(a[i]) > 0) min = a[i];
if(max.compareTo(a[i]) < 0) max = a[i];
}
//这个T可加可不加，因为创建过程中 参数类型已经确认，并且他就是个代号
return new Pair<String>(min,max);
}
}

12.4 类型变量的限定

这里直接贴 PairTest2.java的代码

package com.test1;

import java.util.Calendar;
import java.util.GregorianCalendar;
/**
* 这里的泛型类依然是Pair
* 传入泛型类中的类型变量是GregorianCalendar类
* 此类已经实现Comparable接口进行日期的比较
* @author PeersLee
*
*/
public class PairTest2 {

public static void main(String[] args) {
// TODO Auto-generated method stub
GregorianCalendar[] birthdays = {

new GregorianCalendar(1900,Calendar.DECEMBER,9),
new GregorianCalendar(1815,Calendar.DECEMBER,10),
new GregorianCalendar(1903,Calendar.DECEMBER,3),
new GregorianCalendar(1910,Calendar.DECEMBER,22),
};
Pair<GregorianCalendar> mm = ArrayAlg.minmax(birthdays);
System.out.println("min: "+mm.getFirst().getTime());
System.out.println("max: "+mm.getSecond().getTime());
}

}

class ArrayAlg{
/**对类型变量进行限制
* 可以通过对类型变量设置限定实现这 确信T所属的类一sing有compareTo方法
* 将T限制限制为实现了Comparable接口（只含有compareTo的标准接口）
*/
public static <T extends Comparable> Pair<T> minmax(T[] a){
//T的绑定类型可以是类，也可以是接口，选择 extends 的原因是更接近于子类的概念
//可以有多个绑定 例如 T extends Comparable & Serializable 中间用 ‘&’分格
if(a == null || a.length == 0) return null;
T min = a[0];
T max = a[0];
for(int i = 1;i<a.length;i++){
if(min.compareTo(a[i])>0) min = a[i];
if(max.compareTo(a[i])<0) max = a[i];
}
return new Pair<>(min,max);

}
}

12.5 泛型代码和虚拟机

虚拟机中没有泛型，只有普通的类和方法。
所有的类型参数都用他们的限定类型替换。
桥方法被合成来保持多态。
为保持类型安全性，必要时插入强制类型转换

未完......