Java語言中1.方法呼叫棧 2.棧幀 3.區域性變數表 4.運算元棧 5.動態連結 6.方法的入參儲存在哪裡，生命週期是怎樣的 7.區域性變數儲存在哪裡，生命週期是怎樣的 8.返回值儲存在哪裡，生命週期是怎樣的

gongchengship發表於2024-10-13
Java變數

在 Java 語言中，理解方法呼叫棧、棧幀、區域性變數表、運算元棧等概念非常重要，它們與方法的執行和記憶體管理密切相關。下面是對這些概念的詳細解釋及它們之間的關係：

1. 方法呼叫棧（Method Call Stack）

方法呼叫棧是每個執行緒維護的一塊記憶體區域，用於儲存執行緒執行時的 棧幀（每個棧幀對應一次方法呼叫）。每個執行緒有自己的呼叫棧，多個執行緒之間的呼叫棧是互相獨立的。

  • 作用：

    • 方法呼叫棧用於追蹤方法呼叫鏈，當一個方法被呼叫時，Java 虛擬機器（JVM）會在呼叫棧中為該方法建立一個棧幀。
    • 當方法執行完成時，棧幀從呼叫棧中彈出，控制權返回給呼叫該方法的地方。

  • 特點：

    • 呼叫棧是 執行緒私有 的，JVM 為每個執行緒分配一個呼叫棧。
    • 方法呼叫棧的順序是 後進先出（LIFO）。

2. 棧幀（Stack Frame）

每當一個方法被呼叫時，JVM 會為這個方法分配一個棧幀，棧幀儲存了該方法的執行狀態和必要的執行時資訊。棧幀包含 區域性變數表、運算元棧、動態連結資訊 等。

  • 組成部分：

    1. 區域性變數表（Local Variable Table）：儲存該方法的區域性變數和方法的入參。
    2. 運算元棧（Operand Stack）：執行位元組碼指令時用於儲存中間計算結果或運算元。
    3. 動態連結（Dynamic Linking）：儲存了指向執行時常量池的引用，用於支援方法呼叫時的動態連結。
    4. 返回地址：當方法返回時，知道將控制權返回給哪個方法呼叫點。

  • 棧幀與方法呼叫棧的關係：

    • 每個方法呼叫都會對應一個棧幀，並且在呼叫棧中維護。
    • 當前正在執行的方法的棧幀位於棧頂，方法返回時該棧幀從呼叫棧彈出。

3. 區域性變數表（Local Variable Table）

區域性變數表是棧幀的一部分，用於儲存方法的區域性變數和方法的入參（包括 this 引用）。區域性變數表以陣列的形式存在，每個陣列槽可以儲存基本資料型別（如 int、float）或物件引用。

  • 作用：

    • 儲存方法的引數和區域性變數，每個槽可以儲存 32 位資料（如 int、float），64 位資料型別（如 long、double）則佔用兩個槽。
    • 物件型別的引用也儲存在區域性變數表中，但物件本身在堆上儲存。

  • 生命週期：

    • 區域性變數表的生命週期與方法相同，當方法執行完畢，棧幀從呼叫棧中彈出，區域性變數表也隨之銷燬。

4. 運算元棧（Operand Stack）

運算元棧是棧幀中的另一個重要部分，用於執行位元組碼指令時儲存運算元和中間計算結果。運算元棧的大小是編譯期確定的，指令在執行時從棧中獲取資料，並將結果重新推回運算元棧。

  • 作用：

    • 每個操作指令會從運算元棧中彈出一個或多個值，進行運算後再將結果壓入運算元棧。
    • 用於實現 Java 位元組碼中的各種計算和方法呼叫。

  • 生命週期：

    • 運算元棧隨著棧幀的建立而建立，方法執行結束時運算元棧銷燬。

5. 動態連結（Dynamic Linking）

動態連結是棧幀中的一部分，指向當前方法所屬類的 執行時常量池，並用於方法呼叫的解析。在 Java 中，方法呼叫（尤其是虛方法）會在執行時進行解析，稱為 動態連結。

  • 作用：

    • 支援方法呼叫的動態解析，如虛方法呼叫、介面呼叫等。
    • 動態連結允許 Java 支援多型特性，根據物件的實際型別呼叫對應的方法實現。

  • 與其他概念的關係：

    • 動態連結的資訊儲存在棧幀中，指向常量池中的符號引用。

