erlang:system_time/1 可以 return 一个负数吗？

Question

erlang:system_time/1 可以 return 一个负数吗？

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

Answer 1

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