java中無法推斷類型參數(shù)

最近，Oracle采用了一種新策略，即每六個月發(fā)布一次新的語言版本。 該策略假定只有每個第3版都將提供長期支持或LTS。 快速說明：

• 具有LTS的當前版本是Java 8；
• Java 9僅應(yīng)在2018年3月之前獲得支持，因此已經(jīng)結(jié)束。
• Java 10支持到2018年9月;
• 具有LTS的下一個版本應(yīng)該是Java 11，該版本應(yīng)該在2018年9月發(fā)布，并且至少將支持到2023年9月。

Oracle Java SE支持路線圖中的更多內(nèi)容。

我們公司仍然沒有采用Java 9，但是現(xiàn)在看來完全跳過它并跳到下一個LTS可能是一個有效的選擇。 除了Java本身，還有很多其他問題，例如Spring Boot Java版本等，因此我們可能會謹慎行事。 盡管如此，鑒于不可避免的更改，我還是決定研究Java 10中的功能?？雌饋碓摪姹局械闹饕δ苁潜镜仡愋屯茢?。

我們都知道這種Java語法：

List<User> list = new ArrayList<User>(); // or since Java 7 List<User> list = new ArrayList<>();

基本上，局部類型推斷可以替換為：

// left side type is inferred from the right side and will be ArrayList var userList = new ArrayList();

這意味著代碼的樣板要少一些，但是您需要更多注意變量和方法名，因為var關(guān)鍵字不是不言自明的。

許多編程語言（例如Scala，C＃，Go，當然還有Kotlin）中的本地類型推斷已經(jīng)存在了很長時間。 在這方面，Java一直處于落后地位，現(xiàn)在已決定對其進行修復(fù)。 但是，關(guān)于此的具體實現(xiàn)存在一些爭議。 例如，存在以下可能性：

• 如Kotlin或Scala中那樣， val用于局部常量，而var用于變量；
• 因為const和final已經(jīng)在Java中保留了，所以對于局部常量使用const或僅final作為變量，對變量使用var ；
• 具有用于對變量常數(shù)和變種 最后變種 ;
• 利用let ， def或：= ;
• 還有更多關(guān)于此的內(nèi)容。

最終，決定使語法更接近現(xiàn)有語法，并允許var用于局部變量， final var用于局部常量，因此上面顯示的示例將在Java 10中運行。 但是，替換并非總是那么簡單。 例如：

// example 1 - list is a List<User> type List<User> list = new ArrayList<>();// example 2 - userList is an ArrayList<Object> type, so you lose type information var userList = new ArrayList<>();// example 3 - userListFixed is an ArrayList<User> type, so you keep type information var userListFixed = new ArrayList<User>();

在示例二中，在直接替換左側(cè)的情況下，編譯器無法推斷列表類型，因此它將默認為Object。 當您嘗試處理列表中的項目時，它將使您絆倒。

局部類型推斷很有用的一個例子是數(shù)據(jù)轉(zhuǎn)換。 例如，您想將一種類型的對象更改為另一種具有不同屬性的對象，并為此使用一個匿名類。 在Java 8中，您只能在流作用域內(nèi)執(zhí)行此操作，例如，可以在流管道中訪問新屬性，但不能在外部訪問。

List<User> users = Arrays.asList(new User("Elisabeth", "Bennett", 20),new User("Jane", "Bennett", 22),new User("Mary", "Bennett", 18),new User("Kitty", "Bennett", 17),new User("Lydia", "Bennett", 15));users.stream().map(u ->new Object() {String fullName = u.firstName + " " + u.lastName;boolean canDrink = u.age >= 18;}).forEach(u -> {if (u.canDrink) {System.out.println("+ " + u.fullName + " is of age and can drink");} else {System.out.println("- " + u.fullName + " is not of age and cannot drink");}});/* Output will be* + Elisabeth Bennett is of age and can drink* + Jane Bennett is of age and can drink* + Mary Bennett is of age and can drink* - Kitty Bennett is not of age and cannot drink* - Lydia Bennett is not of age and cannot drink*/

在Java 10中，可以在流管道之外使用新對象的轉(zhuǎn)換列表。

List<User> users = Arrays.asList(new User("Elisabeth", "Bennett", 20),new User("Jane", "Bennett", 22),new User("Mary", "Bennett", 18),new User("Kitty", "Bennett", 17),new User("Lydia", "Bennett", 15));final var objects = users.stream().map(u ->new Object() {String fullName = u.firstName + " " + u.lastName;boolean canDrink = u.age >= 18;}).collect(Collectors.toUnmodifiableList());// do something with the users...System.out.println();for (var o : objects) {if (o.canDrink) {System.out.println("+ " + o.fullName + " is of age and can drink");} else {System.out.println("- " + o.fullName + " is not of age and cannot drink");}}

因此，流關(guān)閉結(jié)束后，仍然可以訪問映射的對象屬性。 但是，由于這是局部類型推斷，因此您將無法在當前方法的局部范圍之外使用它們。 Var關(guān)鍵字在方法參數(shù)聲明中不起作用，因此您不能將var傳遞給另一個方法。 因此，擁有var并不意味著Java神奇地變成了動態(tài)類型。 它仍然是靜態(tài)鍵入的，只是添加了一點語法糖，并且僅在編譯器可以推斷類型的地方使用。

對我來說，這表明Java一直在努力前進，但是由于試圖保持其歷史根源，使向后兼容而不是創(chuàng)新成為其主要優(yōu)先事項而受到極大阻礙。

翻譯自: https://www.javacodegeeks.com/2018/04/local-type-inference-in-java-10-or-if-it-quacks-like-a-duck.html

java中無法推斷類型參數(shù)

總結(jié)

以上是生活随笔為你收集整理的java中无法推断类型参数_Java 10中的本地类型推断，或者如果它像鸭子一样嘎嘎叫...的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。