一个关于数据类型转换的C语言陷阱,大家注意一下

2019-12-09 19:20发布

平时写法不规范的时候,编译器都有提醒,今天不知道咋的没有提醒,就进到陷阱了,在此记录一下,也起提醒作用。
下面是抽象出来的代码,按照以下写法,会运行到Failed里面,aa-bb的值打印出来为4,比较纳闷,4>-3怎么还是进到下面的分支了。
如果使用前进行一下类型转换,改成 aa - (int32_t )bb,就会进行到正常分支,之前以为编译器会自动转换。使用minGW和VS运行结果相同
  1.     int32_t aa = 5;
  2.     uint32_t bb = 1;
  3.     if ((aa - bb) > -3)
  4.     {
  5.         sprintf ("Passed aa-bb=%d", aa - bb);
  6.     } ///if (aa-bb>-3)
  7.     else
  8.     {
  9.          sprintf ("Failed aa-bb=%d", aa - bb);
  10.     }///if (aa-bb>-3)
复制代码
友情提示: 此问题已得到解决,问题已经关闭,关闭后问题禁止继续编辑,回答。
21条回答
takashiki
2019-12-11 07:44
1a2b3c 发表于 2019-9-16 23:27
前几天不是还有人说keil的bug嘛,和这个完全一样的。 倒是还真没有去想到怎么会拿一个有符号数去和无符号数 ...


不一样。Keil的那个是Keil的BUG,而这个是程序员的锅。
为什么呢?
因为C语言规定了整型提升的条件。Keil中,unsigned char和signed char都是可以自动提升到int的,因此可以直接比较,只是产生的代码会变多,Keil为了降低资源占用它自己搞得不标准了。符合标准的编译器下(unsigned char) 12 > -1是必须成立的,无论是8位、16位、32位、64位的编译器。

一周热门 更多>