第 3 章告訴你 Namespace 是一棵掛滿物件的樹；本章回答下一個問題：這些物件到底 「是什麼」？ASL 沒有 、 這類型別宣告關鍵字——你宣告的是 物件，型別由初始值決定，而且執行期還會換。這種動態型別的世界觀，讓你在 C 語言養成的直覺一半有用、一半會害你。

更麻煩的是，型別錯誤常常要到執行期才爆炸：iasl 願意讓你把 String 存進 Integer，因為規格書定義了一整套「隱式轉換」規則，直譯器會默默照做。 規則沒背熟，Method 就會回傳「看起來像對、其實差很遠」的值—— 本章是整本書最值得反覆翻閱的基本功。

一切都是物件：型別總覽

在 ASL 裡，（object）是唯一的建材：整數是物件、字串是物件、 一個 Device 是物件、一段可執行的 Method 也是物件。物件可以匿名存在 （例如運算式中間的暫時值），也可以用 掛上名字、放進 Namespace。 型別大致分成三個家族：

資料物件是 Method 裡搬來搬去的「值」；物件參考是指向其他物件的「箭頭」； 命名空間物件則是掛在樹上的「結構」——它們描述硬體、提供行為，通常不會被 當成值來運算。各型別的寫法與用途整理如下：

Integer：64 位元的無號整數

ASL 的 Integer 沒有 ／ 之分，也沒有正負號與浮點數： 一律是無號整數，運算溢位時默默繞回（wrap around），不會有任何警告。 它的寬度由 的第三個參數 決定——就是本書每個範例開頭 裡的那個 ：

由於沒有負數字面值，想表達「\(-1\)」時韌體工程師寫的是 ； 想做減法防下溢，得自己先比大小（第 6 章實戰）。

String 與 Buffer

String 與 Buffer 都是「一串位元組」，初學者常混用，其實個性完全不同。 String 是給人看的：內容限可列印 ASCII 字元，結尾隱含一個 null（）； Buffer 是給機器看的：任意位元組都能放，長度明確宣告或由初始值推得。

的括號內是「宣告長度」：初始值不足時自動補零 （），完全省略初始值就是全零緩衝區（）； 省略長度時由初始值個數決定（）。兩者的差異整理如下：

一個好記的判斷法：資料若要跟硬體或二進位協定打交道，用 Buffer； 若要給人（或 OS 的字串比對）讀，用 String。

Package：異質、可巢狀的容器

是 ASL 唯一的複合容器：元素可以是任何資料物件， 甚至是另一個 Package，型別不必一致。它是 ACPI「用資料表描述硬體」 哲學的主要載體：中斷繞線表 、處理器效能狀態表 、 裝置屬性表 ，回傳的全是層層巢狀的 Package。

Package 可以具名（掛在 底下常駐）、也可以匿名 （直接寫在 裡，用完即丟）。單一 Package 上限 255 個 元素；超過時 iasl 自動改用 VarPackage 位元組碼，語法不變。

Object Reference 與 Field Unit

是 ASL 的指標。三個運算子會產生它： 指向具名物件；——ASL 2.0 糖衣寫法 ——指向 Package、Buffer 或 String 的第 個元素； 在物件可能不存在時安全試探。 反向操作只有一個： 把箭頭變回值。

最後一行示範了 reference 當「寫入目標」的行為：透過 參考寫入，改的是容器裡的那個元素。這也是修改 Package 內容的標準做法。

則是 ASL 最獨特的型別：它看起來像變數，背後卻是 硬體暫存器的代理人（proxy）。它在 區塊中 宣告（第 9 章詳解）；例如把 EC 上的電池溫度暫存器宣告成 8 位元的 之後，Method 裡一句 ，直譯器就會 真的去 EC 讀回即時內容——語法上與讀一般變數毫無差別， 這正是 ASL 好寫、也好踩雷的原因。

執行期想知道手上物件是什麼型別，用 ；它對 reference 會自動解參考、回傳目標物件的型別代碼：

搭配的 回傳「大小」：String 的字元數（不含 null）、 Buffer 的位元組數、Package 的元素個數——第 7 章走訪 Package 就靠它決定終點。

Implicit Conversion：直譯器的自動轉換

當運算子拿到「型別不對」的運算元，直譯器不會報錯，而是依規格書的 轉換表現場變出一個對的型別，這叫 （implicit conversion）。它發生在三種場合：

