Java 10中的本地类型推断,或者如果它像鸭子一样嘎嘎叫
最近,Oracle采用了一種新策略,即每六個月發布一次新的語言版本。 該策略假定只有每個第3版都將提供長期支持或LTS。 快速說明:
- 具有LTS的當前版本是Java 8;
- Java 9僅應在2018年3月之前獲得支持,因此已經結束。
- Java 10支持到2018年9月;
- 具有LTS的下一個版本應該是Java 11,該版本應該在2018年9月發布,并且至少將支持到2023年9月。
Oracle Java SE支持路線圖中的更多信息。
我們公司仍然沒有采用Java 9,但是現在看來完全跳過它并跳到下一個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關鍵字不是不言自明的。
許多編程語言(例如Scala,C#,Go,當然還有Kotlin)中的本地類型推斷已經存在了很長時間。 在這方面,Java一直處于落后地位,現在已決定對其進行修復。 但是,關于此的具體實現存在一些爭議。 例如,存在以下可能性:
- 如Kotlin或Scala中那樣, val用于局部常量,而var用于變量;
- 因為const和final已經在Java中保留了,所以對于局部常量使用const或僅final作為變量,對變量使用var ;
- 具有用于對變量常數和變種 最后變種 ;
- 利用let , def或:= ;
- 還有更多關于此的內容。
最終,決定使語法更接近現有語法,并允許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>();在示例二中,在直接替換左側的情況下,編譯器無法推斷列表類型,因此它將默認為Object。 當您嘗試處理列表中的項目時,它將使您絆倒。
局部類型推斷很有用的一個例子是數據轉換。 例如,您想將一種類型的對象更改為另一種具有不同屬性的對象,并為此使用一個匿名類。 在Java 8中,您只能在流范圍內進行操作,例如,可以在流管道中訪問新屬性,但不能在外部訪問。
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中,可以在流管道外部使用新對象的轉換列表。
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");}}因此,流關閉結束后,仍然可以訪問映射的對象屬性。 但是,由于這是局部類型推斷,因此您將無法在當前方法的局部范圍之外使用它們。 Var關鍵字在方法參數聲明中不起作用,因此您不能將var傳遞給另一個方法。 因此,擁有var并不意味著Java神奇地變成了動態類型。 它仍然是靜態類型的,只是添加了一點語法糖,并且僅在編譯器可以推斷類型的地方使用。
對我而言,這表明Java一直在努力前進,但由于試圖保持其歷史根源,使向后兼容而不是創新成為其主要優先事項而受到極大阻礙。
翻譯自: https://www.javacodegeeks.com/2018/04/local-type-inference-in-java-10-or-if-it-quacks-like-a-duck.html
總結
以上是生活随笔為你收集整理的Java 10中的本地类型推断,或者如果它像鸭子一样嘎嘎叫的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: excel相乘快捷键(excel快速相乘
- 下一篇: 更快地重复访问Java的Java类名?