C语言变量值正确但if分支不执行，无GCC编译告警问题求解

核心原因：C语言的有符号/无符号隐式类型转换 #

• sizeof运算符的返回值是size_t类型，这是C标准定义的无符号整数类型，因此你定义的宏TOTAL_ELEMENTS的计算结果也属于无符号类型。
• 当你在if判断中把有符号int类型的test（值为-1）和无符号类型的TOTAL_ELEMENTS做比较时，C语言会触发隐式类型转换规则：优先将有符号数强制转换为无符号数后再进行比较。
• -1转换为无符号整数时，会得到对应位数下无符号类型的最大值（比如32位size_t下值为4294967295），这个值远大于数组长度7，因此test <= TOTAL_ELEMENTS的判断结果为假，printf语句不会执行。

开启对应告警的方法 #

你编译时没有看到告警是因为-Wall参数默认没有开启有符号/无符号比较的告警提示，加上-Wextra参数编译即可看到提示：

gcc main.c -Wall -Wextra

编译后会输出明确告警：comparison between signed and unsigned integer expressions

修复方案 #

你可以手动将TOTAL_ELEMENTS强制转换为有符号int类型，避免隐式转换问题：

if (test <= (int)TOTAL_ELEMENTS)

也可以在定义宏时就直接强转为有符号类型：

#define TOTAL_ELEMENTS (int)(sizeof(array) / sizeof(array[0]))

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