如何在PHP中获取当前时间的毫秒数？

大家好！我刚开始学习PHP，遇到了这样一个任务：我需要测量脚本的执行时间，精确到毫秒。我知道PHP中有time()函数，它返回当前的时间戳（以秒为单位），但这不够——我需要毫秒。 我尝试过使用microtime()，但不太明白如何将其转换为方便的格式。这是我写的代码： ```php ``` 这能工作，但只给出秒数。而我需要类似这样的结果：“执行时间：0.023秒”或者直接用毫秒表示，比如23毫秒。 我听说可以使用microtime(true)，但不知道如何正确使用它。另外，我想知道PHP中是否有函数能直接返回当前时间的毫秒数（例如，像1700000123456这样的timestamp）？ 请告诉我如何正确获取当前时间的毫秒数，以及