泛型之解析通配符

本贴最后更新于 1949 天前,其中的信息可能已经水流花落

通配符有着令人费解和混淆的语法,但通配符大量应用于 Java 容器类中。

  1. 更简洁的参数类型限定

    在上一篇中,为了将 Integer 对象添加到 Number 容器中,我们的类型参数使用了其他类型参数作为上界,我们提到,这种写法有点繁琐,它可以替换为更为简洁的通配符形式:

    public void addAll(DynamicArray<? extends E> c) { for (int i = 0; i< c.size; i++) { add(c.get(i)); } }

    这个方法没有定义类型参数,c 的类型是 DynamicArray<? extends E>,?表示通配符,<? extends E> 表示有限定通配符,匹配 E 或 E 的某个子类型,具体什么子类型是未知的。

    DynamicArray<Number> numbers = new DynamicArray<>(); DynamicArray<Integer> ints = new DynamicArray<>(); ints.add(100); ints.add(34); numbers.addAll(ints);

    这里,E 是 Number 类型,DynamicArray<? extends E> 可以匹配 DynamicArray。

    那么问题来了,同样是 extends 关键字,同样应用于泛型,和 <? extends E> 到底有什么关系?它们用的地方不一样:

    1. 用于定义类型参数,它声明了一个类型参数 T,可放在泛型类定义中类名后面、泛型方法返回值前面。
    2. 用于实例化类型参数,它用于实例化泛型变量中的类型参数,只是这个具体类型是未知的,只知道它是E或E的某个子类型。

    虽然他们不一样,但两种写法经常可以达成相同目标。

    public void addAll(DynamicArray<? extends E> c) public <T extends E> void addAll(DynamicArray<T> c)

    那么到底应该用哪种形式?

  2. 理解通配符

    除了有限定通配符,还有一种通配符,形如 DynamicArray<?>,称为无限定通配符。

    public static int indexOf(DynamicArray<?> arr, Object elm) { for (int i = 0; i< arr.size(); i++) { if (arr.get(i).equals(elm)) { return i; } } return -1; }

    其实这种无限通配符形式也可以改为使用类型参数。

    public static int indexOf(DynamicArray<?> arr, Object elm)

    可以改为:

    public static <T> int indexOf(DynamicArray<T> arr, Object elm)

    不过,通配符形式更为简洁。虽然通配符形式更为简洁,但上面两种通配符都有一个重要的限制:只能读,不能写。

    DynamicArray<Integer> ints = new DynamicArray<>(); DynamicArray<? extends Number> numbers = ints; Integer a = 200; numbers.add(a): //错误 numbers.add((Number) a); //错误 numbers.add((Object) a); //错误

    三种 add 方法都是非法的,无论是 Integer,还是 Number 或 Object,编译器都会报错。因为问号就是表示类型安全无知,?extends Number 表示 Number 的某个子类型,但不知道具体子类型,如果允许写入,Java 就无法确保类型安全性,所以干脆禁止。

    DynamicArray<Integer> ints = new DynamicArray<>(); DynamicArray<? extends Number> numbers = ints; Number n = new Double(23.0) Object o = new String("hello world"); numbers.add(n); numbers.add(o);

    如果允许写入 Object 或 Number 类型,则最后两行编译就是正确的,也就是说,Java 将允许把 Double 或 String 对象放入 Integer 容器,这显然违背了 Java 关于类型安全的承诺。

    大部分情况下,这种限制是好的,但这使得一些理应正确的基本操作无法完成,比如交换两个元素的位置。

    public static void swap(DynamicArray<?> arr, int i, int j) { Object tmp = arr.get(i); arr.set(i, arr.get(j)); arr.set(j, tmp); }

    这个代码看上去应该是正确的,但 Java 会提示编译错误,两行 set 语句都是非法的。不过,借助待类型参数的方法,这个问题可以如下解决。

    private static <T> void swapInternal(DynamicArray<T> arr, int i, int j) { T tmp = arr.get(i); arr.set(i, arr.get(j)); arr.set(j, tmp); } public static void swap(DynamicArray<?> arr, int i, int j) { swapInternal(arr, i, j); }

    swap 可以调用 swapInternal,而带类型参数的 swapInternal 可以写入。Java 容器类中就有类似这样的用法,公共的 API 是通配的形式,形式更简单,但内部调用带类型参数的方法。

    除了这种需要写的场合,如果参数类型之间有依赖关系,也只能用类型参数,比如,将 src 容器中的内容复制到 dest 中:

    public static <D, S extends D> void copy(DynamicArray<D> dest, DynamicArray<S> src) { for (int i = 0; i< src.size(); i++) { dest.add(src.get(i)); } }

    S 和 D 有依赖关系,要么相同,要么 S 是 D 的子类,否则类型不兼容,有编译错误。不过上面的声明可以使用通配符简化,两个参数可以简化为一个,如下:

    public static <D> void copy(DynamicArray<D> dest, DynamicArray<? extends D> src) { for (int i = 0; i< src.size(); i++) { dest.add(src.get(i)); } }

    如果返回值依赖于类型参数,也不能用通配符,比如,计算动态数组中的最大值。

    public static <T extends Comparable<T>> T max(DynamicArray arr) { T max = arr.get(0); for(int i = 1; i< arr.size(); i++) { if(arr.get(i).compareTo(max) > 0) { max = arr.get(i); } } return max; }

    上面的代码就难以用通配符代替。

    那么泛型方法到底应该用通配符的形式还是加类型参数?总结如下:

    1. 通配符形式都可以用类型参数的形式来替代,通配符能做的,用类型参数都能做。
    2. 通配符形式可以减少类型参数,形式上往往更为简单,可读性也更好,所以,能用通配符的就用通配符。
    3. 如果类型参数之间有依赖关系,或者返回值依赖类型参数,或者需要写操作,则只能用类型参数。
    4. 通配符形式和类型参数往往配合使用。比如,上面 copy 方法,定义必要的类型参数,使用通配符表达依赖,并解说更广泛的数据类型。
  3. 超类型通配符

    还有一种通配符,与形式 <? extends E> 正好相反,它的形式为 <? super E>,称为超类型通配符,表示 E 的某个父类型。有了它,我们就可以更灵活地写入了。

    如果没有这种语法,写入会有一些限制。

    public void copyTo(DynamicArray<E> dest) { for(int i = 0; i< size; i++) { dest.add(get(i)); } }

    这个方法也很简单,将当前容器中的元素添加到传入的目标容器中。我们可能希望这个使用:

    DynamicArray<Integer> ints = new DynamicArray<Integer>(); ints.add(100); ints.add(34); DynamicArray<Number> numbers = new DynamicArray<>(); ints.copyTo(numbers);

    Integer 是 Number 的子类,将 Integer 对象拷贝进 Number 容器,这种用法应该是合情合理的,但 Java 会提示编译错误,理由我们之前也说过,期望的参数类型是 DynamicArray,DynamicArray并不适用。

    如之前所说,一般而言,不能将 DynamicArray看作 DynamicArray,但我们这里的用法没有问题,Java 解决这个问题的方法就是超类型通配符,可以将 copyTo 代码该为:

    public void copyTo(DynamicArray<? super E> dest) { for(int i = 0; i< size; i++) { dest.add(get(i)); } }

    这样就没问题。

    超类型通配符另一个常用的场合是 Comparable/Comparator 接口。同样,如果不适用会有什么限制。

    public static <T extends Comparable<T>> T max(DynamicArray<T> arr)

    这个声明有什么限制呢?举个简单的例子,有两个类 Base 和 Child

    class Base implements Comparable<Base> { private int sortOrder; public Base(int sortOrder) { this.sortOrder = sortOrder; } @Override public int compareTo(Base o) { if(sortOrder < o.sortOrder) { return -1; } else if(sortOrder > o.sortOrder) { return 1; } else { return 0; } } } class Child extends Base { public Child(int sortOrder) { super(sortOrder); } }

    这里,Child 非常简单,只是继承了 Base。注意:Child 没有重新实现 Comparable 接口,因为 Child 的比较规则和 Base 是一样的。我们可能希望使用前面的 max 方法操作 Child 容器。

    DynamicArray<Child> childs = new DynamicArray<Child>(); childs.add(new Child(20)); childs.add(new Child(80)); Child maxChild = mac(childs);

    遗憾的是,Java 会提示错误,类型不匹配。我们可能会认为,Java 会将 max 方法的类型参数 T 推断为 Child 类型,但类型 T 的要求是 extends Comparable,而 Child 并没有实现 Comparable,它实现的是 Comparable。

    但我们的需求是合理的,Base 类的代码已经有了关于比较所需要的全部数据,它应该可以用于比较 Child 对象。解决这个问题的方法就是修改 max 方法声明,使用超类型通配符。

    public static <T extends Comparable<? super T>> T max(DynamicArray<T> arr)

    这么修改一下就可以了,这种写法比较抽象,将 T 替换为 Child,就是:

    Child extends Comparable<? super Child>

    类型参数限定只有 extends 形式,没有 super 形式,比如前面的 copyTo 方法的通配符形式的声明:

    public void copyTo(DynamicArray<? super E> dest)

    如果类型参数限定支持 super 形式,则应该是:

    public <T super E> void copyTo(DynamicArray<T> dest)

    事实是,Java 并不支持这种语法。

    对于有限定的通配符形式 <? extends E>,可以用类型参数限定替代,但是对于类似上面的超类型通配符,则无法用类型参数替代。

    泛型的三种通配符形式 <?>、<? super E> 和 <? extends E>,并分析了与类型参数形式的区别和联系,他们都容易混淆:

    1. 他们的目的都是为了使方法接口更为灵活,可以接受更为广泛的类型。
    2. 用于灵活写入或比较,使得对象可以写入父类型的容器,使得父类型的比较方法可以应用于子类对象,它不能被类型参数形式替代。
    3. 和用于灵活读取,使得方法可以读取E或E的任意子类型的容器对象,他们可以用类型参数的形式替代,但通配符形式更为简洁。

    在使用泛型类、方法和接口时,有一些值得注意的地方:

    • 基本类型不能用于实例化类型参数
    • 运行时类型信息不适用于泛型
    • 类型擦除可能会引发一些冲突

    在定义泛型类、方法和接口时,也有一些需要注意的地方:

    • 不能通过类型参数创建对象
    • 泛型类类型参数不能用于静态变量和方法
    • 了解多个类型限定的语法

    泛型与数组的关系:

    • Java 不支持创建泛型数组
    • 如果要存放泛型对象,可以使用原始类型的数组,或者使用泛型容器
    • 泛型容器内部使用 Object 数组,如果要转换泛型容器为对应类型的数组,需要使用反射。

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...
AutisticV5
简单很快乐,快乐很简单。 佛山

