一個簡單的數值比較問題

#include <stdio.h>

int main(void)
{

        int i = 0xaabbccdd;

        char *p = (char *)&i;

        if (p[0] == 0xdd)
                printf("equal ");
        else
                printf("not equal ");
        return 0;
}

 
程式的本意是當在little-endian的機器(Intel)上運行時，輸出equal，然而運行後卻輸出"not equal“，與預想的想法。

問題出在何處？出在未正確C中的型別提升規則。

在if (p[0] == 0xdd) 這條語句中，運算子“==”的右運算元為整數常量，類型預設為int；左運算元為char型，因此需要進行由char至int的型別提升，由於p[0]的值為0Xdd(符號位為1),根據資料寬度擴充時符號位的擴充規則，p[0]會被擴充為(int)0XFFFFFFDD,自然與(int)0XDD不相等，因此輸出"not equal"。