Java 10新特性：類型推斷

afishhhhh 發(fā)布于2019-08-16 12:26 / 3519人閱讀

摘要：實(shí)際上并未引入太多新特性，不過(guò)有一個(gè)新特性最引人注目等了這么久終于支持類型推斷了，那么今天就來(lái)看一看的類型推斷，和其他語(yǔ)言相比有哪些異同吧。本次更新也支持了類型推斷，對(duì)于這種重量級(jí)語(yǔ)言來(lái)說(shuō)還是一件值得高興的事。

0x01 Java 10簡(jiǎn)介

自從有了校內(nèi)的下載網(wǎng)站，很少上Oracle官網(wǎng)下載JDK了，結(jié)果前兩天聽(tīng)鐘神說(shuō)Java 10都出來(lái)了2333。干IT這行還真是要與時(shí)俱進(jìn)啊，那就來(lái)看一下Java 10吧。

Java 10實(shí)際上并未引入太多新特性，不過(guò)有一個(gè)新特性最引人注目：

JEP 286: Local-Variable Type Inference

等了這么久Java終于支持類型推斷了，那么今天就來(lái)看一看Java 10的類型推斷，和其他語(yǔ)言相比有哪些異同吧。

0x02 類型推斷概述

類型推斷是新型的高級(jí)語(yǔ)言提供的一類功能，允許根據(jù)編譯上下文來(lái)推斷變量的類型，不需要自己手動(dòng)寫類型，使得代碼更加簡(jiǎn)潔。

目前我接觸的編程語(yǔ)言中，JavaScript、Swift和Python都支持這種語(yǔ)法。本次Java 10更新也支持了類型推斷，對(duì)于Java這種重量級(jí)語(yǔ)言來(lái)說(shuō)還是一件值得高興的事。

0x03 體驗(yàn)Java 10的類型推斷功能

讓我們寫一段Base64編碼的代碼，體驗(yàn)一下Java 10的類型推斷功能：

//Java代碼
import java.util.Base64;
class Untitled {
    public static void main(String[] args) {
        var b64encoder = Base64.getEncoder();
        var encodeString = b64encoder.encodeToString("Hello World".getBytes());
        System.out.println(encodeString);
    }
}

初步體驗(yàn)還是不錯(cuò)的，只是我的IDE還沒(méi)有升級(jí)，還不支持自動(dòng)提示這種語(yǔ)法。甚至Eclipse還不能正常編譯Java 10的代碼，我只能手動(dòng)通過(guò)javac來(lái)編譯。整體而言Java 10的類型推斷功能是類似于Swift/JavaScript的，需要寫var關(guān)鍵字，并不像是Python那樣的使用方式。

0x04 Java 10類型推斷的不足

上面的用法看起來(lái)很友好，那么有沒(méi)有更自由的寫法呢？很快的我就收到了編譯器錯(cuò)誤：

//Java代碼
import java.util.Base64;
class Untitled {
    public static void main(String[] args) {
        var b64encoder = Base64.getEncoder();
        var encodeString = b64encoder.encodeToString("Hello World".getBytes());
        System.out.println(encodeString);
        var a = 1,b = 2;
    }
}

錯(cuò)誤: "var" 不允許在復(fù)合聲明中使用
        var a = 1,b = 2;
            ^
1 個(gè)錯(cuò)誤

看來(lái)Java 10的類型推斷還是有諸多限制和不便，不像其他語(yǔ)言那般好用，對(duì)比一下Swift語(yǔ)言：

//Swift代碼
import Foundation
let string = "Hello World"
let data = string.data(using: String.Encoding.utf8)!
let encodeString = data.base64EncodedString()
print(encodeString)
var a = 1, b = 2;

比如說(shuō)Java 10并沒(méi)有let關(guān)鍵字，也就是說(shuō)，并不能快速的使用類型推斷定義常量。同時(shí)也不能一次用var定義多個(gè)變量，當(dāng)同類型變量較多的時(shí)候，我覺(jué)得還不如把類型寫出來(lái)。

同時(shí)，根據(jù)官方的說(shuō)明，你也不能將var用于成員變量，只能用于局部變量，例如下面的例子會(huì)出現(xiàn)編譯錯(cuò)誤：

//Java代碼
import java.util.Base64;
class Untitled {
    class Student {
        var name = "";
        Student(String name) {
            this.name = name;
        }
    }
    
