为何这段C代码输出"False"？sizeof(int) > -1结果为0的原因

这问题乍一看确实反直觉，但核心就藏在sizeof的返回值类型里——咱一步步拆解：

• sizeof的返回值是无符号整数类型size_t：你看到sizeof(int)输出是4，但它的类型不是普通int，而是size_t（C标准规定的无符号整数类型，通常对应unsigned int或unsigned long）。
• 有符号与无符号比较时的类型转换规则：当无符号类型和有符号类型的值做比较时，C语言会把有符号值转换为无符号类型。这里的-1是int类型的负数，转成size_t时，因为无符号数无法存储负数，会被解释成该无符号类型的最大值（比如32位系统下是4294967295）。
• 实际比较的是4和一个超大数：现在sizeof(int)的4（无符号类型）和转成无符号后的-1（超大值）比较，4 > 4294967295显然不成立，所以表达式结果是0（假），程序自然走进else分支输出"False"了。

如果想验证这个逻辑，你可以把代码里的比较改成强制转换为有符号int：

if ((int)sizeof(int) > -1 ) {
    printf("True");
}

这时候4（int类型）和-1比较，结果就是真，会输出"True"。

附上你提供的原代码方便对照：

#include <stdio.h>
void main() {
    if (sizeof(int) > -1 ) {
        printf("True");
    } else {
        printf("False");
    }
    printf("\n%d", (sizeof(int)) ); //output: 4
    printf("\n%d", (sizeof(int) > -1) ); //output: 0
}

内容的提问来源于stack exchange，提问作者Deepak Gautam