Java开关case语句返回不同类型的值（不同的数据类型），并分配给相同的变量类型var

Question

以下是我的代码片段：

Scanner sc = new Scanner(System.in);
int input = sc.nextInt();

var output = switch (input){
  case 1 -> "one";
  case 2 -> '2';
  case 3 -> 3.14;
  default -> 10;
};

System.out.println(output);

现在，如果我输入1作为输入，它会打印“1”，对于2它会打印“2”，对于3它会打印3.14，对于其余的它会打印10。

这是否意味着输出的数据类型是根据返回类型在运行时决定的？

Answer 1

输出的类型在编译时确定为Serializable，因为它是所有结果最接近的公共祖先。

这包括：

Serializable x = output;

分配给变量的对象在运行时确定，是字符串、字符、双精度或整数。

Answer 2

不，输出变量始终在编译时确定，如下所述：

使用var，Java编译器在编译时使用从变量初始值设定项获得的类型信息推断变量的类型。然后将推断类型用作变量的静态类型。

在这种特殊情况下，它是一个实现可串行化、可比较和常量的类，正如您在现代ide中看到的那样

请注意，这不是通用对象。事实上，您不能将输出变量重新分配给像ArrayList这样的通用对象。

output = new ArrayList<String>());    // It doesn't compile

而您可以重新分配给任何可比较的Constable和Serializable，例如长

output = 10L;    // It compiles!

Answer 3

输出被推断为所有这些类型中最接近的公共超类。没有更具体的共同点，因此变量的类型被推断为所有扩展的对象。幸运的是系统。出来println接受这一点（因为它可以使用任何可能的参数）。

'2'自动装箱为字符，3.14为双精度，10为整数。

So<代码>输出。getClass（）将返回四个不同的内容之一。