這篇文章主要介紹“Java10局部變量類型舉例分析”，在日常操作中，相信很多人在Java10局部變量類型舉例分析問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”Java10局部變量類型舉例分析”的疑惑有所幫助！接下來，請跟著小編一起來學(xué)習(xí)吧！

創(chuàng)新互聯(lián)專注于新羅網(wǎng)站建設(shè)服務(wù)及定制，我們擁有豐富的企業(yè)做網(wǎng)站經(jīng)驗(yàn)。 熱誠為您提供新羅營銷型網(wǎng)站建設(shè)，新羅網(wǎng)站制作、新羅網(wǎng)頁設(shè)計(jì)、新羅網(wǎng)站官網(wǎng)定制、重慶小程序開發(fā)服務(wù)，打造新羅網(wǎng)絡(luò)公司原創(chuàng)品牌,更為您提供新羅網(wǎng)站排名全網(wǎng)營銷落地服務(wù)。

上下文：陳詞濫調(diào)和代碼可讀性

也許日復(fù)一日，你希望不再需要重復(fù)做一些事情。例如在下面的代碼（使用 Java 9 的集合工廠），左邊的類型也許會感覺到冗余和平淡。

import static java.util.Map.entry;List cities = List.of("Brussels", "Cardiff", "Cambridge")Map citiesPopulation= Map.ofEntries(entry("Brussels", 1_139_000),entry("Cardiff", 341_000));

這是一個非常簡單的例子，不過它也印證了傳統(tǒng)的 Java 哲學(xué)：你需要為所有包含的簡單表達(dá)式定義靜態(tài)類型。再讓我們來看看有一些復(fù)雜的例子。舉例來說，下面的代碼建立了一個從字符串到詞的柱狀圖。它使用 groupingBy 收集器將流聚合進(jìn) Map 。groupingBy 收集器還可以以一個分類函數(shù)為第一個參數(shù)建立映射的鍵和第二個收集器的 (counting()) 鍵計(jì)算關(guān)聯(lián)的數(shù)量。下面就是例子：

String sentence = "A simple Java example that explores what Java10 has to offer";Collector> byOccurrence= groupingBy(Function.identity(), counting());Map wordFrequency= Arrays.stream(sentence.split(" ")).collect(byOccurrence);

復(fù)雜表達(dá)式提取到一個變量或方法來提升代碼的可讀性和重用性，這是非常有意義的。在這里例子中，建立柱狀圖的邏輯使用了收集器。不幸地是，來自 groupingBy 的結(jié)果類型幾乎是不可讀的！對于這一點(diǎn)你毫無辦法，你能做的只有觀察。

最重要的一點(diǎn)是當(dāng) Java 中增加新的類庫的時候，他們開發(fā)越來越多的泛型，這就為開發(fā)者引進(jìn)了更多的公式化代碼（boilerplate code），從而帶來了額外的壓力。上面的例子并不是說明了編寫類型就不好。很明顯，強(qiáng)制將為變量和方法簽名定義類型的操作執(zhí)行為一種需要被尊重的協(xié)議，將有益于維護(hù)和理解。然而，為中間表達(dá)式聲明類型也許會顯得無用和冗余。

類型推斷的歷史

我們已經(jīng)在 Java 歷史上多次看到語言設(shè)計(jì)者添加“類型推斷”來幫助我們編寫更簡潔的代碼。類型推斷是一種思想：編譯器可以幫你推出靜態(tài)類型，你不必自己指定它們。

最早從 Java 5 開始就引入了泛型方法，而泛型方法的參數(shù)可以通過上下文推導(dǎo)出來。比如

這段代碼：

List cs = Collections.emptyList();

可以簡化成：

List cs = Collections.emptyList();

然后，在 Java 7 中，可以在表達(dá)式中省略類型參數(shù)，只要這些參數(shù)能通過上下文確定。比如：

Map> myMap = new HashMap>();

可以使用尖括號<>運(yùn)算符簡化成：

Map> userChannels = new HashMap<>();

