關於“非法的前向引用(illegal forward reference)”的探究

来源:https://www.cnblogs.com/shionsun/p/18040918
-Advertisement-
Play Games

1.問題: 有如下代碼: public class Test { static { i = 0;// 給變數賦值可以正常編譯通過 System.out.print(i);// 編譯器會提示“非法向前引用”(illegal forward reference) } static int i = 1; ...


1.問題:

有如下代碼:

public class Test {
    static {
        i = 0;// 給變數賦值可以正常編譯通過
        System.out.print(i);// 編譯器會提示“非法向前引用”(illegal forward reference)
    }
    static int i = 1;
}

這段代碼來自於《深入理解Java虛擬機:JVM高級特性與最佳實踐(第三版)》的第7章。

image

書里沒有對前向引用的進一步說明,我們自己探究一下。
把這段代碼放到IDEA中,System.out.print(i)直接提示有錯誤。
image

編譯一下看看
image

編譯失敗,輸出的信息是
java:非法前向引用

2.什麼是forward reference?

forward reference可以翻譯成向前引用或者前向引用。百度百科沒有收錄該詞條,在維基百科中有該詞條,但是描述很簡單。
image

既然是Java編譯器報錯,那就去查詢Java官方資料,在JLS(Java語言規範)中找到了該詞的說明:
image

References to a field are sometimes restricted, even through the field is in scope. The following rules constrain forward references to a field (where the use textually precedes the field declaration) as well as self-reference (where the field is used in its own initializer).
即使該欄位在範圍內,對欄位的引用有時也會受到限制。以下規則限制對欄位的前向引用(其中使用文本在欄位聲明之前)以及自引用(其中欄位在其自己的初始值設定項中使用)。

這一句提到了兩個概念,前向引用自引用。在JLS中說前向引用就是在欄位聲明之前使用它,再回頭看前言的例子中的代碼

public class Test {
    static {
        i = 0;
        System.out.print(i);
    }
    static int i = 1;
}

i在未聲明時就在static塊中使用了,說明i = 0;屬於前向引用。
如果註釋掉System.out.print(i);這一行,程式可以正常編譯通過。
將上面的代碼稍微改造一下,列印i的值,看看是0還是1

public class Test {

    static {
        i = 0;// 給變數賦值可以正常編譯通過
    }
    static int i = 1;

    public static void main(String[] args) {
        System.out.println(i);// 輸出1
    }
}

i的值是1,符合預期。
複習一下類初始化的步驟,靜態變數(類變數)和靜態代碼塊(static{}塊)按照從上到下的順序執行。static int i = 1;i = 0;後面,所以i的值是1
再來看看Test這個類的位元組碼情況,使用jclasslib插件查看很方便。
image

Test類初始化方法<clinit>的位元組碼
iconst_0 // 把常量0壓入操作數棧
putstatic #3 <com/shion/init_code/Test.i : I> // 把棧頂的值0賦值給類變數i i->0
iconst_1 // 把常量1壓入操作數棧
putstatic #3 <com/shion/init_code/Test.i : I> // 把棧頂的值1賦值給類變數i i->1
return // 返回void

從位元組碼看到,類變數i確實被賦值了兩次,第一次是0,第二次是1。難道類變數沒聲明也可以賦值嗎?當然不是,答案已經呼之欲出了,我們來看看Test這個類的class文件,用IDEA查看反編譯後的代碼。
image

好家伙,原來是Java編譯器的功勞。
補充:
Java允許前向引用,從JLS的說明上看,不管是類變數還是實例變數皆可,Java編譯器編譯時會自動處理。

3.什麼情況屬於非法的前向引用?

既然知道了前向引用的概念,那什麼情況屬於非法的前向引用呢?
還是看JLS的說明:
image

解釋下什麼是簡單名稱,就是一個單詞或一個字母這種形式的名稱,和它相對的就是限定名稱(以.分隔的單詞序列,例如java.lang.Object或者System.out)。
JLS給出了一個詳細的例子來說明哪些情況屬於非法的前向引用:

點擊查看代碼
class UseBeforeDeclaration {
    static {
        x = 100;
          // ok - assignment
        int y = x + 1;
          // error - read before declaration
        int v = x = 3;
          // ok - x at left hand side of assignment
        int z = UseBeforeDeclaration.x * 2;
          // ok - not accessed via simple name

        Object o = new Object() { 
            void foo() { x++; }
              // ok - occurs in a different class
            { x++; }
              // ok - occurs in a different class
        };
    }

    {
        j = 200;
          // ok - assignment
        j = j + 1;
          // error - right hand side reads before declaration
        int k = j = j + 1;
          // error - illegal forward reference to j
        int n = j = 300;
          // ok - j at left hand side of assignment
        int h = j++;
          // error - read before declaration
        int l = this.j * 3;
          // ok - not accessed via simple name

        Object o = new Object() { 
            void foo(){ j++; }
              // ok - occurs in a different class
            { j = j + 1; }
              // ok - occurs in a different class
        };
    }

    int w = x = 3;
      // ok - x at left hand side of assignment
    int p = x;
      // ok - instance initializers may access static fields

    static int u =
        (new Object() { int bar() { return x; } }).bar();
	    // ok - occurs in a different class

    static int x;

    int m = j = 4;
      // ok - j at left hand side of assignment
    int o =
        (new Object() { int bar() { return j; } }).bar(); 
        // ok - occurs in a different class
    int j;
}

通過查詢其他資料,大家總結了一句話:

通過簡單名稱引用的變數可以出現在左值位置,但不能出現在右值的位置

根據這條規則,再看上面的例子,int y = x + 1;這行代碼中,x出現在了右值的位置。
再回頭看問題裡面的例子,System.out.print(i);這行代碼,符合JLS里提到的

The reference appears either in a class variable initializer of C or in a static initializer of C (§8.7);
該引用出現在 C 的類變數初始值設定項(static欄位)中或 C 的靜態初始值設定項(static代碼塊)中(第 8.7 節);

4.前向引用的好處?

前向引用在語法上很容易造成誤解,特別是剛接觸Java編程的新人,那為什麼Java還要允許它的存在呢?
以下說明來自:
前向引用 - 為什麼這段代碼會編譯?

前向引用是一種編譯技術,允許在當前編譯單元中引用其他編譯單元中的類型。這種技術可以提高編譯速度,並允許在不同的編譯單元之間進行更靈活的組織和模塊化。
前向引用的優勢:

  1. 提高編譯速度:通過將類型聲明和定義分離,可以減少編譯器需要處理的代碼量,從而提高編譯速度。
  2. 更靈活的組織:前向引用允許在不同的編譯單元之間進行更靈活的組織和模塊化,這有助於提高代碼的可維護性和可讀性。
  3. 更好的性能:前向引用可以減少不必要的記憶體分配和釋放,從而提高程式的性能。
    應用場景:
  4. 大型項目:在大型項目中,前向引用可以幫助開發人員更好地組織代碼,提高代碼的可讀性和可維護性。
  5. 模塊化開發:在模塊化開發中,前向引用可以幫助開發人員將不同的模塊分離,從而提高代碼的可讀性和可維護性。
  6. 多編譯單元項目:在多編譯單元項目中,前向引用可以幫助開發人員更好地組織代碼,提高代碼的可讀性和可維護性。

5.總結

前向引用是Java語言層面允許的,Java編譯器進行編譯時會檢查非法的前向引用,其目的是避免迴圈初始化和其他非正常的初始化行為。

最後再簡單提一下什麼是迴圈引用,看一下下麵這個例子:

private int i = j;
private int j = i;

如果沒有前面說的強制檢查,那麼這兩句代碼就會通過編譯,但是很容易就能看得出來,ij並沒有被真正賦值,因為兩個變數都是未初始化的(Java規定所有變數在使用之前必須被初始化),而這個就是最簡單的迴圈引用的例子。

理解前向引用等概念,可能對提高寫CRUD代碼的水平沒有什麼幫助,但是能幫助我們更好的理解這門編程語言。

參考鏈接:
https://stackoverflow.com/questions/14624919/illegal-forward-reference-java-issue
https://www.imooc.com/wenda/detail/557184
https://cloud.tencent.com/developer/information/前向引用 - 為什麼這段代碼會編譯?
https://docs.oracle.com/javase/specs/jls/se14/html/jls-8.html#jls-8.3.3

本文來自博客園,作者:三線程式猿,轉載請註明原文鏈接:https://www.cnblogs.com/shionsun/p/18040918


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 寫在前面 我知道自己現在的狀態很不好,以為放個假能好好放鬆下心情,結果昨晚做夢還在工作,調試代碼,和領導彙報工作。 天吶,明明是在放假,可大腦還在考慮工作的事,我的天那,這是怎麼了? Vue頁面參數傳遞 1、任務拆解 頁面跳轉時帶上當前電子書id參數ebookId 新增/編輯文檔時,讀取電子書id參 ...
  • 1. 有人說 Python 性能沒那麼 Low? 這個我用 pypy 2.7 確認了下,確實沒那麼差, 如果用 NumPy 或其他版本 Python 的話,性能更快。但 pypy 還不完善,pypy3 在 beta, 所以一般情況,我是說一般情況下,這點比較讓人不爽。 2. 有人說怎麼沒有 C#、R ...
  • 歡迎來到從零開始學Spring Boot的旅程!在Spring Boot中,返回JSON數據是很常見的需求,特別是當我們構建RESTful API時。我們對上一篇的Hello World進行簡單的修改。 添加依賴 首先,確保你的build.gradle文件中已經包含了Spring Web的依賴,因為 ...
  • 現在免費證書只能申請三個月(之前還能申請十二個月),擁有acme能力對於小的站點來說就比較需要,可以比較好的部署也不用關心TLS帶來的煩惱。 ...
  • ORM,全稱為Object-Relational Mapping,即對象關係映射,是一種程式技術,用於實現面向對象編程語言里不同類型系統的數據之間的轉換。從效果上說,它其實是創建了一個可在編程語言里使用的“虛擬對象資料庫”。 ORM技術位於應用和資料庫之間,作為一層中間件,用於實體對象(例如 POJ ...
  • Java 包和 API Java 中的包 用於將相關的類分組在一起。可以將其視為文件目錄中的一個文件夾。我們使用包來避免名稱衝突,並編寫更易於維護的代碼。 包分為兩類: 內置包(來自 Java API 的包) 用戶定義的包(創建自己的包) 內置包 Java API 是一個預先編寫的類庫,可以在 Ja ...
  • Rust的智能指針有哪些?大多數人都能馬上答出Box<T>、Rc<T>和Arc<T>、Ref<T>和在非同步編程中很常見的Pin<P>等等。不過,有一個可能經常被大多數人遺忘的類型,它功能強大,利用好了可以節省很多複製開銷;它就是這篇文章的主角:Cow<B>。 什麼是COW(Copy-On-Write ...
  • 1.pom.xml引入依賴 <dependency> <groupId>com.github.pagehelper</groupId> <artifactId>pagehelper</artifactId> <version>5.1.11</version> </dependency> 2.myba ...
一周排行
    -Advertisement-
    Play Games
  • 下麵是一個標準的IDistributedCache用例: public class SomeService(IDistributedCache cache) { public async Task<SomeInformation> GetSomeInformationAsync (string na ...
  • 這個庫提供了在啟動期間實例化已註冊的單例,而不是在首次使用它時實例化。 單例通常在首次使用時創建,這可能會導致響應傳入請求的延遲高於平時。在註冊時創建實例有助於防止第一次Request請求的SLA 以往我們要在註冊的時候實例單例可能會這樣寫: //註冊: services.AddSingleton< ...
  • 最近公司的很多項目都要改單點登錄了,不過大部分都還沒敲定,目前立刻要做的就只有一個比較老的項目 先改一個試試手,主要目標就是最短最快實現功能 首先因為要保留原登錄方式,所以頁面上的改動就是在原來登錄頁面下加一個SSO登錄入口 用超鏈接寫的入口,頁面改造後如下圖: 其中超鏈接的 href="Staff ...
  • Like運算符很好用,特別是它所提供的其中*、?這兩種通配符,在Windows文件系統和各類項目中運用非常廣泛。 但Like運算符僅在VB中支持,在C#中,如何實現呢? 以下是關於LikeString的四種實現方式,其中第四種為Regex正則表達式實現,且在.NET Standard 2.0及以上平... ...
  • 一:背景 1. 講故事 前些天有位朋友找到我,說他們的程式記憶體會偶發性暴漲,自己分析了下是非托管記憶體問題,讓我幫忙看下怎麼回事?哈哈,看到這個dump我還是非常有興趣的,居然還有這種游戲幣自助機類型的程式,下次去大玩家看看他們出幣的機器後端是不是C#寫的?由於dump是linux上的程式,剛好win ...
  • 前言 大家好,我是老馬。很高興遇到你。 我們為 java 開發者實現了 java 版本的 nginx https://github.com/houbb/nginx4j 如果你想知道 servlet 如何處理的,可以參考我的另一個項目: 手寫從零實現簡易版 tomcat minicat 手寫 ngin ...
  • 上一次的介紹,主要圍繞如何統一去捕獲異常,以及為每一種異常添加自己的Mapper實現,並且我們知道,當在ExceptionMapper中返回非200的Response,不支持application/json的響應類型,而是寫死的text/plain類型。 Filter為二方包異常手動捕獲 參考:ht ...
  • 大家好,我是R哥。 今天分享一個爽飛了的面試輔導 case: 這個杭州兄弟空窗期 1 個月+,面試了 6 家公司 0 Offer,不知道問題出在哪,難道是杭州的 IT 崩盤了麽? 報名面試輔導後,經過一個多月的輔導打磨,現在成功入職某上市公司,漲薪 30%+,955 工作制,不咋加班,還不捲。 其他 ...
  • 引入依賴 <!--Freemarker wls--> <dependency> <groupId>org.freemarker</groupId> <artifactId>freemarker</artifactId> <version>2.3.30</version> </dependency> ...
  • 你應如何運行程式 互動式命令模式 開始一個互動式會話 一般是在操作系統命令行下輸入python,且不帶任何參數 系統路徑 如果沒有設置系統的PATH環境變數來包括Python的安裝路徑,可能需要機器上Python可執行文件的完整路徑來代替python 運行的位置:代碼位置 不要輸入的內容:提示符和註 ...