今天发现了一个C里容易忽略的细节。
由于这个小细节，我的程序调试了半天，耽误了不少功夫。
现在拿出来和大家分享一下~共同进步~。

首先，VC下的，一个很简单的程序

# include <stdio.h>

int main ()
{
        short int a ;

        a = 0x8000 ;

        if (a == 0x8000)

                printf ("T\n") ;

        else

                printf ("F\n") ;

        return 0 ;
}

大家猜才结果是什么呢？
答案是F。

如果你认为是T，呵呵，最好自己调试一下，找到原因，不太难的，找不到的话再往下看~~

（如果你认为本来就是F，理由是short int 的范围是-32768到32767，这里0x8000是32768，溢出了，不相等，那么，不好意思，你的理解有偏差。不信你把short int换成int，再把0x8000扩展到0x80000000，同样的问题在int型的时候输出T，怎么解释？~）

这里，a是short int型，占两个字节。当我们把0x8000赋给a后，a中的值为
1000 0000 0000 0000（二进制）

在执行if条件时，程序要把a的值和立即数0x8000进行比较。
但是a的值保存在内存当中，于是程序会将a的值从内存里取到寄存器中（通常是eax）
mov eax, a的地址   ;    这个是假想生成的代码

但是a的值只有2字节，eax有4字节。这里编译器在取的时候做了一个符号扩展：
movsx eax, a的地址    ;  这个是实际生成的代码

这样，编译器其实是拿eax里，也就是a的值符号扩展后，也就是0xffff8000和0x8000进行比较，判定为不相等。

现在，如果把short int 换成int，0x8000换成0x80000000就不会出现判断失误的问题了。因为int和eax是等长的，没有进行符号扩展。

分析完毕。请各位高手拍砖留情~

[招生]科锐逆向工程师培训(2025年3月11日实地，远程教学同时开班, 第52期)！