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

Question

我正在使用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

Answer 1

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

正如你所说,[Europe/Paris]似乎取得了优势.不确定是否应该有关于规范的例外,但我对此表示怀疑.

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