Umgebung:
CentOS 7.3.1611
PHP 7.1.3

Code:

<?php
var_dump(microtime());
var_dump(microtime(true));

Ausgabe:

string(21) "0.23337700 1495449772"
float(1495449772.2334)

Frage:
Führen Sie den Code wiederholt aus und erhalten Sie das gleiche Ergebnis.
Es ist leicht zu verstehen, einen 8-stelligen Millisekundenwert in Form einer Zeichenfolge auszugeben. Die letzten beiden Ziffern sind jedoch immer 0. Bei der Ausgabe als Gleitkommazahl wird die Genauigkeit auf vier Ziffern gesteuert Grund?

Eine weitere Überprüfung:
Ausführungphp -r "echo ini_get('precision'), PHP_EOL;"输出结果为14, es ist offensichtlich nicht die Einstellung der Gleitkommagenauigkeit in PHP, die die Ausgabe von microtime() beeinflusst. Das Schlüsselwort „microtime“ wurde in php.ini nicht gefunden. Es scheint, dass es keine speziellen Einstellungen gibt, die die Ausgabegenauigkeit beeinflussen.

Ich bin verwirrt und freue mich auf den Rat des Experten.