erlang:system_time/1可以返回负数吗？erlang:system_time/1被指定返回integer()。non_neg_integer()或pos_integer()是否更正确、更精确？
erlang:system_time/1
integer()
non_neg_integer()
pos_integer()
lmyy7pcs1#
erlang:system_time给出了自Epoch以来的时间。Epoch定义为00:00:00 UTC, 1970-01-01.，因此它不能给出负值或零作为响应。因此，我认为pos_integer()将是更准确的规格。
erlang:system_time
00:00:00 UTC, 1970-01-01.
1条答案
按热度按时间lmyy7pcs1#
erlang:system_time给出了自Epoch以来的时间。Epoch定义为00:00:00 UTC, 1970-01-01.，因此它不能给出负值或零作为响应。因此，我认为pos_integer()将是更准确的规格。