推荐标签 标签

  • Outlook
    1 引用 • 5 回帖
  • 服务

    提供一个服务绝不仅仅是简单的把硬件和软件累加在一起,它包括了服务的可靠性、服务的标准化、以及对服务的监控、维护、技术支持等。

    41 引用 • 24 回帖 • 1 关注
  • 强迫症

    强迫症(OCD)属于焦虑障碍的一种类型,是一组以强迫思维和强迫行为为主要临床表现的神经精神疾病,其特点为有意识的强迫和反强迫并存,一些毫无意义、甚至违背自己意愿的想法或冲动反反复复侵入患者的日常生活。

    15 引用 • 161 回帖 • 1 关注
  • Docker

    Docker 是一个开源的应用容器引擎,让开发者可以打包他们的应用以及依赖包到一个可移植的容器中,然后发布到任何流行的操作系统上。容器完全使用沙箱机制,几乎没有性能开销,可以很容易地在机器和数据中心中运行。

    493 引用 • 928 回帖
  • Firefox

    Mozilla Firefox 中文俗称“火狐”(正式缩写为 Fx 或 fx,非正式缩写为 FF),是一个开源的网页浏览器,使用 Gecko 排版引擎,支持多种操作系统,如 Windows、OSX 及 Linux 等。

    7 引用 • 30 回帖 • 402 关注
  • 设计模式

    设计模式(Design pattern)代表了最佳的实践,通常被有经验的面向对象的软件开发人员所采用。设计模式是软件开发人员在软件开发过程中面临的一般问题的解决方案。这些解决方案是众多软件开发人员经过相当长的一段时间的试验和错误总结出来的。

    200 引用 • 120 回帖
  • React

    React 是 Facebook 开源的一个用于构建 UI 的 JavaScript 库。

    192 引用 • 291 回帖 • 377 关注
  • JavaScript

    JavaScript 一种动态类型、弱类型、基于原型的直译式脚本语言,内置支持类型。它的解释器被称为 JavaScript 引擎,为浏览器的一部分,广泛用于客户端的脚本语言,最早是在 HTML 网页上使用,用来给 HTML 网页增加动态功能。

    729 引用 • 1276 回帖 • 2 关注
  • RYMCU

    RYMCU 致力于打造一个即严谨又活泼、专业又不失有趣,为数百万人服务的开源嵌入式知识学习交流平台。

    4 引用 • 6 回帖 • 52 关注
  • 大疆创新

    深圳市大疆创新科技有限公司(DJI-Innovations,简称 DJI),成立于 2006 年,是全球领先的无人飞行器控制系统及无人机解决方案的研发和生产商,客户遍布全球 100 多个国家。通过持续的创新,大疆致力于为无人机工业、行业用户以及专业航拍应用提供性能最强、体验最佳的革命性智能飞控产品和解决方案。

    2 引用 • 14 回帖
  • SpaceVim

    SpaceVim 是一个社区驱动的模块化 vim/neovim 配置集合,以模块的方式组织管理插件以
    及相关配置,为不同的语言开发量身定制了相关的开发模块,该模块提供代码自动补全,
    语法检查、格式化、调试、REPL 等特性。用户仅需载入相关语言的模块即可得到一个开箱
    即用的 Vim-IDE。

    3 引用 • 31 回帖 • 116 关注
  • TGIF

    Thank God It's Friday! 感谢老天,总算到星期五啦!

    289 引用 • 4492 回帖 • 658 关注
  • Chrome

    Chrome 又称 Google 浏览器,是一个由谷歌公司开发的网页浏览器。该浏览器是基于其他开源软件所编写,包括 WebKit,目标是提升稳定性、速度和安全性,并创造出简单且有效率的使用者界面。

    62 引用 • 289 回帖
  • OpenStack

    OpenStack 是一个云操作系统,通过数据中心可控制大型的计算、存储、网络等资源池。所有的管理通过前端界面管理员就可以完成,同样也可以通过 Web 接口让最终用户部署资源。

    10 引用 • 2 关注
  • NGINX

    NGINX 是一个高性能的 HTTP 和反向代理服务器,也是一个 IMAP/POP3/SMTP 代理服务器。 NGINX 是由 Igor Sysoev 为俄罗斯访问量第二的 Rambler.ru 站点开发的,第一个公开版本 0.1.0 发布于 2004 年 10 月 4 日。

    315 引用 • 547 回帖 • 1 关注
  • Dubbo

    Dubbo 是一个分布式服务框架,致力于提供高性能和透明化的 RPC 远程服务调用方案,是 [阿里巴巴] SOA 服务化治理方案的核心框架,每天为 2,000+ 个服务提供 3,000,000,000+ 次访问量支持,并被广泛应用于阿里巴巴集团的各成员站点。

    60 引用 • 82 回帖 • 612 关注
  • 以太坊

    以太坊(Ethereum)并不是一个机构,而是一款能够在区块链上实现智能合约、开源的底层系统。以太坊是一个平台和一种编程语言 Solidity,使开发人员能够建立和发布下一代去中心化应用。 以太坊可以用来编程、分散、担保和交易任何事物:投票、域名、金融交易所、众筹、公司管理、合同和知识产权等等。

    34 引用 • 367 回帖 • 3 关注
  • Swift

    Swift 是苹果于 2014 年 WWDC(苹果开发者大会)发布的开发语言,可与 Objective-C 共同运行于 Mac OS 和 iOS 平台,用于搭建基于苹果平台的应用程序。

    36 引用 • 37 回帖 • 546 关注
  • PostgreSQL

    PostgreSQL 是一款功能强大的企业级数据库系统,在 BSD 开源许可证下发布。

    22 引用 • 22 回帖
  • Lute

    Lute 是一款结构化的 Markdown 引擎,支持 Go 和 JavaScript。

    27 引用 • 196 回帖 • 26 关注
  • ZooKeeper

    ZooKeeper 是一个分布式的,开放源码的分布式应用程序协调服务,是 Google 的 Chubby 一个开源的实现,是 Hadoop 和 HBase 的重要组件。它是一个为分布式应用提供一致性服务的软件,提供的功能包括:配置维护、域名服务、分布式同步、组服务等。

    59 引用 • 29 回帖 • 1 关注
  • Shell

    Shell 脚本与 Windows/Dos 下的批处理相似,也就是用各类命令预先放入到一个文件中,方便一次性执行的一个程序文件,主要是方便管理员进行设置或者管理用的。但是它比 Windows 下的批处理更强大,比用其他编程程序编辑的程序效率更高,因为它使用了 Linux/Unix 下的命令。

    124 引用 • 74 回帖
  • 大数据

    大数据(big data)是指无法在一定时间范围内用常规软件工具进行捕捉、管理和处理的数据集合,是需要新处理模式才能具有更强的决策力、洞察发现力和流程优化能力的海量、高增长率和多样化的信息资产。

    93 引用 • 113 回帖
  • Log4j

    Log4j 是 Apache 开源的一款使用广泛的 Java 日志组件。

    20 引用 • 18 回帖 • 34 关注
  • 京东

    京东是中国最大的自营式电商企业,2015 年第一季度在中国自营式 B2C 电商市场的占有率为 56.3%。2014 年 5 月,京东在美国纳斯达克证券交易所正式挂牌上市(股票代码:JD),是中国第一个成功赴美上市的大型综合型电商平台,与腾讯、百度等中国互联网巨头共同跻身全球前十大互联网公司排行榜。

    14 引用 • 102 回帖 • 324 关注
  • golang

    Go 语言是 Google 推出的一种全新的编程语言,可以在不损失应用程序性能的情况下降低代码的复杂性。谷歌首席软件工程师罗布派克(Rob Pike)说:我们之所以开发 Go,是因为过去 10 多年间软件开发的难度令人沮丧。Go 是谷歌 2009 发布的第二款编程语言。

    498 引用 • 1394 回帖 • 258 关注
  • WiFiDog

    WiFiDog 是一套开源的无线热点认证管理工具,主要功能包括:位置相关的内容递送;用户认证和授权;集中式网络监控。

    1 引用 • 7 回帖 • 604 关注