java10 var关键字浅析

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声明的变量可以被再次赋值吗？