    public static void main(String[] args) {
        var b64encoder = Base64.getEncoder();
        var encodeString = b64encoder.encodeToString("Hello World".getBytes());
        System.out.println(encodeString);
    }
}

錯(cuò)誤: 此處不允許使用 "var"
        var name = "";
        ^
1 個(gè)錯(cuò)誤

而在其他語(yǔ)言中，你可以更自由的使用var，在任何你想要的地方，只要不引起歧義：

//Swift代碼
import Foundation
class Student {
    var name = "";
    init(name: String) {
        self.name = name;
    }
}
var string = "Hello World"
let data = string.data(using: String.Encoding.utf8)!
let encodeString = data.base64EncodedString()
print(encodeString)

作為對(duì)比，Swift比Java 10在類型推斷方面更加靈活，同時(shí)二者也有共同點(diǎn)——它們都是強(qiáng)類型語(yǔ)言，任何變量必須具有某種類型，所謂的類型推斷只是一種語(yǔ)法上的精簡(jiǎn)。例如你不能像Python一樣在形參列表中也不使用參數(shù)類型，或者直接省略返回值類型，這些類型還都是必須的：

#Python代碼
def printNumber(num):
    print(num)
    return 1

retCode = printNumber(4)
print(retCode)

//Swift代碼
func printNumber(num: Int) -> Int {
    print(num)
    return 1
}
let retCode = printNumber(num: 2)
print(retCode)

//Java代碼
import java.util.Base64;
class Untitled {
    public static int printNumber(int num) {
        System.out.println(num);
        return 1;
    }
    public static void main(String[] args) {
        var retCode = printNumber(3);
        System.out.println(retCode);
    }
}

0x05 總結(jié)

經(jīng)過(guò)簡(jiǎn)單的體驗(yàn)，基本清楚了Java 10的類型推斷功能。以后在局部范圍定義對(duì)象，可以有了更簡(jiǎn)略的寫法：

//Before Java 9
MessageDigest md = MessageDigest.getInstance("SHA-512");
//Java 10
var md = MessageDigest.getInstance("SHA-512");

顯然這種代碼不兼容早期版本的Java，即使你將Java 10的代碼編譯為字節(jié)碼，也不能在低版本的JVM上運(yùn)行。這種新語(yǔ)法也不能用于Android開(kāi)發(fā)等用途。比如我使用OpenJDK 1.8來(lái)測(cè)試我們前面編碼base64的代碼，就出現(xiàn)了異常：

$ java -version
java version "10" 2018-03-20
Java(TM) SE Runtime Environment 18.3 (build 10+46)
Java HotSpot(TM) 64-Bit Server VM 18.3 (build 10+46, mixed mode)
$ java Main
SGVsbG8gV29ybGQ=

# java -version
openjdk version "1.8.0_111"
OpenJDK Runtime Environment (IcedTea 3.2.0) (suse-33.1-x86_64)
OpenJDK 64-Bit Server VM (build 25.111-b14, mixed mode)
# java Main
Error: A JNI error has occurred, please check your installation and try again
Exception in thread "main" java.lang.UnsupportedClassVersionError: Main has been compiled by a more recent version of the Java Runtime (class file version 54.0), this version of the Java Runtime only recognizes class file versions up to 52.0
    at java.lang.ClassLoader.defineClass1(Native Method)
    at java.lang.ClassLoader.defineClass(ClassLoader.java:763)
    at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
    at java.net.URLClassLoader.defineClass(URLClassLoader.java:467)
    at java.net.URLClassLoader.access$100(URLClassLoader.java:73)
    at java.net.URLClassLoader$1.run(URLClassLoader.java:368)
    at java.net.URLClassLoader$1.run(URLClassLoader.java:362)
    at java.security.AccessController.doPrivileged(Native Method)
    at java.net.URLClassLoader.findClass(URLClassLoader.java:361)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
    at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
    at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:495)

所以說(shuō)這種新語(yǔ)法還是不夠靈活，同時(shí)兼容性也堪憂，但是聊勝于無(wú)。同時(shí)也會(huì)一定程度上減少Java代碼的長(zhǎng)度，讓編程更加優(yōu)雅一些。同學(xué)們?nèi)绻塍w驗(yàn)一下新語(yǔ)法，可以升級(jí)到Java 10，不過(guò)好多Java應(yīng)用都不兼容，所以升級(jí)還是需慎重啊！