【问题标题】:Can erlang:system_time/1 ever return a negative number?erlang:system_time/1 可以返回负数吗?
【发布时间】:2021-09-21 14:28:26
【问题描述】:

erlang:system_time/1 可以返回负数吗?

erlang:system_time/1 是 specced to return integer()。 non_neg_integer() 或 pos_integer() 会更准确更准确吗?

【问题讨论】:

    标签: erlang


    【解决方案1】:

    erlang:system_time 给出了自 Epoch 以来的时间。 Epoch 被定义为00:00:00 UTC, 1970-01-01. 所以它不能给出负值或零作为响应。所以,我认为pos_integer() 会是更准确的规范。

    【讨论】:

      猜你喜欢
      • 2012-02-23
      • 2018-09-05
      • 2013-08-14
      • 1970-01-01
      • 1970-01-01
      • 2013-02-06
      • 2013-05-20
      • 2016-10-07
      • 1970-01-01
      相关资源
      最近更新 更多