java语法糖--类型推导/类型推断（type inference）

java语法糖--类型推导/类型推断（type inference）

先看如下两个例子
1. 泛型
在Java7以前的版本中使用泛型类型，需要在声明并赋值的时候，两侧都加上泛型类型

List<User> userList = new ArrayList<User>();

 在java7及java7之后，使用泛型可以简写为

List<User> userList = new ArrayList<>();

 2. java8中，lambda表达式参数列表的参数类型可以省略不写

List<Integer> list= Arrays.asList(1,2,3);
list.stream().forEach(i-> System.out.println(i));

以上就是java7之后并在java8发扬光大的java语法糖————类型推断，又叫类型推导，type inference。就是说，我们无需在实例化时（new子句中）显式指定类型，编译器会根据声明子句自动推导出来实际类型。（没有声明子句是推导不出来的哦，例子见【后记】章节）

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

基于此，我暗暗看了一下compile后的.class代码。发现了所谓泛型的类型擦除。（泛型擦除是指Java中的泛型只在编译期有效，泛型参数在编译后都会被清除掉。也就是说，在Java运行期是不存在泛型的）

 

 

com.google.common.collect.Lists#newArrayList

guava工具包里com.google.common.collect.Lists有如下返回空List的方法

  @GwtCompatible(serializable = true)
  public static <E> ArrayList<E> newArrayList() {
    return new ArrayList<E>();
  }

 

一直没真正搞明白 调用这个Lists#newArrayList 与 直接调用 new ArrayList<>的区别。后来下载源码，看到这个方法的注释棒棒哒。

  /**
   * Creates a <i>mutable</i>, empty {@code ArrayList} instance (for Java 6 and earlier).
   *
   * <p><b>Note:</b> if mutability is not required, use {@link ImmutableList#of()} instead.
   *
   * <p><b>Note for Java 7 and later:</b> this method is now unnecessary and
   * should be treated as deprecated. Instead, use the {@code ArrayList}
   * {@linkplain ArrayList#ArrayList() constructor} directly, taking advantage
   * of the new <a href="http://goo.gl/iz2Wi">"diamond" syntax</a>.
   */
  @GwtCompatible(serializable = true)
  public static <E> ArrayList<E> newArrayList() {
    return new ArrayList<E>();
  }

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方法

public Object get(String key) {
    if (key == null) return null;
    return redisTemplate.opsForValue().get(key);
}

我在一次使用redis缓存数据的优化中，发现由于get返回的是Object，需要在程序里做强转，怪费事的，于是，就把这个返回值改为了泛型：

    public <T> T get1(String key) {
        if (key == null) return null;
        Object v = redisTemplate.opsForValue().get(key);
        return v == null ? null : (T) v;
    }

 

凭着对泛型的熟悉程度，我自信这样重构后无需修改对get的调用程序，当然，我build了所有调用者程序，确实没问题。

谁道墨菲定律还是奏效了，有程序的调用方式是 String.valueOf(redisUtils.get(xxx)); 这直接导致编译器无法推断泛型的实际类型，进而在运行期出现异常。

 

我来简化一下，看下来的代码：

package jstudy.generictest;

public class GenericTest {
    public static void main(String[] args) {
//        String abc1 = "abc";
//        String.valueOf((char[]) abc1);
        String abc = String.valueOf(foo());
        System.out.println(abc);
    }

    public static <T> T foo() {
        return (T) "sadf";
    }
}

执行上面代码会抛出如下异常：

Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to [C
    at jstudy.generictest.GenericTest.main(GenericTest.java:7)

Process finished with exit code 1

不清楚“java.lang.String cannot be cast to [C”？ 你打开上面的Line5~Line6两个注释行就知道了。

当然，你也可以去看一下build后的.class文件代码，如下。可见，在代码String abc = String.valueOf(foo());中，编译器“错误地”将foo()返回的实际类型推断成了char[]，而不是期望的String（带有String声明子句的String abc = foo();才会）。

// Decompiled .class file,bytecode version: 52.0(Java 8)
public static void main(String[] args) {
    String abc = String.valueOf((char[])foo());
    System.out.println(abc);
}

public static <T> T foo() {
    return "sadf";
}

 

【后记】的【后记】

上面RedisUtil#get方法体补充几点：RedisTemplate#opsForValue()返回ValueOperations<K, V>对象，其get方法签名是V get(Object key);

 

 【EOF】

欢迎大家关注我的微信公众号「靠谱的程序员」