susanntrnxv3@outlook.com

哥德文翻譯

申明:

呼叫前履行設定

執行前由 "可載入履行檔 ELF" (或二進位影象 binary image) 拷貝至正確之 .data 區段位址內

• 一共有 4 個 Storage Classes:
  • 自動變數: automatic
  • 外部變數: external
  • 靜態變數: static
  • 暫存器變數: register
• C 的變數大致分為二類: 外部變數 (external, 也可以稱為全域變數) 及主動變數 (automatic, 或者是區域變數). 二者區分是以變數界說呈現在 .c 檔中的位置來區別: 由於 C 語言限制了函數區塊中不行以再定義函數, (C++ 也不支援翻譯社 這點和 Javascript 是分歧的), 所以函數區塊內的就是主動變數, 函數區塊外的就是外部變數. 這二種變數界說時都不需加 keyword 修飾 (實際上翻譯社 外部變數沒有潤色字; 主動變數的潤飾字是 auto翻譯社 但一般都省略)
• 外部變數不一定要呈現在 .c 檔中的最前面, 可以安插在二個函數區塊的中央, 受影響的是該變數的 scope: 變數泛起之前的函數無法利用該變數
• 靜態變數是外部變數或自動變數在定義時多加上 keyword static, 首要改變二件事: 改變變數利用的記憶體區段, 及縮小可視範圍 (scope)
  • 對自動變數來說: 改用外部變數利用的區域為 .bss₆ 或是 .data₆, 所以可以沒必要每次重設初值翻譯社 上一次的值可以被保留下來.
  • 對外部變數來講: 可視局限縮小到只在檔案內, 並且無法被外部檔案設 extern 來參考 (算是某種水平上的 private)
  附帶一提: static 也能夠加在函數定義的前面翻譯社 也是暗示這個函數是內部函數翻譯社 可視規模縮小到只在檔案內, 並且沒法被外部檔案設 extern 來參考.
• Keyword register 則是要求改用 CPU 內部的暫存器來寄存變數值, 而大部份 CPU 內部的暫存器都不多並且數目也分歧, 所以只能加在自動變數前面. 並且不包管殺青, 無法告竣時就降級釀成主動變數.
• 函數的參數則是一種特化的自動變數, 通常爲預設利用 register 變數, 然則會根據 CPU 種類分歧而有些變化. 例如:
  • ARM CPU 的官方規範是函數的前 4 個參數會使用 r0~r3 來實作翻譯社 超過 4 個參數的部分則利用 stack.
  • 但 intel x86 CPU 則只有利用 register A. 其他無法利用利用 register 變數的參數都要利用 stack₆ (參考 Wiki X86 calling conventions)
  • Keil C51 則預設不用 stack翻譯社 改用主動變數, 具體請參考這一篇C 說話:Keil C51 和標準 C 語言的差別
• 別的 C 還有二個變數的限制詞 (qualifier), const 和 volatile
• const 是限定該變數不能被點竄 (今朝大部份 C 編譯器 (例如:gcc翻譯社 ARM/MDK) 會使用 .text₆ 區段翻譯社 這個區段可以在 link 時指定到 ROM/Flash 記憶體上. 但是 Keil C51 不會, Keil C51 要用 const code 才會是用 ROM, 只用 const 仍是會佔用 DATA RAM)
• volatile 是限制弗成以被快取到 CPU 內部的暫存器, 必需每次存取都真實的讀/寫該變數所佔用的位址 (意即:指定該變數的存取動作不作最好化). 它常常泛起在定義週邊晶片的暫存器, 特別是週邊晶片的輸入暫存器部分一定要加 volatile 不然編譯出來的履行碼沒法准確反映週邊晶片的現況. 還有多工環境中作為 semaphore 的變數也會要加上 volatile 這個 keyword.

C 說話的變數有所謂的 storage class翻譯社 初學時對傍邊的差別並不是很容易弄清晰, 後來華頓翻譯公司把各類條件稍作清算, 於是有了下面的表格:

1. 定義會保留記憶體, 宣佈則不會. 對變數來講除 extern 是宣告以外, 其他的都是界說.
2. 可視局限: 是指在程式的那一個段落可以使用該變數. 主動變數 (利用 stack 堆疊區) 在脫離定義他的 {} 區塊後就有可能被他人佔用, 所以可視局限同生命期. 外部變數一脫離界說的檔案就不行視, 但可以使用 extern 宣告來重新獲得. (現實上, 幫我們完成這件事的是 linker). 但靜態變數則限制弗成以被 extern 的宣告獲得可視性. (compiler 的語法查抄阻撓了我們取得其可視性)
3. 生命期: 是指變數佔用記憶體的時候翻譯社 只有主動變數 (利用 stack 堆疊區) 可以重覆使用記憶體空間翻譯社 其他都是永遠佔據 (embebbed system) 或載入履行時佔用.
4. 指未使用 va_arg (變動個數參數)的環境. 若利用 va_arg, 需運用一些技巧檢查參數個數, 不然會産生利用錯誤的參數, 或激發程式當掉.
5. 初值設定指的在界說變數時, 跟隨在厥後的等號 (=) 及厥後的運算式
6. .text, .bss翻譯社 .data 是一般編譯器之預設記憶體區段名稱, linker (或者是 loader) 會放置現實的記憶體位址給各個區段.

• .text 為唯讀區段翻譯社 放置程式及常數資料 (小型 embedded system 會將之安裝於 ROM/Flash 中)
• .data 為可讀寫區段翻譯社 放置初值不為 0 的變數 (利用 ROM/Flash 時會先附在 .text 以後). 在 main() 開始執行前, 由 "可載入執行檔 ELF" (或二進位影象 binary image) 拷貝至准確之 .data 區段位址內, 是故外部變數或靜態變數的初始值只能用常數運算式
• .bss 為可讀寫區段, 放置初值為 0 的變數. 在 main() 入手下手履行前翻譯社 .bss 區段會被清為 0
• stack 為堆疊區 (大陸用語: 棧) 通常爲呼喚函數時的功課區 (返回位址暫存, 傳遞參數, 區域變數和返回值之貯存區), heap 為聚積區 (大陸用語: 堆) 是呼喚 malloc() 時獲得記憶區塊的濫觞.

備註: