C語言 int 型別大小由什麼決定？從字長、寄存器、總線到硬體架構的完整鏈路

前言

K&R 經典教材稱 int 「通常反映宿主機器整數的自然大小」。這句話背後藏著怎樣的硬體邏輯？本文從 limits.h 定義出發，穿越字長、位址總線、資料總線、寄存器、ALU，重構 int 大小的硬體決定鏈路。

一、標準規定與現實

• C標準：short ≥ 16位，int ≥ 16位，long ≥ 32位。具體大小由編譯器根據目標機器選擇。
• 現代主流：x86-64 Linux/Windows int = 32位；16位單片機 int = 16位；部分DSP int = 16/32位可配。

二、關鍵概念：字長

字長 = 機器指令、整數運算、位址運算的標稱位寬。32位機字長=32，64位機字長=64。

• 位址總線寬度 = 字長 → 可尋址空間 = 2^字長 位元組（32位→4GB，64位→16EB）。
• 資料總線寬度 = 字長 → 單次傳輸位元組數 = 字長/8。
• 通用寄存器寬度 = 字長 → 整數運算單次處理位數 = 字長。
• 指針大小 = 字長/8 位元組（存儲一個位址）。

三、編譯器如何決定 int 大小？

核心邏輯：編譯器將 int 映射為最高效的整數型別，通常等於字長（或字長的一半，如64位機上常見 int=32, long=64, pointer=64 的 LP64 模型）。

• 原因1：寄存器寬度 = 字長，int 運算直接使用通用寄存器，無需擴展/截斷指令，效率最高。
• 原因2：資料總線寬度 = 字長，int 讀寫內存單次傳輸對齊，無額外週期。
• 原因3：位址運算（指針算術）與整數運算共用 ALU，位寬一致簡化硬體。

四、硬體視角驗證：從 C 到組合語言

// test_add.c
int main() { int a=1, b=2, c=a+b; return 0; }

// gcc -S test_add.c → test_add.s (x86-64)
movl $1, -12(%rbp)   // a=1
movl $2, -8(%rbp)    // b=2
movl -8(%rbp), %eax  // b → eax
movl -12(%rbp), %edx // a → edx
addl %edx, %eax      // eax += edx (32位整數加法)
movl %eax, -4(%rbp)  // c = eax

• movl = move long (32位)，addl = add long (32位)。
• 寄存器 %eax, %edx 為 32位（%rax, %rdx 低32位）。
• 指令直接操作 32位整數，無 64位擴展指令 → int 自然對應 32位。

五、處理器抽象視圖：字長統一的硬體協同

+----------+     資料總線(字長)      +----------+
|  寄存器檔 | ←─────────────────────→ |   ALU    |  整數運算、位址計算
| (字長寬)  |                         | (字長寬) |
+----------+                         +----------+
      ↑                                        |
      | 位址總線(字長)                         |
      ↓                                        ↓
+----------+     控制總線            +----------+
|   內存   | ←─────────────────────→ |  控制器  |
| (位址空間=2^字長) |                    |          |
+----------+                         +----------+

字長統一了 寄存器、ALU、資料總線、位址總線、指針、int 的位寬，使硬體協同達到最高效率。這是計算機架構演化（16位→32位→64位）的核心驅動力：更大位址空間、更寬運算位寬、更高資料吞吐。

六、為什麼不分離指針與 int 大小？

• 早期架構（如段式記憶體）曾有 int=16, pointer=32（遠指針），導致指針算術、轉換極其複雜、易錯。
• 扁平記憶體模型下，統一位寬極大簡化編譯器、硬體、程式設計模型。
• 現代 C 模型：LP64 (int=32, long=64, ptr=64) 或 ILP64 (int=64, long=64, ptr=64)，int 保持「最高效整數」，指針跟隨位址總線。

七、總結

int 大小不是任意定義，而是字長這一核心硬體屬性在軟體層的投影。字長由位址空間需求驅動，統一決定寄存器、ALU、總線、指針、int 位寬，實現硬體協同最大效率。理解這條鏈路，能讓你在跨平台移植、嵌入式選型、效能優化時做出本質正確的決策。