第11章 泛型

学习目标

  • 能够使用泛型定义类、接口、方法
  • 能够理解泛型上限
  • 能够阐述泛型通配符的作用
  • 能够识别通配符的上下限

第十一章 泛型

11.1 泛型的概念

11.1.1 泛型的引入

例如:生产瓶子的厂家,一开始并不知道我们将来会用瓶子装什么,我们什么都可以装,但是有的时候,我们在使用时,想要限定某个瓶子只能用来装什么,这样我们不会装错,而用的时候也可以放心的使用,无需再三思量。我们生活中是在使用这个瓶子时在瓶子上“贴标签”,这样就轻松解决了问题。
JavaSE_第11章 泛型 - 图1

还有,在Java中我们在声明方法时,当在完成方法功能时如果有未知的数据需要参与,这些未知的数据需要在调用方法时才能确定,那么我们把这样的数据通过形参表示。那么在方法体中,用这个形参名来代表那个未知的数据,而调用者在调用时,对应的传入值就可以了。
JavaSE_第11章 泛型 - 图2

受以上两点启发,JDK1.5设计了泛型的概念。泛型即为“类型参数”,这个类型参数在声明它的类、接口或方法中,代表未知的通用的类型。例如:
java.lang.Comparable接口和java.util.Comparator接口,是用于对象比较大小的规范接口,这两个接口只是限定了当一个对象大于另一个对象时返回正整数,小于返回负整数,等于返回0。但是并不确定是什么类型的对象比较大小,之前的时候只能用Object类型表示,使用时既麻烦又不安全,因此JDK1.5就给它们增加了泛型。
public interface Comparable{
int compareTo(T o) ;
}
public interface Comparator{
int compare(T o1, T o2) ;
}
其中就是类型参数,即泛型。

11.1.2 泛型的好处

示例代码:
JavaBean:圆类型
class Circle{
private double radius;

  1. public Circle(double radius) {<br /> super();<br /> this.radius = radius;<br /> }
  2. public double getRadius() {<br /> return radius;<br /> }
  3. public void setRadius(double radius) {<br /> this.radius = radius;<br /> }
  4. @Override<br /> public String toString() {<br /> return "Circle [radius=" + radius + "]";<br /> }

}
比较器
import java.util.Comparator;

public class CircleComparator implements Comparator{

