先看如下两个例子
1. 泛型
在Java7以前的版本中使用泛型类型，需要在声明并赋值的时候，两侧都加上泛型类型
在java7及java7之后，使用泛型可以简写为
2. java8中，lambda表达式参数列表的参数类型可以省略不写
以上就是java7之后并在java8发扬光大的java语法糖————类型推断，又叫类型推导，type inference。就是说，我们无需在实例化时（new子句中）显式指定类型，编译器会根据声明子句自动推导出来实际类型。（没有声明子句是推导不出来的哦，例子见【后记】章节）
就像上面的泛型声明一样，编译器会根据变量声明时的泛型类型自动推断出实例化List时的泛型类型。再次提醒一定要注意new ArrayList后面的“<>”，只有加上这个“<>”才表示是自动类型推断，否则就是非泛型类型的ArrayList，并且在使用编译器编译源代码时会给出一个警告提示（unchecked conversion warning）。这一对尖括号"<>"官方文档中叫做"diamond"（diamond：钻石）。
基于此，我暗暗看了一下compile后的.class代码。发现了所谓泛型的类型擦除。（泛型擦除是指Java中的泛型只在编译期有效，泛型参数在编译后都会被清除掉。也就是说，在Java运行期是不存在泛型的）
guava工具包里com.google.common.collect.Lists有如下返回空List的方法
一直没真正搞明白 调用这个Lists#newArrayList 与 直接调用 new ArrayList<>的区别。后来下载源码，看到这个方法的注释棒棒哒。
Note for Java 7 and later: this method is now unnecessary and should be treated as deprecated. Instead, use the ArrayList constructor directly, taking advantage of the new "diamond" syntax .-----注意：如果你在使用Java7及之后的版本，大可不用这个方法，可以直接使用ArrayList#ArrayList()构造器来取而代之，发挥java7的“diamond”语法优势。
这里的diamond语法指的就是类型推导。
其实，再说这个Lists#newArrayList，我觉得它存在的另一重意义是：java不建议我们在程序里直接去new对象，而是封装这种new对象的过程，然后程序里调用这种封装的方法。
项目基础包里的RedisUtil工具类，里面有个根据key获取redis缓存数据的get方法
我在一次使用redis缓存数据的优化中，发现由于get返回的是Object，需要在程序里做强转，怪费事的，于是，就把这个返回值改为了泛型：
凭着对泛型的熟悉程度，我自信这样重构后无需修改对get的调用程序，当然，我build了所有调用者程序，确实没问题。
谁道墨菲定律还是奏效了，有程序的调用方式是 String.valueOf(redisUtils.get(xxx)); 这直接导致编译器无法推断泛型的实际类型，进而在运行期出现异常。
我来简化一下，看下来的代码：
执行上面代码会抛出如下异常：
不清楚“java.lang.String cannot be cast to [C”？ 你打开上面的Line5~Line6两个注释行就知道了。
当然，你也可以去看一下build后的.class文件代码，如下。可见，在代码中，编译器“错误地”将foo()返回的实际类型推断成了char[]，而不是期望的String（带有String声明子句的才会）。
【后记】的【后记】
上面RedisUtil#get方法体补充几点：RedisTemplate#opsForValue()返回ValueOperations<K, V>对象，其get方法签名是V get(Object key);
欢迎大家关注我的微信公众号「靠谱的程序员」
版权声明：
本文来源网络，所有图片文章版权属于原作者，如有侵权，联系删除。
本文网址：https://www.bianchenghao6.com/java-jiao-cheng/9015.html