如果我做:
echo microtime(true);
我得到以下结果:
- 在我的本地 Windows 开发环境中,我得到 4 位精度(例如 1310564569.4162)。
- 在我的实时 CentOS (Linux) 服务器上,我得到 2 位精度(例如 1310564569.41)。
好的,根据您运行的平台,您会获得不同的精度吗?或者这是一个 PHP/OS 配置?
同样来自microtime PHP 文档:
此函数仅在支持 gettimeofday() 系统调用的操作系统上可用。
哪些操作系统(或条件/配置)不支持此功能?