一个关于 PHP 奇怪的 Bug

一个应用的开始时间减去应用结束时的时间，小数点有时居然变成了逗号。

部分代码：

 $mtime = explode(' ', microtime()); $app_starttime = $mtime[1] + $mtime[0]; /// 程序主体的运行 $mtime = explode(' ', microtime()); $app_endtime = $mtime[1] + $mtime[0]; $use_time = $app_endtime-$app_starttime; fb($use_time, 'exec time'); if($use_time > 5){ Yf_Log::log($use_time, Yf_Log::ERROR,'slow_slow_log'); } else if($use_time > 1){ Yf_Log::log($use_time, Yf_Log::ERROR,'slow_log'); } else { Yf_Log::log($use_time, Yf_Log::ERROR,'access_log'); } 

记录的日志：

 Dec 04 13:21:47 FILE=/data/www/www.xxx.com/index.php [error] 0.03904914855957 {"ctl":"Index","met":"index","typ":"e"} #0 /data/www/www.xxx.com/index.php(211): Yf_Log::log(0.03904914855957,ERROR,access_log) Dec 04 13:21:48 FILE=/data/www/www.xxx.com/index.php [error] 0.11846590042114 {"firstRow":"12","totalRows":"123","ctl":"Goods_Goods","met":"goodslist","act":"all","cat_id":"268","actorder":"desc","typ":"e","keywords":""} #0 /data/www/www.xxx.com/index.php(211): Yf_Log::log(0.11846590042114,ERROR,access_log) dic 03 23:25:05 FILE=/data/www/www.xxx.com/index.php [error] 0,018435955047607 {"typ":"json","lang":"es_CR","ctl":"Buyer_Voucher","met":"getVoucherCount","__random":"0.6502593521184687"} #0 /data/www/www.xxx.com/index.php(211): Yf_Log::log(0,018435955047607,ERROR,access_log) dic 03 23:25:05 FILE=/data/www/www.xxx.com/index.php [error] 0,035964965820312 {"typ":"json","lang":"es_CR","ctl":"Buyer_Index","met":"getAllCount","__random":"0.6859251245657769"}