  1. @Override<br /> public int compare(Object o1, Object o2) {<br /> //强制类型转换<br /> Circle c1 = (Circle) o1;<br /> Circle c2 = (Circle) o2;<br /> return Double.compare(c1.getRadius(), c2.getRadius());<br /> }

}
测试类
public class TestGeneric {
public static void main(String[] args) {
CircleComparator com = new CircleComparator();
System.out.println(com.compare(new Circle(1), new Circle(2)));

    System.out.println(com.compare("圆1", "圆2"));//运行时异常:ClassCastException<br />    }<br />}<br />那么我们在使用如上面这样的接口时,如果没有泛型或不指定泛型,很麻烦,而且有安全隐患。<br />因为在设计(编译)Comparator接口时,不知道它会用于哪种类型的对象比较,因此只能将compare方法的形参设计为Object类型,而实际在compare方法中需要向下转型为Circle,才能调用Circle类的getRadius()获取半径值进行比较。<br />使用泛型:<br />比较器:<br />class CircleComparator implements Comparator<Circle>{

@Override<br />    public int compare(Circle o1, Circle o2) {<br />        //不再需要强制类型转换,代码更简洁<br />        return Double.compare(o1.getRadius(), o2.getRadius());<br />    }

}
测试类
import java.util.Comparator;

public class TestGeneric {
public static void main(String[] args) {
CircleComparator com = new CircleComparator();
System.out.println(com.compare(new Circle(1), new Circle(2)));

// System.out.println(com.compare(“圆1”, “圆2”));//编译错误,因为”圆1”, “圆2”不是Circle类型,是String类型,编译器提前报错,而不是冒着风险在运行时再报错
}
}
如果有了泛型并使用泛型,那么既能保证安全,又能简化代码。
因为把不安全的因素在编译期间就排除了;既然通过了编译,那么类型一定是符合要求的,就避免了类型转换。

11.1.3 泛型的相关名词

<类型>这种语法形式就叫泛型。
其中:

  • 是类型变量(Type Variables),而是代表未知的数据类型,我们可以指定为,,等,那么<类型>的形式我们成为类型参数;
    • 类比方法的参数的概念,我们可以把,称为类型形参,将称为类型实参,有助于我们理解泛型;
  • Comparator这种就称为参数化类型(Parameterized Types)。

自从有了泛型之后,Java的数据类型就更丰富了:
JavaSE_第11章 泛型 - 图3

Class:Class 类的实例表示正在运行的 Java 应用程序中的类和接口。枚举是一种类,注释是一种接口。每个数组属于被映射为 Class 对象的一个类,所有具有相同元素类型和维数的数组都共享该 Class 对象。基本的 Java 类型(boolean、byte、char、short、int、long、float 和 double)和关键字 void 也表示为 Class 对象。

  • GenericArrayType:泛化的数组类型,即T[]
  • ParameterizedType:参数化类型,例如:Comparator,Comparator
  • TypeVariable:类型变量,例如:Comparator中的T,Map中的K,V
  • WildcardType:通配符类型,例如:Comparator<?>等

11.1.4 在哪里可以声明类型变量

  • 声明类或接口时,在类名或接口名后面声明类型变量,我们把这样的类或接口称为泛型类或泛型接口

【修饰符】 class 类名<类型变量列表> 【extends 父类】 【implements 父接口们】{

}
【修饰符】 interface 接口名<类型变量列表> 【implements 父接口们】{

}

例如:
public class ArrayList
public interface Map{
….
}

  • 声明方法时,在【修饰符】与返回值类型之间声明类型变量,我们把声明(是声明不是单纯的使用)了类型变量的方法称为泛型方法

【修饰符】 <类型变量列表> 返回值类型 方法名(【形参列表】)【throws 异常列表】{
//…
}

例如:java.util.Arrays类中的
public static List asList(T… a){
….
}

11.2 参数类型:泛型类与泛型接口

当我们在声明类或接口时,类或接口中定义某个成员时,该成员有些类型是不确定的,而这个类型需要在使用这个类或接口时才可以确定,那么我们可以使用泛型。

11.2.1 声明泛型类与泛型接口

语法格式:
【修饰符】 class 类名<类型变量列表> 【extends 父类】 【implements 父接口们】{

}
【修饰符】 interface 接口名<类型变量列表> 【extends 父接口们】{

}
注意:

  • <类型变量列表>:可以是一个或多个类型变量,一般都是使用单个的大写字母表示。例如:、等。
  • <类型变量列表>中的类型变量不能用于静态成员上。

什么时候使用泛型类或泛型接口呢?

  • 当某个类/接口的非静态实例变量的类型不确定,需要在创建对象或子类继承时才能确定
  • 当某个(些)类/接口的非静态方法的形参类型不确定,需要在创建对象或子类继承时才能确定

示例代码:
例如:我们要声明一个学生类,该学生包含姓名、成绩,而此时学生的成绩类型不确定,为什么呢,因为,语文老师希望成绩是“优秀”、“良好”、“及格”、“不及格”,数学老师希望成绩是89.5, 65.0,英语老师希望成绩是’A’,’B’,’C’,’D’,’E’。那么我们在设计这个学生类时,就可以使用泛型。
public class Student{
private String name;
private T score;

public Student() {<br />        super();<br />    }<br />    public Student(String name, T score) {<br />        super();<br />        this.name = name;<br />        this.score = score;<br />    }<br />    public String getName() {<br />        return name;<br />    }<br />    public void setName(String name) {<br />        this.name = name;<br />    }<br />    public T getScore() {<br />        return score;<br />    }<br />    public void setScore(T score) {<br />        this.score = score;<br />    }<br />    @Override<br />    public String toString() {<br />        return "姓名:" + name + ", 成绩:" + score;<br />    }<br />}<br />

11.2.2 使用泛型类与泛型接口

在使用这种参数化的类与接口时,我们需要指定泛型变量的实际类型参数:
(1)实际类型参数必须是引用数据类型,不能是基本数据类型
(2)在创建类的对象时指定类型变量对应的实际类型参数
public class TestGeneric{
public static void main(String[] args) {
//语文老师使用时:
Student stu1 = new Student(“张三”, “良好”);

    //数学老师使用时:<br />        //Student<double> stu2 = new Student<double>("张三", 90.5);//错误,必须是引用数据类型<br />        Student<Double> stu2 = new Student<Double>("张三", 90.5);

    //英语老师使用时:<br />        Student<Character> stu3 = new Student<Character>("张三", 'C');

    //错误的指定<br />        //Student<Object> stu = new Student<String>();//错误的<br />    }<br />}<br />JDK1.7支持简写形式:Student stu1 = new Student<>("张三", "良好");<br />指定泛型实参时,必须左右两边一致,不存在多态现象<br />(3)在继承泛型类或实现泛型接口时,指定类型变量对应的实际类型参数<br />class ChineseStudent extends Student<String>{

public ChineseStudent() {<br />        super();<br />    }

public ChineseStudent(String name, String score) {<br />        super(name, score);<br />    }

}
public class TestGeneric{
public static void main(String[] args) {
//语文老师使用时:
ChineseStudent stu = new ChineseStudent(“张三”, “良好”);
}
}
class Circle implements Comparable{
private double radius;

public Circle(double radius) {<br />        super();<br />        this.radius = radius;<br />    }

public double getRadius() {<br />        return radius;<br />    }

public void setRadius(double radius) {<br />        this.radius = radius;<br />    }

@Override<br />    public String toString() {<br />        return "Circle [radius=" + radius + "]";<br />    }

@Override<br />    public int compareTo(Circle c){<br />        return Double.compare(radius,c.radius);<br />    }

}

11.2.3 类型变量的上限

当在声明类型变量时,如果不希望这个类型变量代表任意引用数据类型,而是某个系列的引用数据类型,那么可以设定类型变量的上限。
语法格式:
<类型变量 extends 上限>
如果有多个上限
<类型变量 extends 上限1 & 上限2>
如果多个上限中有类有接口,那么只能有一个类,而且必须写在最左边。接口的话,可以多个。
如果在声明<类型变量>时没有指定任何上限,默认上限是java.lang.Object。
例如:我们要声明一个两个数求和的工具类,要求两个加数必须是Number数字类型,并且实现Comparable接口。
class SumTools>{
private T a;
private T b;
public SumTools(T a, T b) {
super();
this.a = a;
this.b = b;
}
@SuppressWarnings(“unchecked”)
public T getSum(){
if(a instanceof BigInteger){
return (T) ((BigInteger) a).add((BigInteger)b);
}else if(a instanceof BigDecimal){
return (T) ((BigDecimal) a).add((BigDecimal)b);
}else if(a instanceof Short){
return (T)(Integer.valueOf((Short)a+(Short)b));
}else if(a instanceof Integer){
return (T)(Integer.valueOf((Integer)a+(Integer)b));
}else if(a instanceof Long){
return (T)(Long.valueOf((Long)a+(Long)b));
}else if(a instanceof Float){
return (T)(Float.valueOf((Float)a+(Float)b));
}else if(a instanceof Double){
return (T)(Double.valueOf((Double)a+(Double)b));
}
throw new UnsupportedOperationException(“不支持该操作”);
}
}
测试类
public static void main(String[] args) {
SumTools s = new SumTools(1,2);
Integer sum = s.getSum();
System.out.println(sum);

// SumTools s = new SumTools(“1”,”2”);//错误,因为String类型不是extends Number
}

11.2.4 泛型擦除

当使用参数化类型的类或接口时,如果没有指定泛型,那么会怎么样呢?
会发生泛型擦除,自动按照最左边的第一个上限处理。如果没有指定上限,上限即为Object。
public static void main(String[] args) {
SumTools s = new SumTools(1,2);
Number sum = s.getSum();
System.out.println(sum);
}
import java.util.Comparator;

public class CircleComparator implements Comparator{

@Override<br />    public int compare(Object o1, Object o2) {<br />        //强制类型转换<br />        Circle c1 = (Circle) o1;<br />        Circle c2 = (Circle) o2;<br />        return Double.compare(c1.getRadius(), c2.getRadius());<br />    }

}

11.2.5 练习

练习1

1、声明一个坐标类Coordinate,它有两个属性:x,y,都为T类型 2、在测试类中,创建两个不同的坐标类对象, 分别指定T类型为String和Double,并为x,y赋值,打印对象
public class TestExer1 {
public static void main(String[] args) {
Coordinate c1 = new Coordinate<>(“北纬38.6”, “东经36.8”);
System.out.println(c1);

// Coordinate c2 = new Coordinate<>(38.6, 38);//自动装箱与拆箱只能与对应的类型 38是int,自动装为Integer
Coordinate c2 = new Coordinate<>(38.6, 36.8);
System.out.println(c2);
}
}
class Coordinate{
private T x;
private T y;
public Coordinate(T x, T y) {
super();
this.x = x;
this.y = y;
}
public Coordinate() {
super();
}
public T getX() {
return x;
}
public void setX(T x) {
this.x = x;
}
public T getY() {
return y;
}
public void setY(T y) {
this.y = y;
}
@Override
public String toString() {
return “Coordinate [x=” + x + “, y=” + y + “]”;
}

}

练习2

1、声明一个Person类,包含姓名和伴侣属性,其中姓名是String类型,而伴侣的类型不确定, 因为伴侣可以是Person,可以是Animal(例如:金刚),可以是Ghost鬼(例如:倩女幽魂), 可以是Demon妖(例如:白娘子),可以是Robot机器人(例如:剪刀手爱德华)。。。
2、在测试类中,创建Person对象,并为它指定伴侣,打印显示信息
public class TestExer3 {
@SuppressWarnings({ “rawtypes”, “unchecked” })
public static void main(String[] args) {
Person xu = new Person(“许仙”,new Demon(“白娘子”));
System.out.println(xu);

    Person<Person> xie = new Person<Person>("谢学建",new Person("徐余龙"));<br />        Person fere = xie.getFere();<br />        fere.setFere(xie);<br />        System.out.println(xie);<br />        System.out.println(fere);<br />    }<br />}<br />class Demon{<br />    private String name;

public Demon(String name) {<br />        super();<br />        this.name = name;<br />    }

@Override<br />    public String toString() {<br />        return "Demon [name=" + name + "]";<br />    }<br />}<br />class Person<T>{<br />    private String name;<br />    private T fere;<br />    public Person(String name, T fere) {<br />        super();<br />        this.name = name;<br />        this.fere = fere;<br />    }<br />    public Person(String name) {<br />        super();<br />        this.name = name;<br />    }

public Person() {<br />        super();<br />    }<br />    public String getName() {<br />        return name;<br />    }<br />    public void setName(String name) {<br />        this.name = name;<br />    }<br />    public T getFere() {<br />        return fere;<br />    }<br />    public void setFere(T fere) {<br />        this.fere = fere;<br />    }<br />    @SuppressWarnings("rawtypes")<br />    @Override<br />    public String toString() {<br />        if(fere instanceof Person){<br />            Person p = (Person) fere;<br />            return "Person [name=" + name + ", fere=" + p.getName() + "]";<br />        }<br />        return "Person [name=" + name + ", fere=" + fere + "]";<br />    }<br />}<br />

练习3

1、声明员工类型Employee,包含姓名(String),薪资(double),年龄(int)
2、员工类Employee实现java.lang.Comparable接口,指定T为Employee类型,重写抽象方法,按照薪资比较大小,薪资相同的按照姓名的自然顺序比较大小。
3、在测试类中创建Employee数组,然后调用Arrays.sort(Object[] arr)方法进行排序,遍历显示员工信息
4、再次调用Arrays.sort(Object[] arr,Comparator c)方法进行按照年龄排序,年龄相同的安装姓名自然顺序比较大小,遍历显示员工信息
public class TestExer3 {
@Test
public void test01() {
Employee[] arr = new Employee[3];
arr[0] = new Employee(“Irene”, 18000, 18);
arr[1] = new Employee(“Jack”, 14000, 28);
arr[2] = new Employee(“Alice”, 14000, 24);

    Arrays.sort(arr);

    for (int i = 0; i < arr.length; i++) {<br />            System.out.println(arr[i]);<br />        }<br />    }

@Test<br />    public void test02() {<br />        Employee[] arr = new Employee[3];<br />        arr[0] = new Employee("Irene", 18000, 18);<br />        arr[1] = new Employee("Jack", 14000, 28);<br />        arr[2] = new Employee("Alice", 14000, 24);

    //Arrays.sort(T[] arr,Comparator<T> c)<br />        Arrays.sort(arr, new Comparator<Employee>() {

        //按照年龄排序,年龄相同的安装姓名自然顺序比较大小<br />            @Override<br />            public int compare(Employee o1, Employee o2) {<br />                if(o1.getAge() != o2.getAge()) {<br />                    return o1.getAge() - o2.getAge();<br />                }<br />                return o1.getName().compareTo(o2.getName());<br />            }

    });

    for (int i = 0; i < arr.length; i++) {<br />            System.out.println(arr[i]);<br />        }<br />    }<br />}<br />class Employee implements Comparable<Employee>{<br />    private String name;<br />    private double salary;<br />    private int age;<br />    public Employee(String name, double salary, int age) {<br />        super();<br />        this.name = name;<br />        this.salary = salary;<br />        this.age = age;<br />    }<br />    public Employee() {<br />        super();<br />    }<br />    public String getName() {<br />        return name;<br />    }<br />    public void setName(String name) {<br />        this.name = name;<br />    }<br />    public double getSalary() {<br />        return salary;<br />    }<br />    public void setSalary(double salary) {<br />        this.salary = salary;<br />    }<br />    public int getAge() {<br />        return age;<br />    }<br />    public void setAge(int age) {<br />        this.age = age;<br />    }<br />    @Override<br />    public String toString() {<br />        return "Employee [name=" + name + ", salary=" + salary + ", age=" + age + "]";<br />    }

//重写抽象方法,按照薪资比较大小,薪资相同的按照姓名的自然顺序比较大小。<br />    @Override<br />    public int compareTo(Employee o) {<br />        if(this.salary != o.salary) {<br />            return Double.compare(this.salary, o.salary);<br />        }<br />        return this.name.compareTo(o.name);//name是String类型,有compareTo方法<br />    }

}

11.3 泛型方法

前面介绍了在定义类、接口时可以声明<类型变量>,在该类的方法和属性定义、接口的方法定义中,这些<类型变量>可被当成普通类型来用。但是,在另外一些情况下,
(1)如果我们定义类、接口时没有使用<类型变量>,但是某个方法形参类型不确定时,可以单独这个方法定义<类型变量>;
(2)另外我们之前说类和接口上的类型形参是不能用于静态方法中,那么当某个静态方法的形参类型不确定时,可以单独定义<类型变量>。
那么,JDK1.5之后,还提供了泛型方法的支持。
语法格式:
【修饰符】 <类型变量列表> 返回值类型 方法名(【形参列表】)【throws 异常列表】{
//…
}

  • <类型变量列表>:可以是一个或多个类型变量,一般都是使用单个的大写字母表示。例如:、等。
  • <类型变量>同样也可以指定上限

示例代码:
我们编写一个数组工具类,包含可以给任意对象数组进行从小到大排序,要求数组元素类型必须实现Comparable接口
public class MyArrays{
public static > void sort(T[] arr){
for (int i = 1; i < arr.length; i++) {
for (int j = 0; j < arr.length-i; j++) {
if(arr[j].compareTo(arr[j+1])>0){
T temp = arr[j];
arr[j] = arr[j+1];
arr[j+1] = temp;
}
}
}
}
}
测试类
public class TestGeneric{
public static void main(String[] args) {
int[] arr = {3,2,5,1,4};
// MyArrays.sort(arr);//错误的,因为int[]不是对象数组

    String[] strings = {"hello","java","chai"};<br />        MyArrays.sort(strings);<br />        System.out.println(Arrays.toString(strings));

    Circle[] circles = {new Circle(2.0),new Circle(1.2),new Circle(3.0)};<br />        MyArrays.sort(circles);<br />        System.out.println(Arrays.toString(circles));<br />    }<br />}

11.4 类型通配符

当我们声明一个变量/形参时,这个变量/形参的类型是一个泛型类或泛型接口,例如:Comparator类型,但是我们仍然无法确定这个泛型类或泛型接口的类型变量的具体类型,此时我们考虑使用类型通配符。
例如:
这个学生类是一个参数化的泛型类,代码如下(详细请看$11.2.1中的示例说明):
public class Student{
private String name;
private T score;

public Student() {<br />        super();<br />    }<br />    public Student(String name, T score) {<br />        super();<br />        this.name = name;<br />        this.score = score;<br />    }<br />    public String getName() {<br />        return name;<br />    }<br />    public void setName(String name) {<br />        this.name = name;<br />    }<br />    public T getScore() {<br />        return score;<br />    }<br />    public void setScore(T score) {<br />        this.score = score;<br />    }<br />    @Override<br />    public String toString() {<br />        return "姓名:" + name + ", 成绩:" + score;<br />    }<br />}<br />

11.4.1 <?>任意类型

例如:我们要声明一个学生管理类,这个管理类要包含一个方法,可以遍历学生数组。
学生管理类:
class StudentService {
public static void print(Student<?>[] arr) {
for (int i = 0; i < arr.length; i++) {
System.out.println(arr[i]);
}
}
}
测试类
public class TestGeneric {
public static void main(String[] args) {
// 语文老师使用时:
Student stu1 = new Student(“张三”, “良好”);

    // 数学老师使用时:<br />        // Student<double> stu2 = new Student<double>("张三", 90.5);//错误,必须是引用数据类型<br />        Student<Double> stu2 = new Student<Double>("张三", 90.5);

    // 英语老师使用时:<br />        Student<Character> stu3 = new Student<Character>("张三", 'C');

    Student<?>[] arr = new Student[3];<br />        arr[0] = stu1;<br />        arr[1] = stu2;<br />        arr[2] = stu3;

    StudentService.print(arr);<br />    }<br />}<br />

11.4.2 <? extends 上限>

例如:我们要声明一个学生管理类,这个管理类要包含一个方法,找出学生数组中成绩最高的学生对象。
要求学生的成绩的类型必须可比较大小,实现Comparable接口。
学生管理类:
class StudentService {
@SuppressWarnings({ “rawtypes”, “unchecked” })
public static Student<? extends Comparable> max(Student<? extends Comparable>[] arr){
Student<? extends Comparable> max = arr[0];
for (int i = 0; i < arr.length; i++) {
if(arr[i].getScore().compareTo(max.getScore())>0){
max = arr[i];
}
}
return max;
}
}
测试类
public class TestGeneric {
@SuppressWarnings({ “rawtypes”, “unchecked” })
public static void main(String[] args) {
Student<? extends Double>[] arr = new Student[3];
arr[0] = new Student(“张三”, 90.5);
arr[1] = new Student(“李四”, 80.5);
arr[2] = new Student(“王五”, 94.5);

    Student<? extends Comparable> max = StudentService.max(arr);<br />        System.out.println(max);<br />    }<br />}<br />

11.4.3 <? super 下限>

现在要声明一个数组工具类,包含可以给任意对象数组进行从小到大排序,只要你指定定制比较器对象,而且这个定制比较器对象可以是当前数组元素类型自己或其父类的定制比较器对象
数组工具类:
class MyArrays{
public static void sort(T[] arr, Comparator<? super T> c){
for (int i = 1; i < arr.length; i++) {
for (int j = 0; j < arr.length-i; j++) {
if(c.compare(arr[j], arr[j+1])>0){
T temp = arr[j];
arr[j] = arr[j+1];
arr[j+1] = temp;
}
}
}
}
}
例如:有如下JavaBean
class Person{
private String name;
private int age;
public Person(String name, int age) {
super();
this.name = name;
this.age = age;
}
public Person() {
super();
}
public String getName() {
return name;
}
public void setName(String name) {
this.name = name;
}
public int getAge() {
return age;
}
public void setAge(int age) {
this.age = age;
}
@Override
public String toString() {
return “name=” + name + “, age=” + age;
}
}
class Student extends Person{
private int score;

public Student(String name, int age, int score) {<br />        super(name, age);<br />        this.score = score;<br />    }

public Student() {<br />        super();<br />    }

public int getScore() {<br />        return score;<br />    }

public void setScore(int score) {<br />        this.score = score;<br />    }

@Override<br />    public String toString() {<br />        return super.toString() + ",score=" + score;<br />    }

}
测试类
public class TestGeneric {
public static void main(String[] args) {
Student[] all = new Student[3];
all[0] = new Student(“张三”, 23, 89);
all[1] = new Student(“李四”, 22, 99);
all[2] = new Student(“王五”, 25, 67);

    MyArrays.sort(all, new Comparator<Person>() {

        @Override<br />            public int compare(Person o1, Person o2) {<br />                return o1.getAge() - o2.getAge();<br />            }<br />        });

    System.out.println(Arrays.toString(all));

    MyArrays.sort(all, new Comparator<Student>() {

        @Override<br />            public int compare(Student o1, Student o2) {<br />                return o1.getScore() - o2.getScore();<br />            }<br />        });<br />        System.out.println(Arrays.toString(all));<br />    }<br />}<br />

11.4.4 使用类型通配符来指定类型参数的问题

JavaSE_第11章 泛型 - 图4

类型不确定,编译时,添加和设置任意类型都是错
<? extends 上限>:因为<? extends 上限>的?可能是上限或上限的子类,即类型不确定,编译按任意类型处理都是错。
<? super 下限>:可以将值修改为下限或下限子类的对象,因为<? super 下限>?代表是下限或下限的父类,那么设置为下限或下限子类的对象是安全的。
public class TestGeneric {
public static void main(String[] args) {
Student<?> stu1 = new Student<>();
stu1.setScore(null);//除了null,无法设置为其他值

    Student<? extends Number> stu2 = new Student<>();<br />        stu2.setScore(null);//除了null,无法设置为其他值

    Student<? super Number> stu3 = new Student<>();<br />        stu3.setScore(56);//可以设置Number或其子类的对象<br />    }<br />}<br />class Student<T>{<br />    private String name;<br />    private T score;

public Student() {<br />        super();<br />    }<br />    public Student(String name, T score) {<br />        super();<br />        this.name = name;<br />        this.score = score;<br />    }<br />    public String getName() {<br />        return name;<br />    }<br />    public void setName(String name) {<br />        this.name = name;<br />    }<br />    public T getScore() {<br />        return score;<br />    }<br />    public void setScore(T score) {<br />        this.score = score;<br />    }<br />    @Override<br />    public String toString() {<br />        return "姓名:" + name + ", 成绩:" + score;<br />    }<br />}<br />

11.5 练习

在数组工具类中声明如下泛型方法:
(1)可以在任意类型的对象数组中,查找某个元素的下标,按照顺序查找,如果有重复的,就返回第一个找到的,如果没有返回-1
(2)可以在任意类型的对象数组中,查找最大值,要求元素必须实现Comparable接口
(3)可以在任意类型的对象数组中,查找最大值,按照指定定制比较器来比较元素大小
(4)可以给任意对象数组进行从小到大排序,要求数组元素类型必须实现Comparable接口
(5)可以给任意对象数组进行从小到大排序,只要你指定定制比较器对象,不要求数组元素实现Comparable接口
(6)可以将任意对象数组的元素拼接为一个字符串返回
public class MyArrays {
//可以在任意类型的对象数组中,查找某个元素的下标,按照顺序查找,如果有重复的,就返回第一个找到的,如果没有返回-1
public static int find(T[] arr, T value) {
for (int i = 0; i < arr.length; i++) {
if(arr[i].equals(value)) {//使用==比较太严格,使用equals方法,因为任意对象都有equals方法
return i;
}
}
return -1;
}

//可以在任意类型的对象数组中,查找最大值,要求元素必须实现Comparable接口<br />    public static <T extends Comparable<? super T>> T max(T[] arr) {<br />        T max = arr[0];<br />        for (int i = 0; i < arr.length; i++) {<br />            if(max.compareTo(arr[i])<0) {//if(max < arr[i]) {<br />                max = arr[i];<br />            }<br />        }<br />        return max;<br />    }

//可以在任意类型的对象数组中,查找最大值,按照指定定制比较器来比较元素大小<br />    public static <T> T max(T[] arr, Comparator<? super T> c) {<br />        T max = arr[0];<br />        for (int i = 0; i < arr.length; i++) {<br />            if(c.compare(max, arr[i])<0) {//if(max < arr[i]) {<br />                max = arr[i];<br />            }<br />        }<br />        return max;<br />    }

//可以给任意对象数组进行从小到大排序,要求数组元素类型必须实现Comparable接口<br />    public static <T extends Comparable<? super T>> void sort(T[] arr) {<br />        for (int i = 0; i < arr.length-1; i++) {<br />            int minIndex = i;<br />            for (int j = i+1; j < arr.length; j++) {<br />                if(arr[minIndex].compareTo(arr[j])>0) {<br />                    minIndex = j;<br />                }<br />            }<br />            if(minIndex!=i) {<br />                T temp = arr[minIndex];<br />                arr[minIndex] = arr[i];<br />                arr[i] = temp;<br />            }<br />        }<br />    }

//可以给任意对象数组进行从小到大排序,只要你指定定制比较器对象,不要求数组元素实现Comparable接口<br />    public static <T> void sort(T[] arr, Comparator<? super T> c) {<br />        for (int i = 0; i < arr.length-1; i++) {<br />            int minIndex = i;<br />            for (int j = i+1; j < arr.length; j++) {<br />                if(c.compare(arr[minIndex],arr[j])>0) {<br />                    minIndex = j;<br />                }<br />            }<br />            if(minIndex!=i) {<br />                T temp = arr[minIndex];<br />                arr[minIndex] = arr[i];<br />                arr[i] = temp;<br />            }<br />        }<br />    }

//可以将任意对象数组的元素拼接为一个字符串返回<br />    public static <T> String toString(T[] arr) {<br />        String str = "[";<br />        for (int i = 0; i < arr.length; i++) {<br />            if(i==0) {<br />                str += arr[i];<br />            }else {<br />                str += "," + arr[i];<br />            }<br />        }<br />        str += "]";<br />        return str;<br />    }<br />}