时间(2)

入门。

每种语言都会提供类或函数来处理日期和时间。但有时自带的函数不能满足需求，这就催生了很多第三方的函数库，比如 JavaScript 的 moment.js 和 Java 的 joda-time。Java 8 之后推出了新的java.time，相当于把 joda-time 并入了 Java。JavaScript 的moment.js也在 2020 正式退役。

在时间的计算上要格外注意时区，还有单位是秒还是毫秒。

放弃？

我们会用到SimpleDateFormat和Date，先 import

jshell> import java.text.SimpleDateFormat;

jshell> import java.util.Date;

设好时间的格式，并把时区改为上海。

jshell> SimpleDateFormat df = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
df ==> java.text.SimpleDateFormat@4f76f1a0

jshell> df.setTimeZone(TimeZone.getTimeZone("Asia/Shanghai"));

当我们计算 1900 年 12 月 31 日的 23:54:18 和 23:54:17 之间差距时，程序返回了 1000 毫秒，也就是 1 秒，准确无误。

jshell> df.parse("1900-12-31 23:54:18").getTime() - df.parse("1900-12-31 23:54:17").getTime()
$3 ==> 1000

但如果计算 23:54:17 和 23:54:16，结果却是……344 秒……

jshell> df.parse("1900-12-31 23:54:17").getTime() - df.parse("1900-12-31 23:54:16").getTime()
$4 ==> 344000

进阶！

按这个页面的解释，上海时区在 1901 年 1 月 1 号 0 点前时间回拨了 5 分 43 秒（343 秒），到了 11:54：17。也就是说 11:54：17 出现了两次，第二次出现在 11:54:16 的 344 秒后。而程序中只保存了第二次的时间点。

这个问题有在Stackoverflow上讨论，但随着时间的推移，上面的例子已经不适用，最初的时间回拨发生在 1927-12-31 23:54:08，而且回拨的是 5 分 52 秒。这是由于不同版本的 JDK 采用不同版本的tzdata，所以必须强调这里用的例子适用的是 JDK 9，未来的某个时刻可能这个数据会被再次更改，例子将失效。

说这些的意义并不在于要记住某些特殊时区特殊时间点的改变细节，或是鼓励大家跟踪时区数据库的每一次细小变动。而是要强调每个时区的时间并不是线性的，有很多这样的突然跳跃，最常见的就是夏令时，所以用本地时间是极其不可靠的，应该尽量使用 UTC，程序中存储时间一定要用 Unix Time。