【发布时间】:2023-03-06 22:04:01
【问题描述】:
我想以毫秒精度获取当前的秒数。有效值可以是:23.432、51.027 等,整数部分在 1-60(分钟中的秒)范围内,小数部分为毫秒 (0-999)。
我发现标准库可以通过执行以下操作为我提供秒数:
let t = Unix.localtime (Unix.time ())
Printf.printf "Current seconds value %02d\n" t.tm_sec
但是使用这种方法我没有得到毫秒。我可以使用Unix.gettimeofday () 获得毫秒精度(甚至更多),但是我必须弄清楚如何将该值的小数部分添加到当前秒数,这对于如此简单的操作来说似乎很麻烦。有没有更好的办法?
【问题讨论】: