前言

近期因項(xiàng)目中的開源框架版本升級導(dǎo)致項(xiàng)目的整體jdk版本被迫從萬年的java8升級到了java11

于是我們也從該開源框架中看到了對于我來說一個(gè)比較陌生的身影—val，于是便開始一小波的學(xué)習(xí)

一、Lombok中的val和var

1.1 lombok.val

首先看官方文檔介紹：

You can use val as the type of a local variable declaration instead of actually writing the type. When you do this, the type will be inferred from the initializer expression. The local variable will also be made final. This feature works on local variables and on foreach loops only, not on fields. The initializer expression is required.

val is actually a ‘type’ of sorts, and exists as a real class in the lombok package. You must import it for val to work (or use lombok.val as the type). The existence of this type on a local variable declaration triggers both the adding of the final keyword as well as copying the type of the initializing expression which overwrites the ‘fake’ val type.

WARNING: This feature does not currently work in NetBeans.

大致的意思就是val是用于聲明局部變量的，它會根據(jù)初始化的表達(dá)式來對變量類型進(jìn)行推斷。使用val的局部變量會被聲明為final的，它可以使用與foreach的循環(huán)中，val不可以用于成員變量，并且它的初始化表達(dá)式是必須的（即必須在聲明的時(shí)候給出初始化的表達(dá)式）。

使用示例：

public static void main(String[] args){
    val map = new HashMap<>();
    map.put("name","dachengcheng");
    map.put("gender","boy");
    map.put("obj", new Object());

    for (val entry:map.entrySet()){
        System.out.println(entry.getKey()+":"+entry.getValue());
    }
}

其實(shí)val就是一種類型推斷的語法糖，在編譯之后會進(jìn)行desugar的，我們來看一下以上代碼經(jīng)過編譯之后變成什么樣子

// 以下是JDK11反編譯出來的
public static void main(String[] args) {
    HashMap<Object, Object> map = new HashMap();
    map.put("name", "dachengcheng");
    map.put("gender", "boy");
    map.put("obj", new Object());
    Iterator var2 = map.entrySet().iterator();

    while(var2.hasNext()) {
        Entry<Object, Object> entry = (Entry)var2.next();
        PrintStream var10000 = System.out;
        ((PrintStream)entry.getKey()).println((String)entry.getValue());
    }

}

因?yàn)槲覀冊诜盒椭胁⑽粗付ň唧w的類型，所以類型推斷出來的就是HashMap<Object,Object>的類型了，我們可以看到在循環(huán)中，也是很正確的推斷出了Entry類型。

上面不是提到val代表的是final類型的局部變量嗎？為啥反編譯出來的沒有看到final的字樣？

這一點(diǎn)其實(shí)我也很疑惑，不知道是不是因?yàn)镮DEA的工具反編譯問題，或者是因?yàn)镴ava8以上的Effective final的特性導(dǎo)致的沒有final修飾，但實(shí)際是final類型呢？

我們降低一下jdk版本（JDK6）試了一下，發(fā)現(xiàn)結(jié)果仍然一樣，資料找了大半圈沒找到一個(gè)人有合適的說法。于是我試了一下直接用final關(guān)鍵字修飾局部變量

才發(fā)現(xiàn)是局部變量的final并沒有寫入class文件中，至于為什么，大概是優(yōu)化吧，具體的可能得去看看虛擬機(jī)相關(guān)的知識了，此處暫且不深入了。

局部變量以及參數(shù)中的final，同樣不能提升我們的性能，它甚至不會被寫進(jìn)字節(jié)碼中

1.2 lombok.var

還是來看官方文檔的介紹

var works exactly like val, except the local variable is not marked as final.

The type is still entirely derived from the mandatory initializer expression, and any further assignments, while now legal (because the variable is no longer final), aren’t looked at to determine the appropriate type.For example, var x = "Hello"; x = Color.RED; does not work; the type of x will be inferred to be java.lang.String and thus, the x = Color.RED assignment will fail. If the type of x was inferred to be java.lang.Object this code would have compiled, but that’s not howvar works.