• 運算元轉換：運算子要 Integer 你給了 String，先轉 再算；雙運算元運算子（、比較）以 第一個運算元的型別為準，把第二個轉過去。

• Store 目標轉換：目標是已存在的具名資料物件時， 來源被轉成目標的既有型別。

• Field 寫入轉換：寫 Field Unit／Buffer Field 時 轉成 Integer 或 Buffer，超出欄寬的位元直接捨棄。

Store 的目標不同，行為差很大，這張小表值得背下來：

三種資料型別之間的轉換規則如下（以 64 位元 Integer 為例）：

Explicit Conversion：把轉換寫清楚

隱式轉換是「直譯器幫你猜」；好的 ASL 應該用顯式運算子把意圖寫死。 常用的一組如下：

是隱式與顯式的交會點：它自己是顯式串接， 第二個運算元卻走隱式轉換——把 Integer 接在提示字串後面， 會自動變成 16 字元的十六進位文字（上一節表格的規則）， 這是韌體工程師組除錯訊息的日常招式。

完整範例：型別實驗室

把本章所有觀念裝進一個可編譯、可執行的 SSDT。先看程式：

逐行拆解重點：

• 開頭四個 宣告四種資料物件； 故意選 四個字母的 ASCII 碼，讓 有戲唱。

• 與 殊途同歸都是 42——一個走十六進位、一個走十進位， 印證顯式轉換「看前綴」的規則。

• 與 對同一個 給出完全不同的字串：前者是位元組的十六進位報表， 後者把位元組當字元讀。

• ：目標是具名 Integer，String 走隱式 十六進位轉換， 變成 ——型別不變、 值變了；對照 把 Integer 隱式轉成 16 字元十六進位文字， 以及 Store 進 Local 完全不轉換。

用 iasl 編譯後，以使用者空間直譯器 acpiexec 執行（第 21 章詳解）， 每一步轉換的實際結果一覽無遺：

Variables & Constants

型別解決了「資料長什麼樣」，本章解決「資料放在哪裡」。ASL 給你三種容器： 用 建立、常駐 Namespace 的具名物件；隨 Method 呼叫而生滅的 到 ；以及呼叫者塞進來的 到 。它們大致對應 C 語言的全域變數、區域變數與函式參數， 但生命週期與重入行為藏著幾個 ASL 特有的地雷。

本章同時把「資料怎麼進出容器」講完： 與 ASL 2.0 的 完全等價， 把值送回呼叫者，再加上 、 、 這批內建常數。學完本章，你就具備讀寫完整 Method 的最小裝備。

資料的三個家：Name、Local、Arg

先看全貌，再逐一深入：

選擇的原則很單純：值要活過一次呼叫、或要給別的 Method 看，用 Name； 只在這次呼叫裡打轉的中間值，用 Local；呼叫者決定的輸入，自然是 Arg。

Name：常駐 Namespace 的具名物件

做兩件事：建立一個值為 100 的 Integer 物件， 並在「目前 scope」掛上 這個名字。寫在 或 底下時，物件在表載入時就建立， 之後任何 Method 都能依第 3 章的名稱搜尋規則找到它——它就是 ASL 的 全域變數，開機後一直活著，直到表被卸載。

真正的地雷在「把 寫進 Method 裡」。此時物件改為 執行到那一行才建立、Method 結束時移除，看起來像區域變數， 其實名字仍然掛在共享的 Namespace 上：

Local0–Local7：方法內的暫存空間

每次 Method 被呼叫，直譯器就發給這次執行八個全新的暫存槽 到 。它們是每次呼叫獨立的一組， 所以天生執行緒安全、遞迴安全，不會有上面 的重入問題。

兩條規則要記牢。第一，Local 沒有宣告型別，第一次 Store 什麼型別 就是什麼型別，之後還能換——它是純粹的「物件掛勾」，Store 進去 不做任何隱式轉換（對照 4.6 節）。第二，Local 出生時是 Uninitialized 狀態，初始化前就拿去讀是致命錯誤：直譯器 回報 ，Method 直接中止。 C 語言讀未初始化變數頂多拿到垃圾值，ASL 直接翻桌，這反而是好事—— 錯誤藏不住。

Arg0–Arg6：呼叫者給的輸入

的第二個參數宣告「我收三個引數」， Method 本體用 、、 取用，上限七個。 呼叫端寫 ，個數對不上時 iasl 在編譯期就會抓到 表內的呼叫錯誤；OS 驅動程式從外部呼叫時給錯個數，則是執行期錯誤。

