阿姆斯特丹时区 SimpleDateFormat 的行为不一致

Question

昨天我遇到了一个问题，一个人的出生日期在使用 XStream 从 Date 编组到 xml，然后再次解组到 Date 后发生了更改。以下代码重现了 XStream 的奇怪行为：

System.setProperty("user.timezone", "Europe/Amsterdam");
SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss.S z");
String textIn = "1933-09-17 00:00:00.0 CET";
Date date = dateFormat.parse(textIn);
String textOut = dateFormat.format(date);

System.out.println("input : " + textIn);
System.out.println("date  : " + date);
System.out.println("output: " + textOut);

结果：

input : 1933-09-17 00:00:00.0 CET
date  : Sun Sep 17 00:19:32 CEST 1933
output: 1933-09-17 00:19:32.0 CEST

我发现它只发生在 1940 年之前的日期。这在某种程度上是可以解释的：1940 年荷兰发生了所谓的“Amsterdamse Tijd”的变化(GMT+00h19m32s) 转换为欧洲时间 (GMT+01h00m00s)。我无法解释为什么时区更改为节省时间（从 CET 到 CEST）。

如果我将时区更改为柏林，

System.setProperty("user.timezone", "Europe/Berlin");

我会得到预期的结果：

input : 1933-09-17 00:00:00.0 CET
date  : Sun Sep 17 00:00:00 CET 1933
output: 1933-09-17 00:00:00.0 CET

我的服务器位于阿姆斯特丹。我将服务器的时区设置为柏林，以解决该问题。

我的问题是：您认为这是 SimpleDateFormat 中的错误吗？或者代码是否无效，因为“1933-09-17 00:00:00.0 CET”对于阿姆斯特丹位置来说是无效日期？

如果这是一个错误，应该以及应该在哪里报告？ 如果日期输入本身无效，那么解析方法不应该抛出错误吗？

Answer 1

看起来德国没有在 1933 年进行 CET 到 CEST 的转换，而荷兰则做了：

• 德国
• 荷兰