变量溢出 - 探究

void main()
{
    signed char x = 0x7f;
    printf("%d\n", ++x);
    
    unsigned char y = 0xff;
    printf("%d\n", ++y);

    system("pause");
}

运行结果：

-128
0
请按任意键继续. . .

无符号整形的溢出

对于unsigned整型溢出，C的规范是有定义的，溢出后的数会以2^(8*sizeof(type))作模运算”，也就是说，如果unsigned char溢出了，会把溢出的值与256求模，这段代码的输出为0

有符号整形的溢出

对于signed整型的溢出，C的规范定义是“undefined behavior”。这段代码会输出：-128，因为0x7f + 0x01得到0x80，也就是二进制的1000 0000，符号位为1，负数，后面为全0，就是负的最小数，即-128。