PHP 7.1中DateTime::__construct()是否支持毫秒

Question

有信息显示在7.1版本中，DateTime::__construct()已经可以支持毫秒。并且专门强调：

This means that naive comparisons of two newly created instances will now more likely return FALSE instead of TRUE: new DateTime() == new DateTime()

可是，在我的代码中，毫秒部分总是“000000”，这个是什么问题呢：

<?php
for ($i = 0; $i < 10000; ++$i) {
    $date = new DateTime();
//    if ($date->format('u') != '000000') {
        file_put_contents('./msec.log', "$i:\t" . $date->format('s.u') . PHP_EOL, FILE_APPEND);
//    }
}

输出：

0:      51.000000
1:      51.000000
2:      51.000000
……
4999:   51.000000
5000:   51.000000
5001:   51.000000
……
9997:   51.000000
9998:   51.000000
9999:   51.000000

Answer 1

是的，文档中是说php5.2.2的时候新加的，但我测试后也发现同样的问题，只能返回000000

但用这个函数是可以的：microtime()

Answer 2

我本地测试了。

• 7.0 ，显示 ‘000000’

• 7.1 ，显示真实数据了。
  所以，你运行代码的环境确定是 7.1 么。