今天在调试代码Reveiw的过程中发现一个类似 **if(a - b < 2)**的判断,最开始感觉没问题,但在查看a、b变量的定义时,发现数据类型为unsigned int,那么此处就有隐患,在团队中进行错误分析,在此特别记录下来。
简化后的代码如下:
/*************************unsignedsub.c******************/
#include <stdio.h>
int main(int argc, char *argv)
{
unsigned int a = 5;
unsigned int b = 10;
/******************
*
*
*
*
* code
*
*
*
*
*
*
* ************* */
if (a - b < 2)
{
printf("it need process\r\n");
}
else
{
printf("it's not what I want\r\n");
}
return 0;
}
运行结果:
[root@top unsignedsub]$./unsignedsub
it's not what I want
原始想要的是 a - b < 2进行相关业务处理,但实际情况是,如果a小于b,相减小于零,就会出现数据溢出,成了一个无效数据。因此对于无符号数的判断,不能用减法操作,而要用到加法操作,代码如下:
/*************************unsignedsub.c******************/
#include <stdio.h>
int main(int argc, char *argv)
{
unsigned int a = 5;
unsigned int b = 10;
/******************
*
*
*
*
* code
*
*
*
*
*
*
* ************* */
if (a < 2 + b)
{
printf("it need process\r\n");
}
else
{
printf("it's not what I want\r\n");
}
return 0;
}
运行结果:
[root@top unsignedsub]$./unsignedsub
it need process