Store、指定運算子與 Return

資料進容器只有一個動詞。ACPI 6.0 世代之前寫 ； ASL 2.0 引入 C 風格的 。兩者編譯出一模一樣 的 AML 位元組碼（StoreOp），純粹是原始碼層的糖衣：

注意方向： 是「來源在前」， 是「目標在前」。 反組譯舊機器的 DSDT、翻 BIOS 原始碼樹時滿眼都是 ， 新程式碼則建議一律用 ——兩種都要能秒讀（第 6 章會把這個 對照擴大到所有運算子）。

結束 Method 並把 複製一份給呼叫者； 沒有值可回就寫 或讓 Method 自然結束。 規格書說沒執行到 的 Method 回傳值未定義；ACPICA 為了相容老 Windows AML 有「隱式回傳最後運算結果」的怪癖， 但那是相容性特技，永遠明確寫 Return。

常數與數字字面值

ASL 內建四個常數物件，各自有專屬的 AML opcode（比一般整數字面值 省空間，編譯器會自動幫你選）：

• 、：就是 0 與 1，常見於舊程式碼與 反組譯輸出。

• ：所有位元為 1。64 位元下是 ，32 位元下是 （回想第 4 章的 ComplianceRevision 坑）。慣用作 「錯誤」「無效」「全選遮罩」的記號。

• ：直譯器實作的 AML 版本號，極少用到。

數字字面值支援三種進位。十進位直接寫（）、十六進位加 （）——以及一個容易忘記的老朋友：

常數物件是唯讀的：把 或字面值放在 Store 的目標端 不會有意義，編譯器會直接指出錯誤。

生命週期：一次呼叫的一生

把前面幾節串成時間軸——以下一節的課綱範例 為例， 一次呼叫從生到死長這樣：

對照之下，掛在 Method 之外的 物件完全不參與這個循環： 它們在表載入時出生，一直活到表卸載，是跨呼叫、跨 Method 共享的狀態。

課綱範例逐行拆解

把課綱指定的範例包進完整的 DefinitionBlock，先編譯起來再說：

逐行拆解：

• ：表載入時建立具名 Integer，值 100 （十進位字面值，等於 ）。它掛在根 scope， 與 無關，但任何 Method 都能讀寫它—— 故意放在這裡對照兩種生命週期。

• ：宣告零參數 Method。沒寫 Serialized／NotSerialized 時預設 NotSerialized； 因為本體只用 Local，不碰 ，重入也安全。

• 與 ：第一次 Store 同時完成「初始化」與「定型別」，兩個 Local 現在都是 Integer。

• ：右邊的加法產生匿名的 30，Store 進 。三個 Local 都只活在這次呼叫。

• ：把 30 複製給呼叫者；隨後框架銷毀， 到 蒸發， 依然是 100。

同一個 Method 的 legacy 寫法如下——AML 完全相同，只是外衣不同， 拿去反組譯老 DSDT 時你會天天看到這種臉：

Operators

名詞（型別）與容器（變數）都有了，本章補上動詞。ASL 的運算子家族 歷史上有兩套外衣：從 ACPI 1.0 用到今天的 legacy 函式式寫法 （），以及 ACPI 6.0 世代（2015 年前後）隨 ACPICA 引入的 （又稱 ASL+）符號式寫法（）。 兩套語法編譯成完全相同的 AML，純粹是給人看的差別。

為什麼兩種都要學？因為你的日常工作是「讀舊碼、寫新碼」： OEM 與 BIOS 原始碼樹（AMI、Insyde、coreboot）裡的 DSDT 大量是 legacy 風格，舊版 iasl 反組譯的輸出也是；而新版 iasl 反組譯預設 輸出 ASL 2.0 風格，新專案也該這樣寫。只會一種，等於半文盲。

一種位元組碼，兩種外衣

先建立一個關鍵事實：兩種寫法餵給 iasl，產出的 AML 一個位元組都不差。 以加法為例， 的編碼是 ，後面跟著兩個運算元 與一個目標的 NameString：

所以「該用哪種」不是技術問題，是溝通問題：跟著你所在程式碼庫的 既有風格走，反組譯輸出拿到什麼就要能讀什麼。

運算子速查總表

這張表是本章的地圖，之後各節逐一展開。建議影印貼在螢幕旁， 直到兩種寫法都變成反射動作：

