java - ZonedDateTime解析成功，但输出字符串不同

我正在使用ZonedDateTime解析并根据时区获取当前时间。

当我解析以下String时，解析成功，但输出String不同。这是为什么？

String dateTimeString = "2016-05-04T12:58:22+01:00[Europe/Paris]";
ZonedDateTime dateTime = ZonedDateTime.parse(dateTimeString, ISO_ZONED_DATE_TIME);
System.out.println(dateTimeString);
System.out.println(dateTime.toString());

输出量

2016-05-04T12:58:22+01:00[Europe/Paris]
2016-05-04T12:58:22+02:00[Europe/Paris]

在什么时候决定将+1更改为+2，为什么没有引发异常？

我知道括号[Europe/Paris]中的参数是可选的，但在此它优先于偏移量。

另一方面下面的代码

String dateTimeString = "2016-05-04T12:58:22+01:00";
ZonedDateTime dateTime = ZonedDateTime.parse(dateTimeString, ISO_ZONED_DATE_TIME);
System.out.println(dateTimeString);
System.out.println(dateTime.toString());

产生输出

2016-05-04T12:58:22+01:00
2016-05-04T12:58:22+01:00

最佳答案

问题在于，2016-05-04T12:58:22+01:00[Europe/Paris]不是正确的时间，因为我们在5月的CEST(中欧夏令时，夏令时)从3月的最后一个星期日开始。与UTC相比是+ 2h。因此，确实2016-05-04T12:58:22+02:00[Europe/Paris]是正确的。

如您所说，[Europe/Paris]似乎占了上风。不确定规范是否应该有例外，但我对此表示怀疑。

换句话说，2016-05-04T12:58:22+01:00不能在时区Europe/Paris中。