详谈Java8新特性泛型的类型推导

1. 泛型究竟是什么?

  在讨论类型推导(type inference)之前,必须回顾一下什么是泛型(Generic).泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。通俗点将就是“类型的变量”。这种类型变量可以用在类、接口和方法的创建中。理解Java泛型最简单的方法是把它看成一种便捷语法,能节省你某些Java类型转换(casting)上的操作:

List<Apple> box = new ArrayList<Apple>();box.add(new Apple());
Apple apple =box.get(0);

上面的代码自身已表达的很清楚:box是一个装有Apple对象的Listget方法返回一个Apple对象实例,这个过程不需要进行类型转换。没有泛型,上面的代码需要写成这样:

Apple apple = (Apple)box.get(0);

当然,泛型绝不像我在这里描述的这么简单,但这不是我们今天的主角,对于泛型还不是很明白的同学需要补课了~当然,最好的参考资料还是官方文档。

2. 泛型带来的问题(Java 7之前)

泛型的最大优点是提供了程序的类型安全同时可以向后兼容,但也有让开发者不爽的地方,就是每次定义时都要写明泛型的类型,这样显示指定不仅感觉有些冗长,最主要是很多程序员不熟悉泛型,因此很多时候不能够给出正确的类型参数,现在通过编译器自动推断泛型的参数类型,能够减少这样的情况,并提高代码可读性。

3. Java 7中对于泛型的类型推导方面的改进

在Java 7以前的版本中使用泛型类型,需要在声明并赋值的时候,两侧都加上泛型类型。比方说这样:

Map<String,Integer> map = new HashMap<String,Integer>(); 

很多人当初肯定和我一样,对此感到很不解:我在变量声明中不是已经声明了参数类型了吗?为什么在对象初始化的时候还要显示的写出来?这也是泛型在一开始出现的时候受到很多人吐槽的地方。不过,让人欣慰的是,java在进步的同时,那些设计者们也在不断的改进java的编译器,让它变的更加智能与人性化。这里,就是我们今天的主角:类型推倒...额...不是推倒,是类型推导,即type inference,这哥们儿的出现,再写上面这样的代码的时候,可以很开心地省略掉对象实例化时的参数类型,也就变成了这个样子:

Map<String,Integer> map = new HashMap<>();

在这条语句中,编译器会根据变量声明时的泛型类型自动推断出实例化HashMap时的泛型类型。再次提醒一定要注意new HashMap后面的“<>”,只有加上这个“<>”才表示是自动类型推断,否则就是非泛型类型的HashMap,并且在使用编译器编译源代码时会给出一个警告提示(unchecked conversion warning)。这一对尖括号"<>"官方文档中叫做"diamond"。

但是,这时候的类型推导做的并不完全(甚至算是一个半成品),因为在Java SE 7中创建泛型实例时的类型推断是有限制的:只有构造器的参数化类型在上下文中被显著的声明了,才可以使用类型推断,否则不行。例如:下面的例子在java 7无法正确编译(但现在在java8里面可以编译,因为根据方法参数来自动推断泛型的类型):

List<String> list = new ArrayList<>();
list.add("A");// 由于addAll期望获得Collection<? extends String>类型的参数,因此下面的语句无法通过
list.addAll(new ArrayList<>());

4. 在Java8中的再进化

在最新的java官方文档之中,我们可以看到对于类型推导的定义:

Type inference is a Java compiler's ability to look at each method invocation and corresponding declaration to determine the type argument (or arguments) that make the invocation applicable. The inference algorithm determines the types of the arguments and, if available, the type that the result is being assigned, or returned. Finally, the inference algorithm tries to find the most specific type that works with all of the arguments.

简言之,类型推导也就是指编译器能够根据你调用的方法和相应的声明来确定需要的参数类型的能力。并且官方文档中还给出了一个例子加以诠释:

static <T> T pick(T a1, T a2) { return a2; }
Serializable s = pick("d", new ArrayList<String>());

在这里,编译器能够推导出传入pick方法中的第二个参数的类型是Serializable的。

在之前的java版本当中,上面的例子要能够通过编译的话需要这要写:

Serializable s = this.<Serializable>pick("d", new ArrayList<String>());

这样写的详细原因可以在Bruce Eckel的java编程思想(第四版)的泛型一章看得到,当然这本书是基于java6的,这个版本还没有类型推导这个概念。看到这里,很多人已经明显能看得出来最新版本中类型推导的强力之处了。已经不仅仅局限于泛型类的声明与实例化过程了,而是延伸到了具有泛型参数的方法当中了。

4.1 类型推导和泛型方法(Type Inference and Generic Methods)

关于新版本中的类型推导和泛型方法,文档中还给了一个稍微复杂一点的例子,我在这里贴出来,原理和上面的Serializable例子都是一样就不再赘述,想巩固的可以再看一下:

public class BoxDemo {