補充兩個沒有進表的實用位元運算子： 與 分別回傳最高、最低設定位元的位置 （1 起算，全零回傳 0），掃描狀態暫存器時偶爾派得上用場。

算術運算子與 target 參數

legacy 運算子的最後一個參數叫 ：運算結果除了作為 運算式的值傳出去，還會順手存一份到 target。target 可以省略， 所以老程式碼有兩種等價的臉：

第二種「巢狀」寫法在反組譯輸出很常見：運算子本身是運算式， 可以層層套疊。ASL 2.0 的中置寫法把這些巢狀攤平，可讀性高得多。

是唯一有兩個 target 的運算子，也是經典 陷阱製造機：

所有算術都是無號 64 位元（或 32 位元，看 ComplianceRevision） 的模運算： 會繞回 ，乘法溢位高位默默丟掉， 沒有任何旗標或例外。需要「偵測下溢」時，先比較再相減。

位元運算子

韌體工程師跟位元的關係，比跟十進位親密得多——暫存器裡每個位元 都有自己的名字與脾氣。ASL 的位元運算子與 C 一一對應： 、、（XOR）、 （反相）、、。

四個日常招式，先用片段熱身，下一節的完整範例會組合技：

第四招是重點：想取出暫存器中間的欄位，先右移到最低位、 再用遮罩切掉高位。反過來組欄位就是先遮罩、再左移、最後 OR 起來。 這一套「移位＋遮罩」的手感，練到不用想才算過關。

邏輯與比較運算子

邏輯家族的名字都以 L 開頭（Logical）：、、 、……ASL 2.0 對應 、、 、 等符號。它們的回傳值不是 1 與 0，而是 與 ：

比較運算子不只吃 Integer：兩個 String 或兩個 Buffer 也能比 （逐位元組），而且第一運算元的型別決定第二運算元要被隱式轉換成 什麼——又回到第 4 章的規則表。

複合指定、遞增與遞減

ASL 2.0 把 C 的複合指定也搬了過來：、、、 、、、、、、 ，以及 與 。 它們全是糖衣： 展開成 ， 就是 ：

在迴圈計數器與「讀—改—寫」暫存器操作裡，這些糖衣能把三行縮成一行， 下一節與第 7 章都會大量使用。

實戰：暫存器欄位的讀改寫

情境：某裝置有一個狀態暫存器 STAT 與一個控制暫存器 CTRL （本章先用 模擬，第 9 章換成真正的 Field Unit， 程式邏輯一行都不用改）。STAT 的位元配置如下：

完整程式：

逐行拆解：

• ： 把 FANS 欄位移到最低三位 （），再 切掉上面殘留的 PWR 位元， 得到 。「先移位、再遮罩」順序對調也行 （），選一種風格貫徹到底。

• ：教科書級的 （read-modify-write）。直接 是錯的—— 會把其他位元全部歸零；先讀出、只改目標位元、再寫回， 才不會誤傷鄰居。

• ：與 逐行對應的 legacy 版。 拿反組譯輸出對照著讀，兩種外衣的對應關係就內化了。

• ：清位元的慣用式「AND 上反相遮罩」。 是編譯期常數摺疊， iasl 會直接算好塞進 AML。

• ：低位元組 OR 上左移八位的高位元組， 組出 16 位元值——讀感測器常見的「兩個 8-bit 暫存器 拼一個讀數」場景。防禦性的 確保呼叫者 傳超過一個位元組寬的值時不會污染結果。

Control Flow

資料、容器、運算子都備齊了，最後一塊拼圖是「句型」。ASL 的流程控制 刻意極簡：條件分支只有 ／／， 迴圈只有 ，加上 、、 三個跳躍——沒有 、沒有 、 沒有 。這不是偷懶，而是 AML 位元組碼本來就只定義了 這幾個控制 opcode（第 2 章的精神：ASL 的每個句型都對得上 AML）。

工具少不代表能力弱：本章示範用 While 搭出 for 慣用式、走訪 Package、拆穿 Switch 語法糖的真面目，比較 Sleep 與 Stall 兩種等待， 最後用一個輪詢範例把整個 Module 3 的武器全部用上。

If、ElseIf 與 Else

直接看課綱指定的範例——一個門檻判斷器：

逐行拆解：

• ：收一個引數。條件式 是 ASL 2.0 寫法，legacy 等價於 ——反組譯舊表時常見。

• ：條件為真走這塊。注意 ASL 的 If 條件一定要括號，大括號就算只有一行也不能省。