6. 方法的入參儲存在哪裡，生命週期是怎樣的？

  • 儲存位置：方法的入參儲存在該方法棧幀中的 區域性變數表 內。如果方法是例項方法（非靜態），this 引用作為第一個入參儲存在區域性變數表的第一個槽位中，後續引數依次儲存在區域性變數表中。

  • 生命週期：方法的入參生命週期與該方法的棧幀相同。入參隨著方法呼叫時棧幀的建立而分配，當方法執行結束，棧幀從呼叫棧中彈出，入參也隨之銷燬。

7. 區域性變數儲存在哪裡，生命週期是怎樣的？

  • 儲存位置：區域性變數（包括方法的區域性變數和塊級作用域的變數）儲存在 區域性變數表 中，與方法的引數儲存在同一個區域。區域性變數表是每個棧幀的一部分。

  • 生命週期：區域性變數的生命週期與方法相同。當方法開始執行時，區域性變數表被建立，區域性變數隨之分配。當方法執行結束，棧幀從呼叫棧彈出，區域性變數表銷燬，區域性變數也隨之銷燬。

8. 方法返回值的儲存位置和生命週期？

在 Java 中，方法的返回值經歷了多個階段的儲存與傳遞，其儲存位置和生命週期取決於方法呼叫的具體時機和執行流程。讓我們從方法返回值的 儲存位置、生命週期 兩個方面詳細探討。

8.1. 方法返回值的儲存位置

方法返回值的儲存位置主要與 呼叫者棧幀 和 運算元棧 相關。具體的儲存位置可以分為以下幾個步驟：

a. 被呼叫方法棧幀中的運算元棧

  • 當一個方法執行並準備返回值時，返回值會首先儲存在 被呼叫方法的運算元棧（Operand Stack） 中。在 JVM 位元組碼中，return 指令會將返回值推到運算元棧中。
  • 運算元棧是每個棧幀的一部分，用於儲存計算結果和方法的返回值。在方法執行過程中，運算元棧負責傳遞計算中間值；而當方法完成時，返回值位於運算元棧頂。

b. 呼叫方的棧幀中的運算元棧

  • 當被呼叫方法返回值後，該返回值會從 被呼叫方法的運算元棧 中彈出，並傳遞給呼叫方法。這個返回值接著被壓入 呼叫方棧幀的運算元棧 中。呼叫方法可以從運算元棧頂獲取該返回值。
  • 如果返回值需要進一步使用，比如賦值給變數或作為其他方法的引數，那麼它可能會從運算元棧中彈出，儲存到 區域性變數表 中（例如被賦值給一個區域性變數），或傳遞給下一個方法呼叫。

8.2. 方法返回值的生命週期

方法返回值的生命週期由 方法呼叫鏈 決定，具體過程如下：

a. 返回值的建立（被呼叫方法內部）

  • 方法返回值的生命週期從 被呼叫方法內建立返回值 開始。返回值可以是一個常量、表示式計算的結果，或是物件的引用。
  • 對於基本型別，返回值直接在棧幀的運算元棧中儲存；對於物件型別，返回值的 引用 儲存在運算元棧中，而物件本身位於堆（heap）中。

b. 被呼叫方法返回時

  • 當被呼叫方法執行完成，JVM 會透過 ireturn（整型返回）、freturn（浮點型返回）、areturn（物件返回）等位元組碼指令將返回值儲存在其棧幀的運算元棧頂。
  • 然後，該棧幀從方法呼叫棧中 彈出，返回值被傳遞給 呼叫方的棧幀。

c. 呼叫方獲取返回值

  • 返回值從被呼叫方法傳遞給呼叫方後，儲存在呼叫方棧幀的運算元棧中。
  • 返回值的後續處理：
    1. 返回值可以被呼叫方的某個區域性變數接收並儲存在 區域性變數表 中。例如：
      int result = someMethod();
      此時，返回值 result 會從運算元棧中彈出，儲存到區域性變數表中的一個槽位。
    2. 如果返回值需要立即用於計算或傳遞給其他方法，則返回值會直接被消費，而不會儲存在區域性變數表中。例如：
      System.out.println(someMethod());
      此時返回值直接用於 println 方法的呼叫，而不會有額外的區域性變數接收它。

