时间time()和$_SERVER['REQUEST_TIME']

文件ab1.php

<?php
foreach($i=0;$i<1000;$i++){
echo $time();
}

结果：

文件ab2.php

<?php

foreach($i=0;$i<1000;$i++){
　　echo $_SERVER['REQUEST_TIME'];
}

结果：

对比结果：获取系统时间的速度比time()更快