三元运算符的重载方法调用歧义

Question

我正在为数字创建一个简单的包装类。简单地说，我希望它显示值42 verses 42.0；但是，它应该将值 1.6180338 显示为该数字。很简单。

代码

private double number;

...

@Override
public String toString() {

    return String.valueOf(
            number == longValue()
                    ? longValue()
                    : number );

}

...

@Override 
public long longValue() { 

    return (long) number; 

}

问题

问题是42.0的值总是显示不是在toString(...)方法中正确的42值

我的想法

虽然String.valueOf(...) 方法有很多重载方法可以将正确的原始值显示为字符串，但使用哪个重载方法存在歧义。它可以使用String.valueOf(double) 或String.valueOf(long)。这是因为 三元运算符 语句和结果类型。

我认为编译器能够识别long 类型并调用适当的String.valueOf(long) 方法。情况似乎并非如此；相反，JVM 将在 编译时 选择最安全但最受限的重载方法。在这种情况下，就是String.valueOf(double)，因为它可以安全地将long 转换为double。

问题

我知道这在 Java 中是不可能的，但是目前其他语言中是否也有类似的功能？是否有某种定义可以解释这种方法，你能更详细地解释一下吗？

我的意思是像Covariance 或Contra-variance 这样的定义。注意：我意识到定义不是这两个之一:)

Answer 1

由于 Java 是静态类型语言，三元运算符的结果必须具有显式类型，在编译期间定义，以便编译器可以继续处理外部表达式。由于三进制的两个分支都是数字，因此它们被提升为更精确的类型，如 JLS 15.25 和 5.6.2 中所述。您可以解决此将参数转换为对象的问题：

return String.valueOf(
        number == longValue()
                ? (Object)longValue()
                : (Object)number );

这样你将把数字装箱并使用String.valueOf(Object)，这对两个分支都很有效。