 public static <U> void addBox(U u,
 java.util.List<Box<U>> boxes) {
 Box<U> box = new Box<>();
 box.set(u);
 boxes.add(box);
 }

 public static <U> void outputBoxes(java.util.List<Box<U>> boxes) {
 int counter = 0;
 for (Box<U> box: boxes) {
 U boxContents = box.get();
 System.out.println("Box #" + counter + " contains [" +
  boxContents.toString() + "]");
 counter++;
 }
 }

 public static void main(String[] args) {
 java.util.ArrayList<Box<Integer>> listOfIntegerBoxes =
 new java.util.ArrayList<>();
 BoxDemo.<Integer>addBox(Integer.valueOf(10), listOfIntegerBoxes);
 BoxDemo.addBox(Integer.valueOf(20), listOfIntegerBoxes);
 BoxDemo.addBox(Integer.valueOf(30), listOfIntegerBoxes);
 BoxDemo.outputBoxes(listOfIntegerBoxes);
 }
}

上面这段代码输出为:

Box #0 contains [10]
Box #1 contains [20]
Box #2 contains [30]

提一下,泛型方法addBox重点就在于在新java版本中你不需要再在方法调用中进行显示的类型说明,像这样:

BoxDemo.<Integer>addBox(Integer.valueOf(10), listOfIntegerBoxes);

编译器能够从传入addBox中的参数自动推断出参数类型是Integer.

4.2 类型推导与泛型类和非泛型类的泛型构造器(Type Inference and Generic Constructors of Generic and Non-Generic Classes)

额...这个也许英语的更好断句一点:Type Inference and Generic Constructors of Generic and Non-Generic Classes

其实,泛型构造器并不是泛型类的专利品,非泛型类也完全可以有自己的泛型构造器,看一下这个例子:

class MyClass<X> {
 <T> MyClass(T t) {
 // ...
 }
}

假如对 MyClass类做出下面这样的实例化:

new MyClass<Integer>("")

OK,这里我们显示地指出了MyClass的泛参类型X是Integer,而对于构造器,编译器根据传入的String对象("")推导出形式参数T是String,这个在java7版本之中已经实现了,在Java8中有了什么改进呢?在Java8之后,对于这种具有泛型构造器的泛型类的实例化我们可以这么写:

MyClass<Integer> myObject = new MyClass<>("");

对,还是这一对尖括号(<>),江湖人称diamond,这样我们的编译器就能够自动推导出形式参数X是Integer,T是String了。这个其实和我们一开始Map<String,String>的例子很像,只是多了个构造器的泛型化。

需要注意的是:类型推导只能根据调用的参数类型、目标类型(这个马上会讲到)和返回类型(如果有返回的话)进行推导,而不能根据程序后面的一些需求来进行推导。

4.3 目标类型(Target Type)

前文已经提到过,编译器能够根据目标类型进行类型推导。一个表达式的目标类型指的是一种编译器根据表达式出现的位置而需要的正确的数据类型。比如这个例子:

static <T> List<T> emptyList();
List<String> listOne = Collections.emptyList();

在这里,List<String>就是目标类型,因为这里需要的是List<String> ,而Collections.emptyList()返回的是List<T> ,所以这里编译器就推断T一定是String。这个在Java 7 和 8 中都OK。但是在java 7 中,在下面这种情况中就不能正常编译了:

void processStringList(List<String> stringList) {
 // process stringList
}

processStringList(Collections.emptyList());

这个时候,java7就会给出这种错误提示:

//List<Object> cannot be converted to List<String>

原因:Collections.emptyList()  返回的是List<T> ,这里的T需要一个具体类型,但是因为不能从方法声明中推断出所需的是String,所以编译器就给T了一个Object的值,很明显,List<Object>不能转型到List<String>.所以在java7版本中你需要这样调用这个方法:

processStringList(Collections.<String>emptyList());

但是,在java8中,由于目标类型概念的引入,这里,很明显编译器需要的是List<String> (也就是这里的Target Type),所以编译器推断返回的List<T>中的T一定是String,所以processStringList(Collections.emptyList());这种描述是OK的。

目标类型的使用在Lambda表达式中优势最为明显。

总结

好了,以上就是关于java中类型推导的一些个人见解,总结来说,越来越完善的类型推导就是完成了一些本来就感觉很理所当然的类型转换工作,只是这些工作满满地全交给了编译器去自动推导而不是让开发者显示地去指定。希望这篇文章的内容对大家学习Java能有所帮助,如果有疑问可以留言交流。

(0)

