java泛型通配符和类型参数的范围

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

类型参数的范围

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

  1. public <T> 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 extends Number> 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 extends Number> 表示 T 只接受 Number 及其子类，传入其他类型的数据会报错。这里的限定使用关键字 extends，后面可以是类也可以是接口。如果是类，只能有一个；但是接口可以有多个，并以“&”分隔，例如 <T extends Interface1 & Interface2>。

这里的 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. Point<String, String> p2 = new Point<String, String>();
  8. p2.setX("东京180度");
  9. p2.setY("北纬210度");
  10. printPoint(p2);
  11. }
  12. public static void printPoint(Point<?, ?> p){ // 使用通配符
  13. System.out.println("This point is: " + p.getX() + ", " + p.getY());
  14. }
  15. }
  16. class Point<T1, T2>{
  17. T1 x;
  18. T2 y;
  19. public T1 getX() {
  20. return x;
  21. }
  22. public void setX(T1 x) {
  23. this.x = x;
  24. }
  25. public T2 getY() {
  26. return y;
  27. }
  28. public void setY(T2 y) {
  29. this.y = y;
  30. }
  31. }

运行结果：
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. Point<String, String> p2 = new Point<String, String>();
  8. p2.setX("东京180度");
  9. p2.setY("北纬210度");
  10. printStrPoint(p2);
  11. }
  12. // 借助通配符限制泛型的范围
  13. public static void printNumPoint(Point<? extends Number, ? extends Number> p){
  14. System.out.println("x: " + p.getX() + ", y: " + p.getY());
  15. }
  16. public static void printStrPoint(Point<? extends String, ? extends String> p){
  17. System.out.println("GPS: " + p.getX() + "，" + p.getY());
  18. }
  19. }
  20. class Point<T1, T2>{
  21. T1 x;
  22. T2 y;
  23. public T1 getX() {
  24. return x;
  25. }
  26. public void setX(T1 x) {
  27. this.x = x;
  28. }
  29. public T2 getY() {
  30. return y;
  31. }
  32. public void setY(T2 y) {
  33. this.y = y;
  34. }
  35. }

运行结果：
x: 10, y: 20
GPS: 东京180度，北纬210度

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

不过，使用通配符(?)不但可以限制类型的上限，还可以限制下限。限制下限使用 super 关键字，例如 <? super Number> 表示只能接受 Number 及其父类。

注意：一般的项目中很少会去设计泛型，这里主要是让读者学会如何使用，为后面的教程做铺垫。

