使用通配符简化泛型使用

最新推荐文章于 2024-08-23 15:54:50 发布
最新推荐文章于 2024-08-23 15:54:50 发布
阅读量352 收藏
点赞数
文章标签： 编译器 java integer object list concurrency
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ah_simple/article/details/2529957
版权
导读：
　　级别： 高级
　　Brian Goetz(brian.goetz@sun.com), 高级工程师, Sun Microsystems
　　2008 年 5 月 26 日
　　通配符是 Java? 语言中最复杂的泛型之一，特别是围绕捕获通配符的处理和令人困惑的错误消息。在这一期的 Java 理论与实践中，资深 Java 开发人员 Brian Goetz 解释了一些由 javac 生成的怪异错误消息并提供了一些简化泛型使用的技巧和解决方法。
　　自从泛型被添加到 JDK 5 语言以来，它一直都是一个颇具争议的话题。一部分人认为泛型简化了编程，扩展了类型系统从而使编译器能够检验类型安全；另外一些人认为泛型添加了很多不必要的复杂性。对于泛型我们都经历过一些痛苦的回忆，但毫无疑问通配符是最棘手的部分。
　　通配符基本介绍
　　泛型是一种表示类或方法行为对于未知类型的类型约束的方法，比如 “不管这个方法的参数 x和 y是哪种类型，它们必须是相同的类型”，“必须为这些方法提供同一类型的参数” 或者 “foo()的返回值和 bar()的参数是同一类型的”。
　　通配符 —使用一个奇怪的问号表示类型参数 —是一种表示未知类型的类型约束的方法。通配符并不包含在最初的泛型设计中（起源于 Generic Java（GJ）项目），从形成 JSR 14 到发布其最终版本之间的五年多时间内完成设计过程并被添加到了泛型中。
　　通配符在类型系统中具有重要的意义，它们为一个泛型类所指定的类型集合提供了一个有用的类型范围。对泛型类 ArrayList而言，对于任意（引用）类型 T，ArrayList 类型是 ArrayList 的超类型（类似原始类型ArrayList和根类型 Object，但是这些超类型在执行类型推断方面不是很有用）。
　　通配符类型 List 与原始类型 List和具体类型List 都不相同。如果说变量 x具有List 类型，这表示存在一些 T类型，其中 x是 List 类型，x具有相同的结构，尽管我们不知道其元素的具体类型。这并不表示它可以具有任意内容，而是指我们并不了解内容的类型限制是什么 —但我们知道存在某种限制。另一方面，原始类型 List是异构的，我们不能对其元素有任何类型限制，具体类型List 表示我们明确地知道它能包含任何对象（当然，泛型的类型系统没有 “列表内容” 的概念，但可以从 List之类的集合类型轻松地理解泛型）。
　　通配符在类型系统中的作用部分来自其不会发生协变（covariant）这一特性。数组是协变的，因为 Integer是 Number的子类型，数组类型 Integer[]是Number[]的子类型，因此在任何需要 Number[]值的地方都可以提供一个 Integer[]值。另一方面，泛型不是协变的，List 不是List 的子类型，试图在要求 List 的位置提供List 是一个类型错误。这不算很严重的问题 —也不是所有人都认为的错误 —但泛型和数组的不同行为的确引起了许多混乱。
　　我已使用了一个通配符 —接下来呢？
　　清单 1 展示了一个简单的容器（container）类型 Box，它支持 put和 get操作。 Box由类型参数 T参数化，该参数表示 Box 内容的类型，Box 只能包含String类型的元素。
　　 清单 1. 简单的泛型 Box 类型
　　

public interface Box {
public T get();
public void put(T element);
}

　　通配符的一个好处是允许编写可以操作泛型类型变量的代码，并且不需要了解其具体类型。例如，假设有一个Box 类型的变量，比如清单 2 unbox()方法中的 box参数。unbox()如何处理已传递的 box？
　　 清单 2. 带有通配符参数的 Unbox 方法
　　

public void unbox(Box box) {
System.out.println(box.get());
}

