昨天,我遇到了一个问题,一个人的出生日期在用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年的荷兰,从所谓的“阿姆斯特丹戴高乐”(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
我的服务器位于阿姆斯特丹。我将服务器的时区设置为Berlin,以解决此问题。
我的问题是:您认为这是SimpleDateFormat中的错误吗?还是代码无效,因为“1933-09-17 00:00:00.0 CET”是阿姆斯特丹位置的无效日期?
如果是错误,应该在哪里报告?
如果日期输入本身无效,则parse方法是否应该引发错误?
最佳答案
看起来德国在1933年没有进行CET到CEST的过渡,而荷兰则做到了: