EST 与 EST5EDT 有何不同?EST 不考虑 DST 吗?
我写了一个小的 java 片段来找出差异,输出说 EST5EDT 考虑了 DST 而 EST 没有
SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MMM-dd HH:mm:ss.SSS");
dateFormat.setTimeZone(TimeZone.getTimeZone("EST5EDT"));
System.out.println("EST5EDT" +dateFormat.format(new Date()));
/* prints EST5EDT2013-Apr-05 02:24:16.471 */
dateFormat = new SimpleDateFormat("yyyy-MMM-dd HH:mm:ss.SSS");
dateFormat.setTimeZone(TimeZone.getTimeZone("EST"));
System.out.println("EST "+dateFormat.format(new Date()));
/*prints EST 2013-Apr-05 01:24:16.472 */
但是下面的片段产生了令人震惊的输出
System.out.println("EST5EDT offset "+TimeZone.getTimeZone("EST5EDT").getRawOffset()/(60*60*1000));
/* prints 5 instead of 4 (DST) */
有人可以解释一下这里到底发生了什么吗?为什么 getRawOffset 返回 5 而不是 4 ?如何使用 DST 获取时区偏移量?