2018年3月20日，Oracle发布java10。java10为java带来了很多新特性，其中让人眼前一亮的便是var关键字的引入。
从今以后我们可以这样写java代码了。
public class Example { public static void main(String[] args) { var eg = new Example; eg.emptyFunc(); } public void emptyFunc() {}}很方便是吧，但是java在var上是有要求的。总结起来，有以下三点很重要：
（1）只能用于局部变量上；
（2）声明时必须初始化；
（3）不能用作方法参数。
这三点很重要，但也让我看出了点什么，我大胆猜想，是不是javac会在编译时，悄悄将var换成所赋值的类型呢？
在java1.10的环境下，我们编译上面的代码。
借助于IDEA我们反编译上面的字节码文件Example.class结果如下：
var关键字被替换成了Example。 固然，验证了我们的猜想。我们再来看看下面这些代码：
public class UseVar { public void baseTypeVar() { var a = 1; var b = 255; var c = 256; var d = 10L; }}在java10环境下，我们使用javac编译上面的代码，然后借助于IDEA反编译得到的字节码文件UseVar.class文件
很奇怪，a, b, c都被反编译成boolean类型了，倒是d被反编译成long型了，符合预期的结果。至于a, b, c成为boolean类型，倒也验证了我另一篇文章里讲的，jvm是把java中的boolean当做int来理解了。总而言之，var在编译阶段是被会替换成所赋值的类型。
这也验证了上面的三个要求中的两个，为什么var声明变量时必须初始化，以及为什么不能用作方法参数。
【总结】：本质上，java仍然是静态强类型语言，var可以理解为java的一个语法糖。
【问题】：var为什么只能声明局部变量？var声明的变量可以被再次赋值吗？