【发布时间】:2021-09-21 14:28:26
【问题描述】:
erlang:system_time/1 可以返回负数吗?
erlang:system_time/1 是 specced to return integer()。 non_neg_integer() 或 pos_integer() 会更准确更准确吗?
【问题讨论】:
标签: erlang
erlang:system_time/1 可以返回负数吗?
erlang:system_time/1 是 specced to return integer()。 non_neg_integer() 或 pos_integer() 会更准确更准确吗?
【问题讨论】:
标签: erlang
erlang:system_time 给出了自 Epoch 以来的时间。 Epoch 被定义为00:00:00 UTC, 1970-01-01. 所以它不能给出负值或零作为响应。所以,我认为pos_integer() 会是更准确的规范。
【讨论】: