Var和语言设计

Java中的var是什么

Java 10中引入的var预定义类型使您可以在为变量分配值时声明局部变量，而无需指定变量的类型。当您为变量分配值时，表达式的类型已经定义了变量的类型，因此没有理由在行的左侧再次键入类型。例如，当您有一些带有许多泛型的复杂长类型时，这特别好

 HashMap<String,TreeMap<Integer,String> myMap = mapGenerator();

您可以在先前的Java版本中继承的泛型类型，但是现在您只需键入

 var myMap = mapGenerator();

这比以前的版本更简单，并且大多数时候可读性更高。 var的目的主要是可读性。重要的是要了解，以这种方式声明的变量将具有类型，并且此新的预定义类型（不是关键字）的引入不会使Java成为动态语言。您可以通过某些方式做到这一点，这是您以前无法做到的，或者只能以更冗长的方式做到。例如，当您将匿名类的实例分配给变量时，可以通过var声明的变量调用该类中的声明方法。例如：

 var m = new Object{ void z(){} }  mz();

您可以调用方法z()但代码

 Object m = new Object{ void z(){} }  mz();

无法编译。您可以这样做，因为匿名类实际上在其诞生时就有一个名称，因此当实例分配给声明为Object类型的变量时，它们只会丢失名称。

var关键字有一些阴暗的部分。这样，我们违反了实例化具体类的一般规则，但是将变量声明为接口。这是一个通常在Java中通常遵循的通用抽象规则。创建返回HashMap的方法时，通常将返回值声明为Map 。这是因为HashMap是返回值的实现，因此与调用者无关。我在返回类型中声明的是我返回实现Map接口的东西。我的工作方式是我自己的责任。同样，如果可能的话，我们通常将类中的字段声明为某种接口类型。局部变量也应遵循相同的规则。几次，当我声明要Set的局部变量但对实际值是TreeSet然后键入代码时，对我很有帮助。然后我意识到我使用的不是Set而是SortedSet某些功能。它帮助我意识到sorting-ness在特殊情况下很重要，并且对于调用者也很重要，因此我不得不将方法的返回类型也更改为SortedSet 。请注意，此示例中的SortedSet仍然是接口，而不是实现类。

通过使用var我们将失去它，并且获得了稍微简单一些的源代码。一如既往，这是一个折衷。在使用局部变量的情况下，就源代码而言，该变量的使用与声明很接近，因此开发人员可以一目了然地看到什么是正在发生的事情，因此这种折衷的“坏”方面是可以接受的。在方法返回值或字段的情况下，无法进行相同的折衷。这些类成员的使用可以在不同的类，不同的模块中。看到这些值的所有用法不仅很困难，而且也可能是不可能的，因此，这里我们仍然沿用旧的方式：声明类型。

var的未来（只是想法）

在某些情况下，甚至不能将var用于局部变量。很多时候，我们有以下编码模式：

 final var variable; // this does not work in Java 11  if ( some condition ) { variable = expression_1 // do something here  } else { variable = expression_2 // do something here  }

在这里我们不能使用var因为在声明本身上没有分配变量的表达式。但是，编译器可以扩展。从现在开始，我所谈论的不是Java，而是现在。这就是我想象的将来的版本。

如果结构简单并且“在这里做某事”为空，则可以将结构转换为三元运算符：

 final var variable = some condition ? ( expression_1 ) : (expression_2) var variable = some condition ? ( expression_1 ) : (expression_2)

在这种情况下，即使我们使用Java的旧版本，例如Java 11，也可以使用var声明。但是，请小心！

 var h = true ? 1L : ? 1L : 3.3 ;

在此示例中，变量h的实际类型是什么？ Number ？三元运算符具有复杂且特殊的类型强制规则，由于两个表达式彼此靠近，通常不会引起任何问题。如果我们让上述结构使用类似的类型强制，则表达式彼此之间的距离并不那么紧密。到目前为止，Java的距离足够远，不允许使用var类型定义。我个人的观点是，应在将来的某个时候扩展var声明，以允许使用上述结构，但仅当两个（或两个或更复杂的结构）表达式具有完全相同的类型时才可以。否则，我们可能最终得到一个表达式，该表达式导致一个int ，另一个表达式导致一个String ，那么变量的类型将是什么？回答前请勿偷看图片！

（这个很好的例子是Nicolai Parlog给出的。）

我还可以想象，将来我们将拥有类似于Scala val东西，它是Java 11中的final var 。我不喜欢var vs. val命名。这是极度性感和怪异的，但很容易将一个人误认为另一个人。但是，如果我们有一个以final关键字开头的局部变量声明，那么为什么之后需要var关键字呢？

最后，我确实相信var是Java 11中的一个很棒的工具，但是我也希望它的作用将来会得到扩展。