一般來說，編譯器可以根據(jù)周圍的上下文來推斷類型。在這個示例中，從左側(cè)可以推斷出 HashMap 包含字符串列表。

從 Java 8 開始，像下面這樣的 Lambda 表達(dá)式

Predicate nameValidation = (String x) -> x.length() > 0;

可以省略類型，寫成

Predicate nameValidation = x -> x.length() > 0;

局部變量類型推斷

隨著類型越來越多，泛型參數(shù)有可能是另一個泛型，這種情況下類型推導(dǎo)可以增強(qiáng)可讀性。Scala 和 C# 語言允許將局部變量的類型聲明為 var，由編譯器根據(jù)初始化語句來填補(bǔ)合適的類型。比如，前面對 userChannels 的聲明可以寫成這樣：

var userChannels = new HashMap>();

也可以是根據(jù)方法的返回值（這里返回列表）來推斷：

var channels = lookupUserChannels("Tom");channels.forEach(System.out::println);

這種思想稱為局部變量類型推斷，它已經(jīng)在 Java 10 中引入！

例如下面的代碼：

Path path = Paths.get("src/web.log");try (Stream lines = Files.lines(path)){long warningCount= lines.filter(line -> line.contains("WARNING")).count();System.out.println("Found " + warningCount + " warnings in thelog file");} catch (IOException e) {e.printStackTrace();}

在 Java 10 中可以重構(gòu)成這樣：

var path = Paths.get("src/web.log");try (var lines = Files.lines(path)){var warningCount= lines.filter(line -> line.contains("WARNING")).count();System.out.println("Found " + warningCount + " warnings in thelog file");} catch (IOException e) {e.printStackTrace();}

上述代碼中的每個表達(dá)式仍然是靜態(tài)類型（即值的類型）：

局部變量 path 的類型是 Path  變量 lines 的類型是 Stream  變量 warningCount 的類型是 long

也就是說，如果給這些變量賦予不同值則會失敗。比如，像下面這樣的二次賦值會造成編譯錯誤：

var warningCount = 5;warningCount = "6";| Error:| incompatible types: java.lang.String cannot be converted to int| warningCount = "6"

然而還有一些關(guān)于類型推斷的小問題；如果類 Car 和 Bike 都是 Vehicle 的子類，然后聲明

var v = new Car();

這里聲明的 v 的類型是 Car 還是 Vehicle？這種情況下很好解釋，因?yàn)槌跏蓟鳎ㄟ@里是 Car）的類型非常明確。如果沒有初始化器，就不能使用 var。稍后像這樣賦值

v = new Bike();

會出錯。換句話說，var 并不能完美地應(yīng)用于多態(tài)代碼。

那應(yīng)該在哪里使用局部變量類型推斷呢？

什么情況下局部類型推斷會失效？你不能在字段和方法簽名中使用它。它只能用于局部變量，比如下面的代碼是不正確的：

public long process(var list) { }

不能在不明確初始化變量的情況下使用 var 聲明局部變量。也就是說，不能使用 var 語法聲明一個沒有賦值的變量。下面這段代碼

var x;

這會產(chǎn)生編譯錯誤：

| Error:| cannot infer type for local variable x| (cannot use 'var' on variable without initializer)| var x;| ^----^

也不能把 var 聲明的變量初始化為 null。實(shí)事上，在后期初始化之前它究竟是什么類型，這并不清楚。

| Error:| cannot infer type for local variable x| (variable initializer is 'null')| var x = null;| ^-----------^

不能在 Lambda 表達(dá)式中使用 var，因?yàn)樗枰鞔_的目標(biāo)類型。下面的賦值就是錯的：

var x = () -> {}| Error:| cannot infer type for local variable x| (lambda expression needs an explicit target-type)| var x = () -> {};| ^---------------^

但是，下面的賦值卻是有效的，原因是等式右邊確實(shí)有一個明確的初始化。

var list = new ArrayList<>();

這個列表的靜態(tài)類型是什么？變量的類型被推導(dǎo)為 ArrayList