C語言類型轉換數據丟失陷阱：長轉短、有符號無符號實測分析

前言：隱式轉換——C 語言最大的「隱形殺手」

C 語言允許整數類型間自由隱式轉換，但「長轉短截斷」、「有符號/無符號混用」、「負數賦值給無符號」等行為導致的數據丟失、邏輯錯誤，是無數 Bug 根源。本文通過兩個對比程序實測，演示 int → char 截斷、符號位擴展、賦值順序對結果的劇烈影響。

一、 程序一：先賦值 char，再賦值 int → char

#include <stdio.h>
int main() {
    int i; char c;
    i = 65535;  // 0xFFFF
    c = 48;     // '0' (ASCII 48)
    i = c;      // i = 48 (char→int 擴展，無損)
    c = i;      // c = 48 (int→char 截斷低 8 位，48 正好在範圍內)
    printf("char=%c\nint=%d\n", c, i);  // 輸出: char=0, int=48
    return 0;
}

輸出：

char=0
int=48

二、 程序二：先賦值 int，再賦值 char → int

#include <stdio.h>
int main() {
    int i; char c;
    i = 65535;  // 0xFFFF
    c = 48;     // '0'
    c = i;      // c = 截斷低 8 位 = 0xFF = 255 (無符號) 或 -1 (有符號 char)
    i = c;      // i = -1 (char→int 符號擴展：0xFF → 0xFFFFFFFF)
    printf("char=%c\nint=%d\n", c, i);  // 輸出: char=不可见字符, int=-1
    return 0;
}

輸出：

char=  (不可見控制字符)
int=-1

三、 核心機制深度拆解

1. 整數提升與截斷規則

• 窄 → 寬 (char→int)：**值保持不變**。有符號符號擴展，無符號零擴展。
• 寬 → 窄 (int→char)：**截斷高位，只保留低位位模式**。結果如何解釋取決於目標類型符號性。

2. 有符號 char vs 無符號 char 的分歧

程序二中 c = i (65535) → 低 8 位 0xFF：

• 若 char 有符號 (x86 GCC 默認) → c = -1。
• 再 i = c → 符號擴展 0xFFFFFFFF → i = -1。
• 打印 %c 顯示不可見控制字符 (0xFF)。

3. 賦值順序決定生死

同樣初始值，兩種順序導致完全不同結果：

• 順序 A：i=c; c=i; → 數值在安全範圍內往返，**無損**。
• 順序 B：c=i; i=c; → 大數截斷進 char，再符號擴展回 int，**數值毀損**。

四、 避坑工程規範

1. 編譯器警告全開：-Wconversion -Wsign-conversion -Wnarrowing (GCC/Clang) 強制暴露隱式窄化。
2. 明確類型寬度：用 int32_t, uint8_t 替代 int/char，語義清晰。
3. 避免混合符號運算：統一用無符號 (位操作/協議) 或有符號 (數學)，轉換處顯式強轉並註釋。
4. 邊界檢查後再轉換：

if (val > INT8_MAX || val < INT8_MIN) handle_error();
int8_t narrow = (int8_t)val;

5. 字符處理用 unsigned char：避免符號擴展陷阱，#define UCHAR(c) ((unsigned char)(c))。

五、 總結

類型轉換不僅是語法糖，更是**位模式的重新解釋**。理解「截斷保留低位」、「符號擴展複製符號位」、「有符號/無符號邊界行為差異」，配合編譯器警告與顯式強轉，才能在 C 語言的類型系統中安全航行。