imgur.com/gallery/JpR7sez/new,imgur.com/gallery/thhSrof/new,imgur.com/tMxXF6e,imgur.com/dhEgMAM
,imgur.com/3CIE5mW,imgur.com/NU4dBW6,imgur.com/V1KP4j7,imgur.com/G41m40H,imgur.com/e1lnneo
,imgur.com/nVGIAYh,imgur.com/4tL8pKs,imgur.com/mRzI6Hu,imgur.com/2YxaM7a
,imgur.com/d9Cz2IY,imgur.com/qjYFKZ4,imgur.com/2lLtIvN,imgur.com/NJs76N7
,imgur.com/eECQbwq,imgur.com/OiUgBlV,imgur.com/z21ZW6Z,imgur.com/Rui0Bl3
,imgur.com/WA8TEbT,imgur.com/ZGi9itS,imgur.com/IEQGzv8,imgur.com/E5SreIc
,imgur.com/7epATwy,imgur.com/pHuuqYM,imgur.com/PpWMiee,imgur.com/ccojltN
,imgur.com/zYbp5dC,imgur.com/4cz0RHT,imgur.com/G1FtMan,imgur.com/UcgHsBd
,imgur.com/DDzhJAA,imgur.com/435W5wM,imgur.com/Tesli3z,imgur.com/rBC8jwz
,imgur.com/j6hB6Od,imgur.com/ufGzulS,imgur.com/PkdHTfa,imgur.com/fmVhebw
,imgur.com/fmVhebw,imgur.com/wcFe73h,imgur.com/0zrxmNa,imgur.com/dgakdiK
,imgur.com/zlF7MSR,imgur.com/5hFfizC,imgur.com/InOYxAi,imgur.com/6oEQi8q
,imgur.com/UR7YijM,imgur.com/pa0Ogbk,imgur.com/aZvNSuA,imgur.com/cZHWLD5
,imgur.com/39i75Ku,imgur.com/t4Rxuqf,imgur.com/X01PfT0,imgur.com/cExVMkm
,imgur.com/V7lzRqf,imgur.com/HHCe16A,imgur.com/p0qRJmj,imgur.com/5CCyXcu
,imgur.com/akpf1ej,imgur.com/FUWneM9,imgur.com/Hxz5u61,imgur.com/RfWLDLy
,imgur.com/QaoQilZ,imgur.com/hEUU01b,imgur.com/d4FaPST,imgur.com/SdGtTgK
,imgur.com/pv5avki,imgur.com/uWLHJDY,imgur.com/nDtEf3F,imgur.com/e0RfkQs
,imgur.com/wteSmCE,imgur.com/vLXHaWJ,imgur.com/QVoMLxN,imgur.com/CSlVhXe
,imgur.com/4C53qFS,imgur.com/cMYQe3v,imgur.com/BvsCeIw,imgur.com/Eci69Wo
,imgur.com/w3EAtbz,imgur.com/4OfRlFJ,imgur.com/1BCsxFw,imgur.com/7e8ojLt
,imgur.com/8e07byN,imgur.com/zcgTknH,imgur.com/pqAcY2L,imgur.com/51vLO6G
,imgur.com/uXMoK4p,imgur.com/1tdzRJa,imgur.com/TpUdg9V,imgur.com/cGwveUH
,imgur.com/gallery/PLxzdFK/new,imgur.com/gallery/dSc3wRE/new,imgur.com/HQcGyQg
,imgur.com/ahlbMSu,imgur.com/dnK56YI,imgur.com/Bc9ARhz,imgur.com/VomcuEy
,imgur.com/JBZ4jQB,imgur.com/s357J7r,imgur.com/xKkdrfq,imgur.com/1Ib8Nfx
,imgur.com/ZrGJzho,imgur.com/INitXBj,imgur.com/4fIPRJs,imgur.com/jGGfneL
,imgur.com/2YDUPMw,imgur.com/gSjfmfz,imgur.com/8zOot1i,imgur.com/iW7bbbd
,imgur.com/u4ZF611,imgur.com/t4FSyjD,imgur.com/2nKFmyV,imgur.com/m6u6ox5
,imgur.com/gallery/RtpUC7b/new,imgur.com/Knz3DH8,imgur.com/MrR7jwk,imgur.com/1p1AhhW
,imgur.com/TN1Ctb9,imgur.com/H0jPylY,imgur.com/lc1uc2j,imgur.com/YMRl3ib
,imgur.com/eVCsJTr,imgur.com/Gcq4e84,imgur.com/NvyWaW8,imgur.com/PMM43Ts
,imgur.com/A857Ak6,imgur.com/HZl6D1L,imgur.com/2qDzuJX,imgur.com/EpVAtvx
,imgur.com/F1v2V1T,imgur.com/lPIzCpk,imgur.com/F227dzU,imgur.com/qXxULOj
,imgur.com/xrFk2hK,imgur.com/CfXDZUz,imgur.com/qhAet4e,imgur.com/3xjy5lu
,imgur.com/9B4rbC8,imgur.com/7IsxikD,imgur.com/SIpzT5m,imgur.com/zT2Q6Qb
,imgur.com/wra2jQj,imgur.com/PLwzHWD,imgur.com/ZUT187H,imgur.com/ZA5Ly1F
,imgur.com/XPNaoqi,imgur.com/zbLwwvM,imgur.com/gallery/8lmB1Sc/new
,imgur.com/4ohs8Yp,imgur.com/KzQdEut,imgur.com/zMp3osO,imgur.com/wgOqgC5
,imgur.com/sNdpuMg,imgur.com/1es3D5m,imgur.com/wBILiih,imgur.com/xn4hcHU
,imgur.com/xG1CUes,imgur.com/rztWBzs,imgur.com/mFIa1tZ,imgur.com/cSDslPv
,imgur.com/4KKj2eH,imgur.com/9YB2vnS,imgur.com/AtFJe8A,imgur.com/iClqCyP
,imgur.com/0jawvtY,imgur.com/ghpf05G,imgur.com/rqalm59,imgur.com/rZAQreM
,imgur.com/9WHoQIL,imgur.com/Tgbi5Kg,imgur.com/JRvv39z,imgur.com/gallery/F2V3F7s/new
,imgur.com/gallery/kfCjIjW/new,imgur.com/nzpjCrm,imgur.com/MmpvQTk,imgur.com/1ASYU3C
,imgur.com/VOIgmVl,imgur.com/8XMXUJH,imgur.com/Rk8eTcL,imgur.com/bfDRZoQ
,imgur.com/BYMYkqr,imgur.com/Bdi6FOJ,imgur.com/WHZkEnm,imgur.com/GfaAmmS
,imgur.com/gCRFlQn,imgur.com/66aDs2l,imgur.com/PiaIfcO,imgur.com/CJcz7tO
,imgur.com/W8FJ2Oc,imgur.com/4POcegO,imgur.com/MAO3f8q,imgur.com/5J9CMYY
,imgur.com/WdApf5q,imgur.com/NY7tYHJ,imgur.com/GZ9BjBx,imgur.com/xqIxKAs
,imgur.com/4kzUd8N

