java - 使用不同类型的条件(三元)运算符的局部变量类型推断

Question

var test = "Hello World!";

在 Java 10+ 中，上面的代码片段可以编译，test 在编译时被推断为 String。

但是，我们可以使用条件(三元)运算符来返回不同的类型，例如:

var test = new Random().nextBoolean() ? "Hello World!" : 123;

如果我们要在运行时打印 test.getClass()，它会输出:

• class java.lang.String
• class java.lang.Integer

这是有道理的，但是 test 在编译时的类型是什么？是 Object 还是其他什么？

Answer 1

有趣的是，Intellij 告诉我test 的类型不是Object，而是这个野兽:

java.io.Serializable & Comparable<? extends java.io.Serializable & Comparable<?> & constant.Constable & constant.ConstantDesc> & constant.Constable & constant.ConstantDesc

之所以会这样，是因为编译器将变量的类型推断为String 和Integer 之间最接近 的公共(public)父类(super class)>，它们实际上是 Java 12 中的 Serializable、Comparable、Constable 和 ConstantDesc。

有一篇有趣的文章详细阐述了不可能的类型，也就是这些类型的名称(因为它们只能由编译器推断):Representing the Impractical and Impossible with JDK 10 “var”

如果我们要返回完全不相关的对象，例如 Integer 和 ByteArrayOutputStream，那么我们会看到 Java 会推断出 的编译时类型>测试成为对象:

var test = new Random().nextBoolean() ? 123 : new ByteArrayOutputStream();