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

Question

我在开发过程中得到了这一点.

为什么Ternary运算符不在方法参数内工作？这里显然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.从Java语言规范的第15.25.3节:

如果引用条件表达式出现在赋值上下文或调用上下文中(第5.2节.§5.3),则它是一个多表达式.否则,它是一个独立的表达式.

当poly引用条件表达式出现在具有目标类型T的特定类型的上下文中时,其第二和第三操作数表达式类似地出现在具有目标类型T的相同类型的上下文中.

多参考条件表达式的类型与其目标类型相同.

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

• 如果第二个和第三个操作数具有相同的类型(可以是null类型),那么这就是条件表达式的类型.

• 如果第二个和第三个操作数之一的类型是null类型,并且另一个操作数的类型是引用类型,则条件表达式的类型是该引用类型.

• 否则,第二和第三操作数分别是S1和S2类型.设T1是将拳击转换应用于S1所产生的类型,让T2为应用到S2的装箱转换所产生的类型.条件表达式的类型是将捕获转换(第5.1.10节)应用于lub(T1,T2)的结果.

其中lub(T1, T2)代表类型和的"最小上界".的最小上界类型的和是.T1T2InputStreamStringObject

Answer 2

表达式useIsr ? inputStream : arg是类型的Object,因为它是inputStream(InputStream)和arg(String)的常见类型.

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