时间： 2024-08-13 06:51:28

java泛型通配符和类型参数的范围的相关文章

JAVA泛型通配符T，E，K，V区别，网友回复：一文秒懂

先解释下泛型概念泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.这种参数类型可以用在类.接口和方法的创建中,分别称为泛型类.泛型接口.泛型方法.Java语言引入泛型的好处是安全简单. 在Java SE 1.5之前,没有泛型的情况的下,通过对类型Object的引用来实现参数的"任意化","任意化"带来的缺点是要做显式的强制类型转换,而这种转换是要求开发者对实际参数类型可以预知的情况下进行的.对于强制类型转换错误的

Java泛型通配符学习 —— Java Generic&#39;s Wildcards

Java Generic's wildcards is a mechanism in Java Generics aimed at making it possible to cast a collection of a certain class, e.g A, to a collection of a subclass or superclass of A. This text explains how. 理解:Java的泛型通配符机制旨在实现集合的类型转换.例如集合A,转换为A的子类集合或

Java知多少（42）泛型通配符和类型参数的范围

本节先讲解如何限制类型参数的范围,再讲解通配符(?). 类型参数的范围 在泛型中,如果不对类型参数加以限制,它就可以接受任意的数据类型,只要它是被定义过的.但是,很多时候我们只需要一部分数据类型就够了,用户传递其他数据类型可能会引起错误.例如,编写一个泛型函数用于返回不同类型数组(Integer 数组.Double 数组等)中的最大值: 1 public <T> T getMax(T array[]){ 2 T max = null; 3 for(T element : array){ 4 m

JAVA泛型通配符T，E，K，V区别，T以及Class&lt;T&gt;，Class&lt;?&gt;的区别

1. 先解释下泛型概念 泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.这种参数类型可以用在类.接口和方法的创建中,分别称为泛型类.泛型接口.泛型方法.Java语言引入泛型的好处是安全简单.在Java SE 1.5之前,没有泛型的情况的下,通过对类型Object的引用来实现参数的“任意化”,“任意化”带来的缺点是要做显式的强制类型转换,而这种转换是要求开发者对实际参数类型可以预知的情况下进行的.对于强制类型转换错误的情况,编译器可能不提示错

Java泛型-- 通配符

转自:http://blog.csdn.net/flfna/article/details/6576394 ———————————————————————————————————————————— 通配符 在本文的前面的部分里已经说过了泛型类型的子类型的不相关性.但有些时候,我们希望能够像使用普通类型那样使用泛型类型: ◆ 向上造型一个泛型对象的引用 ◆ 向下造型一个泛型对象的引用 向上造型一个泛型对象的引用 例如,假设我们有很多箱子,每个箱子里都装有不同的水果,我们需要找到一种方法能够通用的处

java泛型通配符?

转自:http://www.linuxidc.com/Linux/2013-10/90928.htm T  有类型 ?  未知类型 一.通配符的上界 既然知道List<Cat>并不是List<Anilmal>的子类型,那就需要去寻找替他解决的办法, 是AnimalTrianer.act()方法变得更为通用(既可以接受List<Animal>类型,也可以接受List<Cat>等参数).在java里解决办法就是使用通配符"?",具体到Anim

理解Java泛型 通配符 ? 以及其使用

什么是泛型: 泛型从字面上理解,是指一个类.接口或方法支持多种类型,使之广泛化.一般化和更加通用.Java中使用Object类来定义类型也 能实现泛型,但缺点是造成原类型信息的丢失,在使用中容易造成ClassCastException. Java泛型带到的好处: 使得一个类或方法中的类型参数化,最终达到代码复用的效果.( 不使用泛型,你可能需要每种情况的类或方法都要定义一遍 ) 实现类型检查的功能,避免ClassCastException.(这是相对于使用Object类型实现泛型而言.因为我可以

Java泛型 通配符？ extends与super

本文来源:https://i.cnblogs.com/EditPosts.aspx?opt=1 感谢博主.本文仅供参考学习. Java 泛型 关键字说明 ? 通配符类型 <? extends T> 表示类型的上界,表示参数化类型的可能是T 或是 T的子类 <? super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型的超类型(父类型),直至Object extends 示例 static class Food{} static class Frui

JAVA 泛型通配符 ? EXTENDS SUPER 的用法

1. <? extends Hero> ArrayList heroList<? extends Hero> 表示这是一个Hero泛型或者其子类泛型heroList 的泛型可能是HeroheroList 的泛型可能是APHeroheroList 的泛型可能是ADHero所以 可以确凿的是,从heroList取出来的对象,一定是可以转型成Hero的 但是,不能往里面放东西,因为放APHero就不满足<ADHero>放ADHero又不满足<APHero> 2.