在Java中使用if与三元opertator时，“错误”返回类型

Question

在下面的类中，两种方法的返回类型与三元运算符的思想不一致：

return condition?a:b;

相当于

if(condition) {
    return a;
} else{ 
    return b;
}

第一个返回Double，第二个返回Long：

public class IfTest {
    public static Long longValue = 1l;
    public static Double doubleValue = null;

    public static void main(String[] args) {
        System.out.println(getWithIf().getClass());// outpus Long
        System.out.println(getWithQuestionMark().getClass());// outputs Double
    }

    public static Object getWithQuestionMark() {
        return doubleValue == null ? longValue : doubleValue;
    }

    public static Object getWithIf() {
        if (doubleValue == null) {
            return longValue;
         } else {
            return doubleValue;
        }
    }
}

我可以想象这与编译器缩小了getWithQuestionMark()的返回类型有关，但是这种语言明智吗？ 这肯定不是我所期望的。

任何见解都是最受欢迎的！

编辑：下面有很好的答案。 此外，@ sakthisundar引用的以下问题探讨了三元运算符中出现的类型提升的另一个副作用： Java中的Tricky三元运算符 - 自动装箱

Answer 1

基本上它遵循JLS第15.25节的规则，具体来说：

否则，如果第二个和第三个操作数具有可转换的类型（第5.1.8节）到数字类型，则有几种情况：

• [...]

• 否则，二进制数字提升（第5.6.2节）将应用于操作数类型，条件表达式的类型是第二个和第三个操作数的提升类型。

因此遵循5.6.2节 ，其中基本上涉及拆箱 - 因此这使得表达式的工作方式就好像longValue和doubleValue分别是long和double类型，并且扩展促销应用于long以获得double的整体结果类型。

然后将该double加框，以便从方法返回Object 。

Answer 2

除了@ Jon的回答，看看你看到的字节码：

public static java.lang.Object getWithQuestionMark();
  Code:
   0:   getstatic       #7; //Field doubleValue:Ljava/lang/Double;
   3:   ifnonnull       16
   6:   getstatic       #8; //Field longValue:Ljava/lang/Long;
   9:   invokevirtual   #9; //Method java/lang/Long.longValue:()J
   12:  l2d
   13:  goto    22
   16:  getstatic       #7; //Field doubleValue:Ljava/lang/Double;
   19:  invokevirtual   #10; //Method java/lang/Double.doubleValue:()D
   22:  invokestatic    #11; //Method java/lang/Double.valueOf:(D)Ljava/lang/Double;
   25:  astore_0
   26:  aload_0
   27:  areturn

如果你告诉编译器你对数字不感兴趣：

public static Object getWithQuestionMark() {
    return doubleValue == null ? (Object)longValue : (Object)doubleValue;
}

你会得到你所追求的（字节码）

public static java.lang.Object getWithQuestionMark();
  Code:
   0:   getstatic       #7; //Field doubleValue:Ljava/lang/Double;
   3:   ifnonnull       12
   6:   getstatic       #8; //Field longValue:Ljava/lang/Long;
   9:   goto    15
   12:  getstatic       #7; //Field doubleValue:Ljava/lang/Double;
   15:  areturn

输出：

$ java IfTest
class java.lang.Long
class java.lang.Long