　　事实证明 Unbox 方法能做许多工作：它能调用get()方法，并且能调用任何从 Object继承而来的方法（比如 hashCode()）。它惟一不能做的事是调用 put()方法，这是因为在不知道该 Box实例的类型参数 T的情况下它不能检验这个操作的安全性。由于 box是一个 Box 而不是一个原始的 Box，编译器知道存在一些 T充当 box的类型参数，但由于不知道 T具体是什么，您不能调用 put()因为不能检验这么做不会违反 Box的类型安全限制（实际上，您可以在一个特殊的情况下调用 put()：当您传递 null字母时。我们可能不知道 T类型代表什么，但我们知道 null字母对任何引用类型而言是一个空值）。
　　关于box.get()的返回类型，unbox()了解哪些内容呢？它知道 box.get()是某些未知 T的 T，因此它可以推断出 get()的返回类型是 T的擦除（erasure），对于一个无上限的通配符就是 Object。因此清单 2 中的表达式 box.get()具有 Object类型。
　　通配符捕获
　　清单 3 展示了一些似乎应该可以工作的代码，但实际上不能。它包含一个泛型 Box、提取它的值并试图将值放回同一个 Box。
　　 清单 3. 一旦将值从 box 中取出，则不能将其放回
　　

public void rebox(Box box) {
box.put(box.get());
}
Rebox.java:8: put(capture#337 of ?) in Box cannot be applied
to (java.lang.Object)
box.put(box.get());
^
1 error

　　这个代码看起来应该可以工作，因为取出值的类型符合放回值的类型，然而，编译器生成（令人困惑的）关于 “capture#337 of ?” 与 Object不兼容的错误消息。
　　“capture#337 of ?” 表示什么？当编译器遇到一个在其类型中带有通配符的变量，比如 rebox()的box参数，它认识到必然有一些 T，对这些 T而言 box是 Box 。它不知道 T代表什么类型，但它可以为该类型创建一个占位符来指代 T的类型。占位符被称为这个特殊通配符的捕获（capture）。这种情况下，编译器将名称 “capture#337 of ?” 以 box类型分配给通配符。每个变量声明中每出现一个通配符都将获得一个不同的捕获，因此在泛型声明 foo(Pair x, Pair y)中，编译器将给每四个通配符的捕获分配一个不同的名称，因为任意未知的类型参数之间没有关系。
　　错误消息告诉我们不能调用put()，因为它不能检验 put()的实参类型与其形参类型是否兼容 —因为形参的类型是未知的。在这种情况下，由于 ?实际表示 “？extends Object” ，编译器已经推断出box.get()的类型是 Object，而不是 “capture#337 of ?”。它不能静态地检验对由占位符 “capture#337 of ?” 所识别的类型而言 Object是否是一个可接受的值。
　　 捕获助手
　　虽然编译器似乎丢弃了一些有用的信息，我们可以使用一个技巧来使编译器重构这些信息，即对未知的通配符类型命名。清单 4 展示了 rebox()的实现和一个实现这种技巧的泛型助手方法（helper）：
　　 清单 4. “捕获助手” 方法
　　

public void rebox(Box box) {
reboxHelper(box);
}
private void reboxHelper(Box box) {
box.put(box.get());
}

　　助手方法 reboxHelper()是一个泛型方法，泛型方法引入了额外的类型参数（位于返回类型之前的尖括号中），这些参数用于表示参数和/或方法的返回值之间的类型约束。然而就 reboxHelper()来说，泛型方法并不使用类型参数指定类型约束，它允许编译器（通过类型接口）对 box 类型的类型参数命名。
　　捕获助手技巧允许我们在处理通配符时绕开编译器的限制。当 rebox()调用reboxHelper()时，它知道这么做是安全的，因为它自身的 box参数对一些未知的 T而言一定是 Box 。因为类型参数 V被引入到方法签名中并且没有绑定到其他任何类型参数，它也可以表示任何未知类型，因此，某些未知 T的 Box 也可能是某些未知 V的 Box （这和 lambda 积分中的 α 减法原则相似，允许重命名边界变量）。现在 reboxHelper()中的表达式 box.get()不再具有 Object类型，它具有 V类型 —并允许将 V传递给 Box .put()。
　　我们本来可以将 rebox()声明为一个泛型方法，类似 reboxHelper()，但这被认为是一种糟糕的 API 设计样式。此处的主要设计原则是 “如果以后绝不会按名称引用，则不要进行命名”。就泛型方法来说，如果一个类型参数在方法签名中只出现一次，它很有可能是一个通配符而不是一个命名的类型参数。一般来说，带有通配符的 API 比带有泛型方法的 API 更简单，在更复杂的方法声明中类型名称的增多会降低声明的可读性。因为在需要时始终可以通过专有的捕获助手恢复名称，这个方法让您能够保持 API 整洁，同时不会删除有用的信息。
　　类型推断
　　捕获助手技巧涉及多个因素：类型推断和捕获转换。Java 编译器在很多情况下都不能执行类型推断，但是可以为泛型方法推断类型参数（其他语言更加依赖类型推断，将来我们可以看到 Java 语言中会添加更多的类型推断特性）。如果愿意，您可以指定类型参数的值，但只有当您能够命名该类型时才可以这样做 —并且不能够表示捕获类型。因此要使用这种技巧，要求编译器能够为您推断类型。捕获转换允许编译器为已捕获的通配符产生一个占位符类型名，以便对它进行类型推断。
　　当解析一个泛型方法的调用时，编译器将设法推断类型参数它能达到的最具体类型。 例如，对于下面这个泛型方法：
　　
public static T identity(T arg) { return arg };

　　和它的调用：
　　
Integer i = 3;
System.out.println(identity(i));

　　编译器能够推断 T是Integer、Number、 Serializable 或 Object，但它选择 Integer作为满足约束的最具体类型。
　　当构造泛型实例时，可以使用类型推断减少冗余。例如，使用Box类创建 Box 要求您指定两次类型参数 String：
　　
Box box = new BoxImpl ();

　　即使可以使用 IDE 执行一些工作，也不要违背 DRY（Don't Repeat Yourself）原则。然而，如果实现类 BoxImpl提供一个类似清单 5 的泛型工厂方法（这始终是个好主意），则可以减少客户机代码的冗余：
　　 清单 5. 一个泛型工厂方法，可以避免不必要地指定类型参数
　　

public class BoxImpl implements Box {
public static Box make() {
return new BoxImpl ();
}
...
}

　　如果使用BoxImpl.make()工厂实例化一个 Box，您只需要指定一次类型参数：
　　
Box myBox = BoxImpl.make();

　　泛型 make()方法为一些类型 V返回一个 Box ，返回值被用于需要 Box 的上下文中。编译器确定 String是 V能接受的满足类型约束的最具体类型，因此此处将 V推断为 String。您还可以手动地指定 V的值：
　　
Box myBox = BoxImpl. make();

　　除了减少一些键盘操作以外，此处演示的工厂方法技巧还提供了优于构造函数的其他优势：您能够为它们提高更具描述性的名称，它们能够返回命名返回类型的子类型，它们不需要为每次调用创建新的实例，从而能够共享不可变的实例（参见 参考资料中的 Effective Java, Item #1，了解有关静态工厂的更多优点）。
　　结束语
　　通配符无疑非常复杂：由 Java 编译器产生的一些令人困惑的错误消息都与通配符有关，Java 语言规范中最复杂的部分也与通配符有关。然而如果使用适当，通配符可以提供强大的功能。此处列举的两个技巧 —捕获助手技巧和泛型工厂技巧 —都利用了泛型方法和类型推断，如果使用恰当，它们能显著降低复杂性。
　　参考资料
　　 学习
　　您可以参阅本文在 developerWorks 全球站点上的 英文原文。
　　Java 理论与实践（Brian Goetz，developerWorks）：参阅该系列的所有文章。
　　“了解泛型”（Brian Goetz，developerWorks，2005 年 1 月）：了解如何在学习使用泛型时识别和避免一些陷阱。
　　JDK 5.0 中的泛型介绍（Brian Goetz，developerWorks，2004 年 12 月）：developerWorks 投稿人和 Java 编程专家 Brian Goetz 解释了将泛型添加到 Java 语言的动机、语法细节和泛型类型的语义，并介绍了如何在自己的类中使用泛型。
　　JSR 14：将泛型添加到 Java 编程语言中。早期的规范来源于 GJ。通配符是后来添加的。
　　Java Generics and Collections：提供了一个全面的泛型处理。
　　Effective Java: Item 1 进一步探讨了静态工厂方法的优点。
　　Generics FAQ: Angelika Langer 创建了关于泛型的完整 FAQ。
　　Java Concurrency in Practice：使用 Java 代码开发并发程序的 how-to 手册，包括构造和组成线程安全的类和程序、避免风险、管理性能和测试并发应用程序。
　　技术书店：浏览有关各种技术主题的书籍。
　　Java 技术专区：数百篇关于 Java 编程各个方面的文章。
　　 讨论
　　查看 developerWorks blogs加入 developerWorks 社区。
　　关于作者
　　Brian Goetz 作为一名专业软件开发人员已经 20 年了。他是 Sun Microsystems 的高级工程师，并且效力于多个 JCP 专家组。Brian 的著作 Java Concurrency In Practice在 2006 年 5 月由 Addison-Wesley 出版。请参阅 Brian 在流行的业界出版物上 已发表和即将发表的文章。

本文转自
http://www.ibm.com/developerworks/cn/java/j-jtp04298.html?S_TACT=105AGX52&S_CMP=tec-csdn
ah_simple
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
泛型通配符的基本使用
chunzhenwangluo的博客
11-08 347
这是我参与11月更文挑战的第7天，活动详情查看：2021最后一次更文挑战」。 茫茫人海千千万万，感谢这一秒你看到这里。希望我的文章对你的有所帮助！ 愿你在未来的日子，保持热爱，奔赴山海！ 前言：昨天我们终于讲完了泛型通配符的基本使用， 所以，接下来我们将会对泛型通配符的学习--泛型通配符的高级使用！ ????泛型通配符 在我们之前的学习泛型的过程当中，在当我们使用泛型类或者接口时，传递的数据中，泛型类型不确定，可以通过通配符<?>表示。但是一旦使用泛型的通配符后，只能使用Ob
泛型与通配符
xiaoxiaoxiaopb的博客
09-09 219
文章目录前言一、泛型1. 什么是泛型2. 泛型存在的意义2. 泛型的使用二、通配符1.为什么要使用通配符2.上限通配符3. 下限通配符三、泛型和通配符如何选择总结 前言        泛型程序设计（generic programming）是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样 一、
java contains 通配符_Java 理论与实践: 使用通配符简化泛型使用
weixin_32767301的博客
02-16 186
在使用 Java™ 语言的泛型时，通配符非常令人困惑，并且最常见的一个错误就是在使用有界通配符的两种形式的其中之一(“? super T” 和 “? extends T”)时出现错误。您出错了吗？别沮丧，即使是专家也会犯这种错误，本月 Brian Goetz 将展示如何避免这个错误。在 Java 语言中，数组是协变的(因为一个 Integer 同时也是一个 Number，一个 Integer 数组...
Java 理论与实践: 使用通配符简化泛型使用
stan451219097的专栏
09-20 86
自从泛型被添加到 JDK 5 语言以来，它一直都是一个颇具争议的话题。一部分人认为泛型简化了编程，扩展了类型系统从而使编译器能够检验类型安全；另外一些人认为泛型添加了很多不必要的复杂性。对于泛型我们都经历过一些痛苦的回忆，但毫无疑问通配符是最棘手的部分。 通配符基本介绍 泛型是一种表示类或方法行为对于未知类型的类型约束的方法，比如 “不管这个方法的参数 x 和 y 是哪种类型，它们必须是相...
使用通配符简化泛型使用1
08-08
泛型是Java中的一种特性，它允许在类、接口和方法中使用类型参数，以增强类型安全性。泛型的主要目标是确保在编译时就能检测出可能的类型错误，而不是在运行时通过异常来发现。 2. 通配符（Wildcards）： 通配符是...
Java泛型使用详细分析.docx
09-13
这样可以限制泛型使用的类型范围。 7. **类型擦除** 需要注意的是，Java的泛型是类型擦除的，这意味着在运行时，所有的泛型信息都会被擦除，实际的类型检查都在编译期间完成。因此，泛型不会影响程序的运行时性能...
Java基础篇：泛型.pdf
04-24
泛型是Java编程语言中用于减少类型转换错误和增强代码安全性的机制，它允许在定义类、接口和方法时使用类型参数。...泛型的引入极大地简化了Java集合框架的使用，并使得泛型类和接口的定义更加灵活和强大。
1.泛型类 、通配符的使用、通配符的上限和下限 编写泛型类Stack<E>，该类中定义一个成员变量和如下方法：
04-23
### 泛型类、通配符的使用及上下限详解 #### 1. 泛型类的概念 在Java中，泛型是一种使代码更加灵活、重用性更强且类型安全的技术。通过使用泛型，我们可以定义类型参数化的类或方法，从而避免了代码重复并且可以在...
Java泛型详解
09-02
在某些情况下，我们可能需要处理多种类型的泛型对象，这时可以使用通配符，如`<?>`表示任意类型，`<? extends T>`表示T或其子类型，`<? super T>`表示T或其父类型。通配符可以帮助我们编写更通用的代码，提高代码的...
开发多线程程序时，需要注意那些问题
最新发布
OO_SEN的博客
08-23 537
线程安全 竞态条件（Race Condition）：当多个线程同时访问和修改共享资源时，可能会出现竞态条件，导致不确定的行为。需要通过同步机制（如互斥锁、读写锁、原子操作）来保护共享资源。 死锁（Deadlock）：当两个或多个线程相互等待对方释放锁时，程序会陷入死锁状态。避免死锁的一些策略包括：避免嵌套锁、确保加锁顺序一致、使用超时机制等。 活锁（Livelock）：与死锁不同，活锁是指线程不断地尝试获取资源但总是失败，导致无法继续执行。避免频繁重试操作或使用退避算法可以减少活锁的发生。 优先级反转（P
Yolov8：模型部署到安卓端
m0_70694811的博客
08-21 777
下载安装jdk-8u202-windows-x64.exe，这篇文章有百度网盘资源链接，直接下载，并按照这篇文章的JDK步骤进行安装和环境变量配置。C:\Program Files\Java\jdk-1.8\bin和C:\Program Files\Java\jdk-1.8\jre\bin。比如因为我的jdk路径是C:\Program Files\Java\jdk-1.8，所以这两个相对路径就改成。参考这边文章的USB驱动设置和手机端设置。同意协议后，下载相应版本的JDK。
笔记redis
风止的博客
08-22 1048
Redis（Remote Dictionary Server）是用C语言开发的一个基于的数据库。
@Transactional中使用线程锁导致了锁失效与解决方案
liuruiaaa的博客
08-23 741
@Transactional中使用线程锁导致了锁失效与解决方案
JavaScript 错误 - Throw 和 Try to Catch的使用
逆风优雅的博客
08-23 129
trycatchthrow上面的代码 因为 try中 没有adddlert这个方法，或者这个方法有误，这时，代码会执行catch部分。JavaScript 实际上会创建带有两个属性的Error 对象name和message。
使用Java通过身份证号码匹配省市县名称的技术博客
weixin_41489908的博客
08-21 347
每日自动更新各类学习教程及工具下载合集​​在中国，身份证号码包含了持有人的出生地信息。通过解析身份证号码的前六位，我们可以获取对应的省、市、县（区）信息。在这篇博客中，我们将探讨如何使用Java代码来实现这一功能，并展示详细的代码示例和运行结果。
Java中自定义注解的使用
echola_mendes的博客
08-22 994
以【记录操作日志】为例，一般在开发中为了记录用户操作，当系统出现问题时，可以追溯日志所提供详细的错误信息，帮助开发者快速定位问题的原因最简单的方法：在每个方法中增加日志信息打印代码，来记录操作日志，但是这样重复代码也很多，也不易扩展，而且易出错使用自定义注解就会方便很多，减少不必要的重复代码，减少非业务代码的侵入性，如果需要扩展操作用户的信息以及IP就会很方便，易于扩展和维护@interface在需要使用自定义注解的地方使用该注解@LogOperation("新增")// 方法实现。
JavaSE 集合
ALLWE的博客
08-20 682
调用空构造器时初始化 Object[] elementData 数组，长度为10；初始化 size 属性，值为0；当elementData 数组中的10个位置都有元素后，添加第11个元素时数组扩容；扩容长度为原数组的1.5倍；扩容逻辑是创建一个长度为 15 的数组，将旧数组的数据拷贝到新数组中。
如何用Java SpringBoot+Vue搭建校内跑腿业务系统？实战教程解析
WEIXIN_JSJBCZDS的博客
08-21 982
如何用Java SpringBoot+Vue搭建校内跑腿业务系统？实战教程解析 【毕设攻略】Java SpringBoot+Vue打造校内跑腿系统！从零开始，手把手教你构建完整的业务流程。实战教程，技术难点全解析，让你的毕设项目脱颖而出，校园创业从这里启航！点击视频，开启你的编程之旅！
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值