相关推荐

  • JAVA8 十大新特性详解

    "Java is still not dead-and people are starting to figure that out." 本教程将用带注释的简单代码来描述新特性,你将看不到大片吓人的文字. 一.接口的默认方法 Java 8允许我们给接口添加一个非抽象的方法实现,只需要使用 default关键字即可,这个特征又叫做扩展方法,示例如下: 复制代码 代码如下: interface Formula {    double calculate(int a); default do

  • Java8新特性之默认方法(default)浅析

    一.什么是默认方法,为什么要有默认方法 简单说,就是接口可以有实现方法,而且不需要实现类去实现其方法.只需在方法名前面加个default关键字即可. 为什么要有这个特性?首先,之前的接口是个双刃剑,好处是面向抽象而不是面向具体编程,缺陷是,当需要修改接口时候,需要修改全部实现该接口的类,目前的java 8之前的集合框架没有foreach方法,通常能想到的解决办法是在JDK里给相关的接口添加新的方法及实现.然而,对于已经发布的版本,是没法在给接口添加新方法的同时不影响已有的实现.所以引进的默认方法

  • Java8 新特性Lambda表达式实例详解

    Java8 新特性Lambda表达式实例详解 在介绍Lambda表达式之前,我们先来看只有单个方法的Interface(通常我们称之为回调接口): public interface OnClickListener { void onClick(View v); } 我们是这样使用它的: button.setOnClickListener(new View.OnClickListener() { @Override public void onClick(View v) { v.setText("

  • Java8新特性之再见Permgen_动力节点Java学院整理

    很多开发者都在其系统中见过"java.lang.OutOfMemoryError: PermGen space"这一问题.这往往是由类加载器相关的内存泄漏以及新类加载器的创建导致的,通常出现于代码热部署时.相对于正式产品,该问题在开发机上出现的频率更高,在产品中最常见的"问题"是默认值太低了.常用的解决方法是将其设置为256MB或更高. PermGen space简单介绍 PermGen space的全称是Permanent Generation space,是指内

  • Java8深入学习系列(三)你可能忽略了的新特性

    前言 我们之前已经介绍了关于java8中lambda和函数式编程的相关内容,虽然我们开始了Java8的旅程,但是很多人直接从java6上手了java8, 也许有一些JDK7的特性你还不知道,在本章节中带你回顾一下我们忘记了的那些特性. 尽管我们不能讲所有特性都讲一遍,挑出常用的核心特性拎出来一起学习. 异常改进 try-with-resources 这个特性是在JDK7种出现的,我们在之前操作一个流对象的时候大概是这样的: try { // 使用流对象 stream.read(); stream

  • Java8新特性之lambda的作用_动力节点Java学院整理

    我们期待了很久lambda为java带来闭包的概念,但是如果我们不在集合中使用它的话,就损失了很大价值.现有接口迁移成为lambda风格的问题已经通过default methods解决了,在这篇文章将深入解析Java集合里面的批量数据操作(bulk operation),解开lambda最强作用的神秘面纱. 1.关于JSR335 JSR是Java Specification Requests的缩写,意思是Java 规范请求,Java 8 版本的主要改进是 Lambda 项目(JSR 335),其

  • Java8新特性之字符串去重介绍

    8月19日,Oracle发布了JDK 8u20,JDK 8u20包含很多新特性,比如Java编译器更新.支持在运行时通过API来修改MinHeapFreeRatio和MaxHeapFreeRatio参数.新的GC调优指南文档.不过在众多新特性中,最令人期待的还属字符串去重(String Deduplication ).如何减少内存占用一直是一个永恒的话题,而在Java应用中,经常会看到String对象会占用应用30%的内存,它是Java中最常用的对象之一.新的字符串去重特性可以帮助减少应用中St

  • Java8新特性之重复注解(repeating annotations)浅析

    一.什么是重复注解 允许在同一申明类型(类,属性,或方法)的多次使用同一个注解 二.一个简单的例子java 8之前也有重复使用注解的解决方案,但可读性不是很好,比如下面的代码: 复制代码 代码如下: public @interface Authority {     String role();} public @interface Authorities {    Authority[] value();} public class RepeatAnnotationUseOldVersion

  • Java8新特性lambda表达式有什么用(用法实例)

    我们期待了很久lambda为java带来闭包的概念,但是如果我们不在集合中使用它的话,就损失了很大价值.现有接口迁移成为lambda风格的问题已经通过default methods解决了,在这篇文章将深入解析Java集合里面的批量数据操作(bulk operation),解开lambda最强作用的神秘面纱. 1.关于JSR335 JSR是Java Specification Requests的缩写,意思是Java 规范请求,Java 8 版本的主要改进是 Lambda 项目(JSR 335),其

  • Java8新特性之Lambda表达式浅析

    说到java 8,首先会想到lambda(闭包)以及虚拟扩展方法(default method),这个特性早已经被各大技术网站炒得沸沸扬扬了,也是我们java 8系列开篇要讲的第一特性(JEP126 http://openjdk.java.net/jeps/126),jdk8的一些库已经应用了lambda表达式重新设计了,理解他对学习java 8新特性有着重要的意义. 一.函数式接口 函数式接口(functional interface 也叫功能性接口,其实是同一个东西).简单来说,函数式接口是

随机推荐