d. 返回值的銷燬

  • 返回值的生命週期結束與 呼叫鏈 的完成相關。對於基本資料型別（如 int、float），返回值在運算元棧中或者區域性變數表中的資料會在棧幀被彈出時自動銷燬，記憶體被回收。
  • 對於物件型別，返回值儲存的只是物件的 引用，當沒有任何物件引用時（包括方法返回值和其他區域性變數對該物件的引用都被清除），物件本身會被標記為垃圾，最終由 垃圾回收器（Garbage Collector） 回收。

8.3. 返回值的具體儲存過程示例

假設我們有如下的程式碼示例：

public class Example {
    public static void main(String[] args) {
        int result = add(5, 3);  // 呼叫 add 方法並接收返回值
        System.out.println(result);  // 列印返回值
    }

    public static int add(int a, int b) {
        return a + b;  // 返回兩個數的和
    }
}

這個過程可以總結為：

  1. add(5, 3) 方法的執行：

    • 棧幀為 add 方法分配，區域性變數 a 和 b 被儲存在區域性變數表中。
    • a + b 的結果在運算元棧中生成。
    • ireturn 指令將返回值（8）壓入運算元棧頂。

  2. 返回到 main 方法：

    • add 方法的棧幀被彈出，8 被傳遞到 main 方法的運算元棧頂。
    • result = add(5, 3) 將返回值 8 儲存到 main 方法的區域性變數表中（即 result 變數）。

  3. 列印返回值：

    • System.out.println(result) 使用區域性變數表中的 result，並將其值壓入運算元棧傳遞給 println 方法。

  4. 方法結束與棧幀銷燬：

    • main 方法執行完畢，main 方法的棧幀彈出，區域性變數表中的 result 被銷燬。

8.4. 返回值儲存的特殊情況

  • void 方法：如果方法沒有返回值（即返回型別為 void），則在方法結束時不會有返回值儲存在運算元棧中。return 只是簡單地將控制權返回給呼叫方法。

  • 異常情況：如果方法在執行過程中丟擲異常，則方法可能沒有正常返回值。在這種情況下，JVM 會跳過返回值儲存的過程，直接將異常傳遞給呼叫方。

也就是說對於方法的返回值而言：

  • 方法的返回值最初儲存在 被呼叫方法的運算元棧 中，返回給呼叫方後，儲存在呼叫方 運算元棧 中。
  • 如果呼叫方對返回值進行了接收或後續操作，返回值可能會儲存在 區域性變數表 中。
  • 返回值的生命週期與方法的執行週期一致，隨著方法棧幀的彈出和呼叫棧的回退而結束。對於物件型別，返回值的物件引用會儲存在棧中，而物件本身位於堆上，其生命週期由垃圾回收器控制。

概念之間的關係

這些概念密切相關，共同構成了 Java 程式的 方法呼叫和執行模型：

  1. 方法呼叫棧：每個執行緒都有自己的呼叫棧，儲存方法的執行狀態。
  2. 棧幀：方法呼叫時，呼叫棧為每個方法分配一個棧幀，棧幀用於儲存該方法的區域性變數、運算元和動態連結等資訊。
  3. 區域性變數表：儲存方法的入參和區域性變數，是棧幀中的一部分。
  4. 運算元棧：用於位元組碼指令的運算元和中間結果儲存，同樣是棧幀的一部分。
  5. 動態連結：棧幀中的動態連結用於方法的符號引用解析，支援多型和動態方法呼叫。
  6. 方法的入參、區域性變數、返回值 都儲存在棧幀中的區域性變數表或運算元棧中，生命週期由棧幀決定，當棧幀彈出時，這些資料也隨之銷燬。

這些概念共同作用，確保了方法的呼叫、引數傳遞、區域性變數儲存、返回值處理以及動態連結機制在 Java 程式中的正常工作。

相關文章