Java ZonedDateTime 和英国夏令时间

Question

我目前正在查看日期在英国夏令时内外时的 ZonedDateTime 行为。

英国夏令时从 3 月 25 日开始，增加一小时 (+1)。

我创建了几个 ZonedDateTime 实例（UTC 和欧洲/伦敦），接下来我添加了 1 个月，以便它们属于 ZonedDateTime。

// These dates will be outside British Summer Time
ZonedDateTime utcFirstMarch = ZonedDateTime.of(2018, 3, 1, 12, 0, 0, 0, ZoneId.of("UTC"));
ZonedDateTime londonFirstMarch = ZonedDateTime.of(2018, 3, 1, 12, 0, 0, 0, ZoneId.systemDefault());

// These dates will be inside British Summer Time
ZonedDateTime utcFirstMarchPlusMonth = ZonedDateTime.of(2018, 3, 1, 12, 0, 0, 0, ZoneId.of("UTC")).plusMonths(1);
ZonedDateTime londonFirstMarchPlusMonth = ZonedDateTime.of(2018, 3, 1, 12, 0, 0, 0, ZoneId.systemDefault()).plusMonths(1);

ZonedDateTime londonFirstMarchPlusMonthToUtc = ZonedDateTime.of(2018, 3, 1, 12, 0, 0, 0, ZoneId.systemDefault()).plusMonths(1).withZoneSameInstant(ZoneId.of("UTC"));

这是我打印这些日期时的结果：

utcFirstMarch:                  2018-03-01T12:00Z[UTC]
londonFirstMarch:               2018-03-01T12:00Z[Europe/London]
utcFirstMarchPlusMonth:         2018-04-01T12:00Z[UTC]
londonFirstMarchPlusMonth:      2018-04-01T12:00+01:00[Europe/London]
londonFirstMarchPlusMonthToUtc: 2018-04-01T11:00Z[UTC]

最后我打印出每个日期的纪元秒数：

utcFirstMarch:                  1519905600
londonFirstMarch:               1519905600
utcFirstMarchPlusMonth:         1522584000
londonFirstMarchPlusMonth:      1522580400
londonFirstMarchPlusMonthToUtc: 1522580400

我知道 ZonedDateTime 是不可变的。这意味着当我添加一个月时，我实际上创建了一个更改月份的新实例。您能否告诉我我对给定观察结果的假设是否正确：

1. 添加一个月将创建 ZonedDateTime 的新实例。 ZonedDateTime 上的小时将始终相同。新日期是否在 BST 中并不重要。 （查看 LondonFirstMarch 和 LondonFirstMarchPlusMonth）

2. 因为在添加 1 个月后 londonFirstMarchPlusMonth 落入 BST 以便它仍然是 12:00，它实际上已经提取了一个小时。这意味着基础纪元秒数将与 utcFirstMarchPlusMonth 不同。

3. 最后，当我们将区域转换为 UTC 时，londonFirstMarchPlusMonthToUtc 显示实际时间是 11:00。

4. 如果我想要正好 1 个月后的日期。我应该只使用 UTC，最后可以选择将其转换为伦敦/欧洲吗？

编辑：

也许我不够清楚 - 抱歉。一个月是任意值，因此当添加到第一个日期时会产生第二个日期属于 BST。

如前所述，也许一个月不是一个很好的例子，因为它的含义取决于我们所处的月份。对我来说，重点是“月份”将由 24 小时单位组成。 （正如 Ole.v.v. 所说）

我认为在 UTC 时间运行并可选择将其转换为欧洲/伦敦是“我的问题”的解决方案

Answer 1

您的假设通常是正确的。几厘米。

对于 1.，ZonedDateTime 将尝试保持小时不变。只有当这不可能时，它才会做其他事情。例如，您可能希望以下内容打印时间 01:30：

    System.out.println(ZonedDateTime
            .of(2018, 2, 25, 1, 30, 0, 0, ZoneId.of("Europe/London"))
            .plusMonths(1));

打印出来

2018-03-25T02:30+01:00[Europe/London]

在向夏令时过渡的过程中，时间从凌晨 1 点提前到凌晨 2 点，因此当天没有 1:30 的时间。 ZonedDateTime 不会产生不存在的时间，因此在这种情况下会选择 02:30。

对于 4.，“恰好一个月”有点难以严格定义，因为一个月可能是 28、29、30 或 31 天。但如果你想要 24 小时的倍数，使用 UTC 就可以了。

Answer 2

我会建议你使用Period 实例来纠正DateFormat 的行为：

ZonedDateTime nZoneDateTime = utcFirstMarch.plus(Period.ofDays(30));