C語言類型轉換兩大模式：值轉換 vs 內存重解釋

場景：int32_t a; float b = 123.5f;

模式一：值轉換（語義轉換）

a = (int32_t)b;  // 或 a = (int)b;

• 語義：將浮點數值 123.5 轉換為整數值 123（向零截斷）。
• 機制：編譯器生成浮點轉整數指令（如 x86 cvttss2si）。
• 結果：a == 123。

模式二：內存重解釋（位模式複製 / Type Punning）

a = *(int32_t *)&b;  // 經典別名訪問
// 或 C99 聯合體寫法（標準合規）
union { float f; int32_t i; } u;
u.f = b;
a = u.i;

• 語義：將 b 佔用的 4 字節內存原樣視為 int32_t，不做任何數值轉換。
• 結果：a == 0x42F6E000 (IEEE 754 中 123.5 的位模式)。
• 用途：序列化、網絡字節序轉換、位級操作、快速數學技巧（如 0x5f3759df 快速逆平方根）。

⚠️ 關鍵風險：嚴格別名規則

C 標準規定：不同類型指針不得指向同一內存（char* 除外）。*(int32_t*)&b 違反此規則，屬未定義行為（編譯器優化可能導致錯誤）。

合規寫法對比

何時用哪種？

• 需要數值轉換（如浮點轉整數參與計算） → 強制轉換 (int)b。
• 需要位模式透傳（如發送 float 到網絡、解析二進制協議） → 聯合體或 memcpy。
• 類型根據運行時情況動態變化（如插件系統、序列化框架） → 封裝 memcpy 為安全 API。