深入淺析Java8中的類型注解

這篇文章將為大家詳細(xì)講解有關(guān)深入淺析Java8中的類型注解，文章內(nèi)容質(zhì)量較高，因此小編分享給大家做個(gè)參考，希望大家閱讀完這篇文章后對相關(guān)知識有一定的了解。

成都創(chuàng)新互聯(lián)公司主營銅梁網(wǎng)站建設(shè)的網(wǎng)絡(luò)公司,主營網(wǎng)站建設(shè)方案,app軟件開發(fā),銅梁h5微信平臺小程序開發(fā)搭建,銅梁網(wǎng)站營銷推廣歡迎銅梁等地區(qū)企業(yè)咨詢

什么是類型注解

在java 8之前，注解只能是在聲明的地方所使用，比如類，方法，屬性；java 8里面，注解可以應(yīng)用在任何地方，比如：

創(chuàng)建類實(shí)例

new @Interned MyObject();

類型映射

    myString = (@NonNull String) str;

implements 語句中

class UnmodifiableList<T> implements @Readonly List<@Readonly T> { ... }

throw exception聲明

 void monitorTemperature() throws @Critical TemperatureException { ... }

需要注意的是，類型注解只是語法而不是語義，并不會影響java的編譯時(shí)間，加載時(shí)間，以及運(yùn)行時(shí)間，也就是說，編譯成class文件的時(shí)候并不包含類型注解。

類型注解的作用

先看看下面代碼

Collections.emptyList().add("One");
int i=Integer.parseInt("hello");
System.console().readLine();

上面的代碼編譯是通過的，但運(yùn)行是會分別報(bào)UnsupportedOperationException； NumberFormatException；NullPointerException異常，這些都是runtime error；

類型注解被用來支持在Java的程序中做強(qiáng)類型檢查。配合插件式的check framework，可以在編譯的時(shí)候檢測出runtime error，以提高代碼質(zhì)量。這就是類型注解的作用了。

check framework

check framework是第三方工具，配合Java的類型注解效果就是1+1>2。它可以嵌入到j(luò)avac編譯器里面，可以配合ant和maven使用，也可以作為eclipse插件。地址是http://types.cs.washington.edu/checker-framework/。

check framework可以找到類型注解出現(xiàn)的地方并檢查，舉個(gè)簡單的例子：

import checkers.nullness.quals.*;
public class GetStarted {
  void sample() {
    @NonNull Object ref = new Object();
  }
}

使用javac編譯上面的類

javac -processor checkers.nullness.NullnessChecker GetStarted.java

編譯是通過，但如果修改成

@NonNull Object ref = null;

再次編譯，則出現(xiàn)

GetStarted.java:5: incompatible types.
found  : @Nullable <nulltype>
required: @NonNull Object
    @NonNull Object ref = null;
               ^
1 error

如果你不想使用類型注解檢測出來錯誤，則不需要processor，直接javac GetStarted.java是可以編譯通過的，這是在java 8 with Type Annotation Support版本里面可以，但java 5,6,7版本都不行，因?yàn)閖avac編譯器不知道@NonNull是什么東西，但check framework 有個(gè)向下兼容的解決方案，就是將類型注解nonnull用/**/注釋起來
，比如上面例子修改為

import checkers.nullness.quals.*;
public class GetStarted {
  void sample() {
    /*@NonNull*/ Object ref = null;
  }
}

這樣javac編譯器就會忽略掉注釋塊，但用check framework里面的javac編譯器同樣能夠檢測出nonnull錯誤。
通過類型注解+check framework我們可以看到，現(xiàn)在runtime error可以在編譯時(shí)候就能找到。

關(guān)于JSR 308

JSR 308想要解決在Java 1.5注解中出現(xiàn)的兩個(gè)問題：

在句法上對注解的限制：只能把注解寫在聲明的地方
類型系統(tǒng)在語義上的限制：類型系統(tǒng)還做不到預(yù)防所有的bug

JSR 308 通過如下方法解決上述兩個(gè)問題：

對Java語言的句法進(jìn)行擴(kuò)充，允許注解出現(xiàn)在更多的位置上。包括：方法接收器（method receivers，譯注：例public int size() @Readonly { ... }），泛型參數(shù)，數(shù)組，類型轉(zhuǎn)換，類型測試，對象創(chuàng)建，類型參數(shù)綁定，類繼承和throws子句。其實(shí)就是類型注解，現(xiàn)在是java 8的一個(gè)特性

通過引入可插拔的類型系統(tǒng)（pluggable type systems）能夠創(chuàng)建功能更強(qiáng)大的注解處理器。類型檢查器對帶有類型限定注解的源碼進(jìn)行分析，一旦發(fā)現(xiàn)不匹配等錯誤之處就會產(chǎn)生警告信息。其實(shí)就是check framework
對JSR308，有人反對，覺得更復(fù)雜更靜態(tài)了，比如

@NotEmpty List<@NonNull String> strings = new ArrayList<@NonNull String>()>

換成動態(tài)語言為

var strings = ["one", "two"];

有人贊成，說到底，代碼才是“最根本”的文檔。代碼中包含的注解清楚表明了代碼編寫者的意圖。當(dāng)沒有及時(shí)更新或者有遺漏的時(shí)候，恰恰是注解中包含的意圖信息，最容易在其他文檔中被丟失。而且將運(yùn)行時(shí)的錯誤轉(zhuǎn)到編譯階段，不但可以加速開發(fā)進(jìn)程，還可以節(jié)省測試時(shí)檢查bug的時(shí)間。

關(guān)于深入淺析Java8中的類型注解就分享到這里了，希望以上內(nèi)容可以對大家有一定的幫助，可以學(xué)到更多知識。如果覺得文章不錯，可以把它分享出去讓更多的人看到。

當(dāng)前題目：深入淺析Java8中的類型注解
網(wǎng)頁URL：http://muchs.cn/article14/jcjhde.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供網(wǎng)站設(shè)計(jì)、品牌網(wǎng)站制作、面包屑導(dǎo)航、商城網(wǎng)站、搜索引擎優(yōu)化、企業(yè)網(wǎng)站制作

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請盡快告知，我們將會在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場，如需處理請聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源：創(chuàng)新互聯(lián)

猜你還喜歡下面的內(nèi)容