java - 为什么不允许使用 'var' 的复合定义？

Question

好吧，我真的认为这会起作用(在一个方法中):

var x, y = 1;

var x = 1, y = 2;

但它不会，它不会编译 - “复合定义中不允许使用 var”。

我想这是一个常见的权衡取舍的原因。这不是一个非常常用的功能，因此没有实现，但我们可以，并且可能会在未来的版本中......

Answer 1

好吧，如果你给它一个 list 类型:

int x, y = 1;

这声明了两个 int 变量，并初始化了其中一个。但是局部变量类型推断需要一个初始化器来推断类型。所以你已经死在门外了。

但是，假设您打算为两者提供一个初始值设定项。当两个初始化器具有相同类型时，做什么是“显而易见的”。所以让我们让它变得更难。假设你说:

var x = 1, y = 2.0;

这是什么意思？这是否将 x 声明为 int 并将 y 声明为 float？或者它是否试图找到某种可以同时是 x 和 y 类型的类型？无论我们做出何种决定，有些人都会认为它应该以另一种方式起作用，这从根本上来说会造成混淆。

还有，为了什么好处？与潜在的语义混淆相比，说出你的意思所增加的句法成本是微不足道的。这就是为什么我们将其排除在本地类型推断范围之外的原因。

那么您可能会说，“好吧，只有当它们是同一类型时才能让它工作。”我们可以做到这一点，但现在何时可以使用推理以及何时不能使用推理的界限变得更加复杂。无论如何，我现在都会回答同样的“你为什么不”的问题……现实是推理方案总是有局限性；您选择的是边界。最好选择干净、明确的限制(“可以在这些情况下使用它”)而不是模糊的限制。