大致意思就是var跟val很像，只不過它標(biāo)記的局部變量并不是final的。

二、Java中的var關(guān)鍵字

2.1 如何使用？

var關(guān)鍵字其實(shí)作用和上面提到的lombok.val和lombok.var是一樣的，也是用于局部變量的類型推斷；var修飾的變量是非final的，如果需要final可以加上final修飾符。

還是一樣我們來看一下源碼和編譯之后的class文件內(nèi)容

源碼：

public class ValDemo {
    final String bbb ="111";

    public static void main(String[] args){
        var map = new HashMap<String,String>();
        map.put("aaa","dachengcheng");
        var obj = getObj();
    }
    private static List<List<Map<String, List<Map<String,String>>>>> getObj(){
        // 當(dāng)然現(xiàn)實(shí)當(dāng)中這種返回類型容易被打死，此處只是為了效果演示
        return null;
    }
}

反編譯：

public class ValDemo {
    final String bbb = "111";

    public ValDemo() {
    }
    public static void main(String[] args) {
        HashMap<String, String> map = new HashMap();
        map.put("aaa", "dachengcheng");
        List<List<Map<String, List<Map<String, String>>>>> obj = getObj();
    }
    private static List<List<Map<String, List<Map<String, String>>>>> getObj() {
        return null;
    }
}

2.2 為什么推出var關(guān)鍵字？

Java作為一個(gè)強(qiáng)類型的靜態(tài)類型語言，為啥要推出這么一個(gè)關(guān)鍵字呢？

我們知道在JavaScript這種弱類型的語言中有var關(guān)鍵字，我想大概是因?yàn)?ldquo;偷懶”吧。

我們知道Java代碼存在很多模版化的聲明，如HasMap<String,String> map = new HashMap<String,String>(), 這種寫法雖然給我們帶來了好處的同時(shí)，也帶來了一些書寫上的繁瑣，有些人可能覺得花時(shí)間在書寫這種模板代碼上是在浪費(fèi)時(shí)間，為啥Java就不能幫我們完成這個(gè)事呢? 比如上面提到的List<List<Map<String, List<Map<String,String>>>>>返回類型，真正要寫的那可是一長串，有了var關(guān)鍵字之后就簡單多了，直接var obj = getObj();，在這種情況下相對來說代碼更簡單，至于易讀性是相對的，有的時(shí)候提高了可讀性，有的時(shí)候反而不方便。

當(dāng)然官方對于這個(gè)關(guān)鍵字的由來，大概是因?yàn)殛P(guān)于 2016 年有一個(gè) JDK 增強(qiáng)提議（JEP）在 Java 社區(qū)引起了轟動：JEP 286，感興趣的可以去了解一下。

三、該如何抉擇呢？

其實(shí)該使用誰那完全看個(gè)人喜好了，但是呢我們必須得了解清楚他們之間的區(qū)別，比如lombok.val在書寫的時(shí)候，IDE可能還無法識別它的final特性，可以針對該局部變量進(jìn)行修改，只會在編譯或運(yùn)行的時(shí)候發(fā)現(xiàn)報(bào)錯(cuò)。

而且有的團(tuán)隊(duì)可能會比較抵制lombok，理由大概是一人用lombok，所有人都得用，在某種程度上屬于強(qiáng)買強(qiáng)賣。

所以如果在JDK版本允許的情況下（JDK10及以上），我們可以考慮用jdk自帶的var關(guān)鍵字。

如果是萬年java8的話，又想使用這種語法特性，那么就可以使用lombok.val了。

Reference：

• http://openjdk.java.net/jeps/286
• https://projectlombok.org/features/val
• https://projectlombok.org/features/var

總結(jié)

以上為個(gè)人經(jīng)驗(yàn)，希望能給大家一個(gè)參考，也希望大家多多支持腳本之家。

最新評論