为什么三元运算符不在java中的方法参数中工作

Question

我在开发过程中注意到了这一点。

为什么三元运算符在方法参数中不起作用？这里显然是InputStream 或（否则）String。

class A{

    public  static boolean opAlpha(InputStream inputStream) {

        // Do something

        return true;

    }

    public static boolean opAlpha(String arg) {

        // Do something else

        return true;
    }

    public static void main(String[] args) throws Exception {

        boolean useIsr = true;

        InputStream inputStream = null;
        String arg = null;

//      boolean isTrue = useIsr ? A.opAlpha(inputStream): A.opAlpha(arg); // This is OK.
        boolean isTrue =  A.opAlpha(useIsr ? inputStream : arg); // This is not. (Error : The method opAlpha(InputStream) in the type A is not applicable for the arguments (Object))

    }

}

Answer 1

编译器需要决定它应该在您的main 方法中调用哪个重载方法。方法调用必须放在main的编译字节码中，而不是在运行时决定。

事实上，即使您知道条件表达式的类型是InputStream 或String，编译器仍将其类型视为Object。来自Section 15.25.3 of the Java Language Specification：

如果引用条件表达式出现在赋值上下文或调用上下文中（第 5.2 节、第 5.3 节），则它是一个多边形表达式。否则，它是一个独立的表达式。

如果多引用条件表达式出现在目标类型为 T 的特定类型的上下文中，它的第二个和第三个操作数表达式同样出现在目标类型为 T 的相同类型的上下文中。

poly 引用条件表达式的类型与其目标类型相同。

独立引用条件表达式的类型确定如下：

• 如果第二个和第三个操作数的类型相同（可能是空类型），那么就是条件表达式的类型。

• 如果第二个和第三个操作数之一的类型是空类型，而另一个操作数的类型是引用类型，那么条件表达式的类型就是那个引用类型。

• 否则，第二个和第三个操作数分别为 S1 和 S2 类型。令 T1 为对 S1 应用装箱转换产生的类型，令 T2 为对 S2 应用装箱转换产生的类型。条件表达式的类型是对 lub(T1, T2) 应用捕获转换（第 5.1.10 节）的结果。

其中lub(T1, T2) 代表"Least Upper Bound" 类型T1 和T2。 InputStream 和 String 的最小上限类型是 Object。

Answer 2

表达式useIsr ? inputStream : arg 是Object 类型，因为这是inputStream (InputStream) 和arg (String) 的常见类型。

您没有任何接受Object 的opAlpha 方法。因此编译错误。