与三元/条件操作员的Java中的异常方法超载结果

Question

您能以详细的方式解释为什么预期结果不正确？正如大多数读者所期望的那样，输出是 byte char int byte ，但是当然，这不是正确的答案。

public class Tester {
    
    public static String test(byte b) {
        return "Byte ";
    }
    
    public static String test(char c) {
        return "Char ";
    }
    
    public static String test(int i) {
        return "Int ";
    }
    
    public static void main(String[] args) {
        byte b = 0;
        char c = 'A';
        System.out.print(test(true  ? b : c));
        System.out.print(test(false ? b : c));
        System.out.print(test(true  ? 0 : 'A'));
        System.out.print(test(false ? 'A' : (byte)0));
    }
}

正确的结果是 int int char int 。

Answer 1

这是因为过载分辨率取决于参数表达式的编译时类型，而不是参数的运行时类型。请参阅JLS ：

参数表达式是吗？ B：C 具有 int 的类型，因此调用了 int 方法。这是在，据说如果没有特殊情况匹配（在这里都不匹配），则有条件表达式的类型是应用于应用数字促销到第二和第三操作数：

如果表达式是以下一个：

，则表达式出现在数字选择上下文中。

• 数字条件表达式的第二或第三操作数
• [...]

数字促进确定数字上下文中所有表达式的促进类型。 [...]规则如下：

[...]（在A 简短和A byte 表达式的情况下，这些规则都不匹配）

否则，没有任何一种表达式为double，float或long。在这种情况下，上下文决定了如何选择促进的类型。

在数字选择上下文中，以下规则适用：

• [...]（在简短和字节表达式的情况下，这些规则都不匹配）

• 否则，促进的类型为 int ，所有不适合类型的表达式 int 经历原始转换为 int 。

这就是为什么是真的吗？ B：C 是类型 int 。 false也是如此吗？ B：C 和 false？ 'a'：（字节）0 。条件是什么都没关系。表达式的类型由第二和第三操作数的类型确定。

至于 test（true？0：'a'），可以用我上面省略的规则来解释，只是 最后一个“否则...”

• 否则，如果任何类型的表达式 char ，并且其他每个表达式都是类型 char> char 的常数表达式 int 具有在类型 char 中表示的值，然后促进的类型为 char ， int 表达式经历了狭窄的原始转换为 char 。

在这种情况下，表达式“ 0 ”是“类型 int 的常数表达式，其值在类型 char> char 中表示的值” 。

考虑条件表达式类型的一种方法是，这是两个分支的表达式可以“合适”的最小类型。对于字节b 和 char c ， int 是最小的类型，可以适合两者。对于 0 和'a'， char 足以适合两者在 char 的范围内。

Answer 2

对于Java中有条件表达式的类型，请始终请咨询JLS图表（第15.25节）。

第三→	byte	短	char	int
第二↓	＆nbsp;	＆nbsp;	＆nbsp;	＆nbsp;
字节	byte	短	bnp（byte，char）	byte | BNP（字节，int）
字节	byte	短	bnp（byte，char）	byte | BNP（字节，int）
短	短	短	bnp（短，char）	短| BNP（简短，int）
短	短	短	bnp（短，char）	短| BNP（简短，int）
char	bnp（char，byte）	bnp（char，short）	char	char | BNP（char，int）

中的符号“ bnp（x，y）”是指 binary Numeric促进 x 和 y 的b of ，以及“ t” |。bnp（..）表示，如果一个操作数是类型 int 的常数表达式，则可以在T型中表示，则如果操作数在类型T中不可用，则使用二进制数字促销。

对于前两个电话，我们有一个 char 和 byte ，因此结果是“ BNP（byte，char）”或类型 int int 。

对于第三个调用，我们具有类型 int 和 char 的常数表达式，并且该值可表示为 char （它是 0 ），因此结果是类型 char 。

对于第四个呼叫，我们有一个字节和 char ，因此我们回到“ BNP（BYTE，char）”，这是类型 int 。

Answer 3

将其表达式转换为公共类型，以便将其结果存储的变量。

想象一下，如果您有这样的表达：

char v =＆lt; mycondition＆gt; ？ 'a'：0l;

只有在条件为 true 的情况下，先前的语句才有意义，但是如果这是 false> false 和 0l < /代码>要退还？ 长和 char 不是相同的数据类型。因此，编译器需要在不丢失精度的情况下找到一种常见的类型，以允许将两个表达式返回并分配给适合它们的变量。无论疾病的结果如何，都会拾取所得数据类型。

在这种情况下，长不能将其施加到 int ，然后 char ，因为它将失去精度。而 char 可以将其施加到 int ，然后晋升为 long 。这就是为什么可以像这样正确编写的先前语句：

long v =＆lt; mycondition＆gt; ？ 'a'：0l;

在您的示例中，第一个三元运算符具有 byte 和 char> char 。 byte 和 char 可以升级为 int ，为 byte ， char> char and Code>和 int 分别占用 1 ， 2 和 4 bytes。相反，相反， char 将被施加到 byte 是不可能的，因为这将导致精确损失（a long < long << /代码>占8个字节）。通过应用相同的促销逻辑，您还可以解释其余案例，除第三个情况外，需要以下 table 。

Answer 4

表15.25-a在描述了的结果是什么类型？：操作员是，具体取决于贡献类型。

您的第一个示例涉及 byte 和 char ，因此结果是BNP（二进制数字促销），除了 double> double ，外， float 或长，结果类型为 int 。

对他人也一样。