1除以0等于几

调试时遇到一段代码,精简后如下:

double val = 1 / (0 * 1.0);
uint32_t result = (uint32_t) val;

在Keil环境下(armcc v5.06)下,变量val = 0,result = 0,在Gcc环境下(arm-none-eabi-gcc v6.3.1)下,val = Inf(一个很大的数),result = 0xFFFFFFFF。

除法运算,除数不能为0。如果除数为0,该行为未定义(Undefined):

C99 6.5.5p5 – The result of the / operator is the quotient from the division of the first operand by the second; the result of the % operator is the remainder. In both operations, if the value of the second operand is zero, the behavior is undefined. [link]

实践中,如果被除数是0,编译器会给出警告(Warning),但是上面代码里( 0 * 1.0 )的操作骗过了编译器的检查。

于是,Keil和Gcc两个不同平台的编译器给出了不同的结果。

猜测虽然C语言的规范没有定义,但具体到编译器身上,还是要给出一个数值结果——Keil给0,Gcc给Inf。

这种基础运算经常出现在库函数里不起眼的角落,并且会被重重嵌套。这个例子背后真实的代码是Thingy52里面sx1509的驱动代码[link]:

uint32_t fade_in_time_low_mult_reg = 
(uint32_t) round(
        (real_val->fade_in_time_ms /
        (REG_RISEFALL_TIME_LOW_MULTIPLIER *
        (reg_val->on_intensity - (4 * reg_val->off_intensity)) *
        (255 / m_clkx_tics_pr_sec))) / 1000);

这一行代码中涉及到了多种数据类型:uint8_t,整形宏,float,double, uint32_t,此外还有常量。不同类型数据混合运算,会发生隐式类型转换,代码中也同时使用了显式类型转换。这些东西混在一起写成一行,很容易产生BUG。

(完)

发表评论

电子邮件地址不会被公开。

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据