組合語言子程式設計方法論：現場保護、參數傳遞、嵌套遞歸與文檔規範

子程式在組合語言中的核心地位

子程式 (Subroutine/Procedure) 是組合語言實現**模組化、複用、結構化**的基石。良好的子程式設計直接決定程式的可維護性、可讀性與執行效率。本文系統整理 8086/8088 組合語言子程式設計的四大核心議題：現場保護、參數傳遞、嵌套/遞歸調用、文檔規範。

一、現場保護

1.1 暫存器保護

• 原則：子程式使用前必須保存「調用者可見」的暫存器，返回前還原
• 最佳實踐：在子程式**入口** `PUSH` 需用暫存器，**出口** 逆序 `POP` 還原
• 8086 必保暫存器：`BP, SP, SI, DI, DS, ES, SS` (段暫存器)、`FLAGS` (若修改)
• 慣例：`AX, BX, CX, DX` 視為易失性，調用者若需保留須自行 `PUSH`

1.2 堆疊保護與 CALL/RET 屬性一致性

• NEAR CALL/RET：段內調用，僅壓入/彈出 `IP` (2 位元組)
• FAR CALL/RET：段間調用，壓入/彈出 `CS:IP` (4 位元組)
• MASM/TASM 機制：`PROC NEAR/FAR` 定義屬性 → `CALL`/`RET` 自動產生對應機器碼
• 嚴重錯誤：`NEAR PROC` 配 `FAR CALL` 或相反 → 堆疊失衡 → 系統崩潰
• 堆疊平衡鐵律：子程式內 `PUSH`/`POP` 次數**必須嚴格對等**，任何路徑 (含錯誤提前返回) 皆須平衡

二、參數傳遞三大模式

堆疊傳遞標準幀結構 (BP 基址)

MYPROC PROC FAR
  PUSH BP
  MOV  BP, SP           ; 建立幀指標
  ; [BP+6] = 返回位址 (FAR: CS:IP)
  ; [BP+4] = 參數1 (若先壓)
  ; [BP+2] = 參數2
  ...
  POP  BP
  RET  n                ; n = 參數總位元組數，自動清理堆疊
MYPROC ENDP

• RET n (立即數返回) 可一次彈出返回位址並調整 `SP` 跳過參數，極其高效
• C 慣例：調用者清理堆疊 → `RET` (無立即數)
• STDCALL/PASCAL：被調用者清理 → `RET n`

三、子程式嵌套與遞歸調用

嵌套調用

• 理論無層數限制，僅受堆疊空間限制 (實模式 64KB 堆疊段)
• 關鍵：每層嚴格保存/還原暫存器，避免跨層污染
• 建議：統一採用「入口全推、出口全彈」模板，消除人為遺漏

遞歸調用

• 必要條件：每次調用擁有**獨立**的參數、區域變數、暫存器現場
• 實現：所有狀態 (參數、暫存器、中間結果) 入堆疊 → 遞歸呼叫 → 出堆疊還原
• 範例：階乘

  FACTORIAL PROC NEAR
    ; 輸入: AX = n, 輸出: DX:AX = n!
    CMP AX, 1
    JBE BASE_CASE
    PUSH AX                ; 保存 n
    DEC AX
    CALL FACTORIAL         ; 遞歸 (n-1)!
    POP BX                 ; 取回 n
    MUL BX                 ; DX:AX = (n-1)! * n
    RET
  BASE_CASE:
    MOV DX, 0
    MOV AX, 1
    RET
  FACTORIAL ENDP

• 風險：堆疊溢位、效能指數級下降 (未尾遞歸優化前)

四、子程式文檔規範 (最小必要資訊集)

;=============================================================
; 子程式名稱 : FACTORIAL
; 功能描述   : 計算無號整數階乘 (n!)
; 輸入參數   : AX = n (0~12, 13! 溢位 32 位)
; 輸出參數   : DX:AX = n! (32 位結果)
; 破壞暫存器 : BX, CX, DX, FLAGS
; 使用堆疊   : 2 位元組/遞歸層 (保存 AX)
; 調用慣例   : NEAR CALL, 返回值在 DX:AX
; 範例       : MOV AX, 5 / CALL FACTORIAL  → DX:AX=120
; 修改日期   : 2024-01-15
; 作者       : Chen Wei
;=============================================================

進階建議：巨集化標準序言/結語

PROLOGUE MACRO REGS:VARARG
  PUSH BP
  MOV BP, SP
  FOR REG, 
    PUSH REG
  ENDM
ENDM

EPILOGUE MACRO REGS:VARARG
  FOR REG, 
    POP REG
  ENDM
  POP BP
  RET
ENDM

; 使用
MYPROC PROC NEAR
  PROLOGUE SI, DI, DS, ES
  ...
  EPILOGUE ES, DS, DI, SI
MYPROC ENDP

總結

組合語言子程式設計的核心在於**契約精神**：明確定義「輸入什麼、輸出什麼、破壞什麼、怎麼調用」，並以程式碼嚴格兌現。掌握現場保護、參數傳遞、嵌套遞歸、文檔規範四大支柱，即可編寫出工業級可維護的組合語言模組，為大型專案奠定堅實基礎。

1. 上一篇文章： Win32 組合語言進階：超類別化 實作唯讀十六進位編輯框與 Tab 切換
2. 下一篇文章： Win32 組合語言進階：子類別化 實作十六進位過濾編輯框與 Enter 觸發

組合語言

計算機系統原理（五）信息存儲、十六進制與強制類型轉換

引言 信息 = 位 + 上下文。計算機用位表示一切，三大數值

x86 組語實戰：從實模式切換到保護模式完整範例解析

本文深入剖析兩個經典的 x86 組語範例，詳細說明如何在 8

計算機系統原理（一）計算機系統概覽：硬件、軟件與信息表示

計算機組成 硬件 + 軟件 協作完成程序運行。 信息表示：位

簡明 x86 組合語言教程 (7)：編譯器優化深度解析與手工優化策略

前言：優化的藝術與科學 優化是程式設計師永恆的追求——渴望程