• 兩個分支都以 收尾，Method 不會「掉出去」； 拿掉 的話， 時走完沒有 Return，回傳值未定義。

多路分支用 串接。它其實是 的糖衣（AML 只有 IfOp 與 ElseOp 兩個 opcode），語意與 C 相同—— 由上而下，第一個成立的分支勝出：

條件式的真假值

規則只有一條：條件運算式最後會被當成 Integer 看， 非零即真、零即假。配合第 6 章的知識，就能解讀所有慣用形：

• ：比較運算子回傳 （真） 或 （假），直接可用。

• ：位元測試慣用式——遮罩後非零 代表該位元為 1，不必再寫 。

• 千萬別寫 ——回去複習第 6 章的 warnbox，這裡再踩一次就說不過去了。

While、Break 與 Continue

是 ASL 唯一的迴圈。三個角色的關係 一張圖講完：

沒有 for，但「初始化—測試—更新」三件套用 While 一樣寫得出來， 這是 ASL 最重要的迴圈慣用式：

只跳出最內層迴圈； 跳回條件 判斷。用 Continue 時要特別小心計數器的位置：

實戰：走訪 Package

第 4 章說過 Package 元素要用 reference 取值，第 5 章給了 SizeOf， 現在全部串起來。情境：風扇控制表 存放遞增的溫度 觸發點，給定溫度，找出對應的風扇檔位：

逐行拆解：

• 回傳元素個數 5，迴圈條件因此不必 寫死長度——之後往 加觸發點， 一行都不用改。

• ：Index 產生 reference、 DerefOf 取值，一氣呵成。忘了 DerefOf 的話，比較運算子 拿到的是 reference，行為不是你要的。

• 在第一個「高於目前溫度」的觸發點停下， 此時 恰好是跨過的觸發點數，直接當檔位用： 回傳 0、 回傳 2、 掃完全表回傳 5。

• 邊界行為：溫度剛好等於觸發點時（ 不成立） 視為升檔；想改成「等於不升檔」，換 即可。

Switch、Case 與 Default

多路等值分支寫成 ElseIf 階梯很囉唆，ASL 從 ACPI 2.0 起提供 。它常見於 這類「依功能編號分派」的 Method：

三個語法重點： 運算元慣例上包一層 確保與 值型別一致； 一次匹配多個值；沒有 C 的 fall-through，每個 Case 執行完自動結束， 不需要（也沒有） 敘述。

但 Switch 其實是：AML 根本沒有 SwitchOp。 iasl 把它展開成「只跑一圈的 While」加上一個隱藏的暫存物件：

看到 想起什麼了嗎？第 5 章的地雷—— 在 Method 內動態建立具名物件。這就是含 Switch 的 Method 必須 的原因：寫成 NotSerialized 時，iasl 會給 Remark「Control Method marked Serialized」並自作主張幫你改掉。

Sleep 與 Stall：兩種等待

硬體常常要人等：EC 需要幾毫秒回應、電源軌拉起要時間。 ASL 提供兩個等待原語，個性南轅北轍：

順帶認識 ：回傳單調遞增的 100 奈秒刻度計數， 量測實際等待時間時可當碼表用（Module 7 的電源時序除錯會再遇到）。

綜合範例：輪詢一個裝置

期末考：把 Module 3 的所有武器裝進一個 Method。情境是韌體日常—— 向裝置要資料前，得先等它的 READY 位元亮起，而且不能無限等：

逐行拆解：

• 是重試預算：搭配每輪 ，總逾時約 100 毫秒。輪詢迴圈的三要素 ——條件、讓出 CPU、遞減預算——一個都不能少， 少一個就是潛在死迴圈。

• ：位元測試慣用式當迴圈出口； 就緒後 剝掉同位位元，只留有效資料。 成功路徑從迴圈中間直接 —— ASL 允許隨處返回，比設旗標再 Break 乾淨。

• ：用第 5 章的慣用常數當逾時記號， 呼叫者拿到 就知道別把它當資料用。

• 自己驗證兩條路徑：本例 ，acpiexec 執行 立即回傳 ；把 改成 （READY 熄滅）再跑，約 100 毫秒後 回傳 。

讀完 Module 3，你已經握有 ASL 的全部「語言核心」：型別、變數、 運算子、流程控制。從 Module 4 起，戰場轉向真正的硬體—— 用 Device 描述裝置、用 OperationRegion 與 Field 接管暫存器， 到時你會發現本模組的每一個慣用式都在現場等你。