mysql执行时间为负数的原因分析

今天看到有人把phpmyadmin中的执行时间出现负数的情况视为phpmyadmin的bug， 其实这种情况的本质是php中浮点数(float)的精度问题。

代码如下:
list($usec, $sec) = explode(' ', microtime());
$timer = (float)$usec + (float)$sec;
mysql_query($query, $active_db);
list($usec, $sec) = explode(' ', microtime());
$stop = (float)$usec + (float)$sec;
$diff = $stop - $timer;
?> $stop 和 $timer都是转化后得到的浮点数，大多数情况下，echo $stop 和 echo $timer得到的结果用肉眼观察是相同的，但是它们在计算机中的存储并不相同，所以结果不为0，也有可能为负。

php手册中提示：

浮点数精度:
显然简单的十进制分数如同 0.1 或 0.7 不能在不丢失一点点精度的情况下转换为内部二进制的格式。这就会造成混乱的结果：例如，floor((0.1+0.7)*10) 通常会返回 7 而不是预期中的 8，因为该结果内部的表示其实是类似 7.9999999999...。

这和一个事实有关，那就是不可能精确的用有限位数表达某些十进制分数。例如，十进制的 1/3 变成了 0.3333333. . .。

所以永远不要相信浮点数结果精确到了最后一位，也永远不要比较两个浮点数是否相等。如果确实需要更高的精度，应该使用任意精度数学函数或者 gmp 函数。