[Java学习] java泛型通配符和类型参数的范围

时间:2023-03-09 03:21:10
[Java学习] java泛型通配符和类型参数的范围

  本节先讲解如何限制类型参数的范围,再讲解通配符(?)。

  类型参数的范围

  在泛型中,如果不对类型参数加以限制,它就可以接受任意的数据类型,只要它是被定义过的。但是,很多时候我们只需要一部分数据类型就够了,用户传递其他数据类型可能会引起错误。例如,编写一个泛型函数用于返回不同类型数组(Integer 数组、Double 数组等)中的最大值:

  1. public T getMax(T array[]){

  2. T max = null;

  3. for(T element : array){

  4. max = element.doubleValue() > max.doubleValue() ? element : max;

  5. }

  6. return max;

  7. }

  上面的代码会报错,doubleValue() 是 Number 类及其子类的方法,不是所有的类都有该方法,所以我们要限制类型参数 T,让它只能接受 Number 及其子类(Integer、Double、Character 等)。

  通过 extends 关键字可以限制泛型的类型的上限,改进上面的代码:

  1. public T getMax(T array[]){

  2. T max = null;

  3. for(T element : array){

  4. max = element.doubleValue() > max.doubleValue() ? element : max;

  5. }

  6. return max;

  7. }

   表示 T 只接受 Number 及其子类,传入其他类型的数据会报错。这里的限定使用关键字 extends,后面可以是类也可以是接口。如果是类,只能有一个;但是接口可以有多个,并以“&”分隔,例如 。

  这里的 extends 关键字已不再是继承的含义了,应该理解为 T 是继承自 Number 类的类型,或者 T 是实现了 XX 接口的类型。

  通配符(?)

  上一节的例子中提到要定义一个泛型类来表示坐标,坐标可以是整数、小数或字符串,请看下面的代码:

  1. class Point<t1, t2="">{

  2. T1 x;

  3. T2 y;

  4. public T1 getX() {

  5. return x;

  6. }

  7. public void setX(T1 x) {

  8. this.x = x;

  9. }

  10. public T2 getY() {

  11. return y;

  12. }

  13. public void setY(T2 y) {

  14. this.y = y;

  15. }

  16. }

  现在要求在类的外部定义一个 printPoint() 方法用于输出坐标,怎么办呢?

  可以这样来定义方法:

  1. public void printPoint(Point p){

  2. System.out.println("This point is: " + p.getX() + ", " + p.getY());

  3. }

  我们知道,如果在使用泛型时没有指名具体的数据类型,就会擦除泛型类型,并向上转型为 Object,这与不使用泛型没什么两样。上面的代码没有指明数据类型,相当于:

  1. public void printPoint(Point<object, object=""> p){

  2. System.out.println("This point is: " + p.getX() + ", " + p.getY());

  3. }

  为了避免类型擦除,可以使用通配符(?):

  1. public void printPoint(Point p){

  2. System.out.println("This point is: " + p.getX() + ", " + p.getY());

  3. }

  通配符(?)可以表示任意的数据类型。将代码补充完整:

  1. public class Demo {

  2. public static void main(String[] args){

  3. Point<integer, integer=""> p1 = new Point<integer, integer="">();

  4. p1.setX(10);

  5. p1.setY(20);

  6. printPoint(p1);

  7.

  8. Point<string, string=""> p2 = new Point<string, string="">();

  9. p2.setX("东京180度");

  10. p2.setY("北纬210度");

  11. printPoint(p2);

  12. }

  13.

  14. public static void printPoint(Point p){ // 使用通配符

  15. System.out.println("This point is: " + p.getX() + ", " + p.getY());

  16. }

  17. }

  18.

  19. class Point<t1, t2="">{

  20. T1 x;

  21. T2 y;

  22. public T1 getX() {

  23. return x;

  24. }

  25. public void setX(T1 x) {

  26. this.x = x;

  27. }

  28. public T2 getY() {

  29. return y;

  30. }

  31. public void setY(T2 y) {

  32. this.y = y;

  33. }

  34. }

  运行结果:

  This point is: 10, 20

  This point is: 东京180度, 北纬210度

  但是,数字坐标与字符串坐标又有区别:数字可以表示x轴或y轴的坐标,字符串可以表示地球经纬度。现在又要求定义两个方法分别处理不同的坐标,一个方法只能接受数字类型的坐标,另一个方法只能接受字符串类型的坐标,怎么办呢?

  这个问题的关键是要限制类型参数的范围,请先看下面的代码:

  1. public class Demo {

  2. public static void main(String[] args){

  3. Point<integer, integer=""> p1 = new Point<integer, integer="">();

  4. p1.setX(10);

  5. p1.setY(20);

  6. printNumPoint(p1);

  7.

  8. Point<string, string=""> p2 = new Point<string, string="">();

  9. p2.setX("东京180度");

  10. p2.setY("北纬210度");

  11. printStrPoint(p2);

  12. }

  13.

  14. // 借助通配符限制泛型的范围

  15. public static void printNumPoint(Point p){

  16. System.out.println("x: " + p.getX() + ", y: " + p.getY());

  17. }

  18.

  19. public static void printStrPoint(Point p){

  20. System.out.println("GPS: " + p.getX() + "," + p.getY());

  21. }

  22. }

  23.

  24. class Point<t1, t2="">{

  25. T1 x;

  26. T2 y;

  27. public T1 getX() {

  28. return x;

  29. }

  30. public void setX(T1 x) {

  31. this.x = x;

  32. }

  33. public T2 getY() {

  34. return y;

  35. }

  36. public void setY(T2 y) {

  37. this.y = y;

  38. }

  39. }

  运行结果:

  x: 10, y: 20

  GPS: 东京180度,北纬210度

  ? extends Number 表示泛型的类型参数只能是 Number 及其子类,? extends String 也一样,这与定义泛型类或泛型方法时限制类型参数的范围类似。

  不过,使用通配符(?)不但可以限制类型的上限,还可以限制下限。限制下限使用 super 关键字,例如 表示只能接受 Number 及其父类。(编辑:雷林鹏 来源:网络)