【问题标题】:Bug in jdk8 date-conversion?jdk8 日期转换中的错误?
【发布时间】:2016-09-29 18:43:25
【问题描述】:

我正在为 java.util.Datejava.time.LocalDateTime 之间的 java-8 转换编写一些测试代码,发现在 java.util.Date 之间似乎发生了异常strong>从正常时间过渡到夏季时间后的一小时,此时年份为 2038 年或更高。

我只是想知道这是否是 jdk8 中的错误,还是我做错了什么?

注意:我使用的是 Windows-7,64 位 jdk,所以应该不受 2038-unix 错误的影响,这会产生更糟糕的影响.

这是我的演示代码:

package conversiontest;

import java.text.SimpleDateFormat;
import java.time.LocalDate;
import java.time.LocalDateTime;
import java.time.LocalTime;
import java.time.ZoneId;

public class ConversionTest {

    public static void main(String[] args) {
        new ConversionTest().testDateConversion();
    }

    // Method under test:
    public java.util.Date toJavaUtilDate(LocalDateTime localDateTime) {
        return java.util.Date.from(localDateTime.atZone(ZoneId.systemDefault()).toInstant());
    }

    // Test-code:
    public void testDateConversion() {
        SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
        LocalDate localDate = LocalDate.of(2016, 1, 1);
        LocalTime localTime = LocalTime.of(3, 22, 22); // 03:22:22
        while (!localDate.toString().startsWith("2045-")) {
            LocalDateTime localDateTime = LocalDateTime.of(localDate, localTime);
            java.util.Date date = toJavaUtilDate(localDateTime);
            String sLocalDateTime = localDateTime.toString().replace("T", " ");
            String sJavaUtilDate = sdf.format(date);
            if (!sLocalDateTime.equals(sJavaUtilDate)) {
                System.out.println(String.format("FAILURE: '%s' != '%s'", sLocalDateTime, sJavaUtilDate));
            }
            localDate = localDate.plusDays(1);
        }
    }

}

输出:

FAILURE: '2038-03-28 03:22:22' != '2038-03-28 02:22:22'
FAILURE: '2039-03-27 03:22:22' != '2039-03-27 02:22:22'
FAILURE: '2040-03-25 03:22:22' != '2040-03-25 02:22:22'
FAILURE: '2041-03-31 03:22:22' != '2041-03-31 02:22:22'
FAILURE: '2042-03-30 03:22:22' != '2042-03-30 02:22:22'
FAILURE: '2043-03-29 03:22:22' != '2043-03-29 02:22:22'
FAILURE: '2044-03-27 03:22:22' != '2044-03-27 02:22:22'

从输出中可以看出,LocalDateTime(2038-03-28 03:22:22) 转换为 java.util.Date(2038-03-28 02:22:22) 等。但是当年份低于 2038 年时

有人对此有意见吗?

编辑:

我的 ZoneId.systemDefault() 给出:“欧洲/柏林”

C:\>java -version
java version "1.8.0_91"
Java(TM) SE Runtime Environment (build 1.8.0_91-b15)
Java HotSpot(TM) 64-Bit Server VM (build 25.91-b15, mixed mode)

C:\>javac -version
javac 1.8.0_91

【问题讨论】:

  • 提示:你用谷歌搜索了java.util.date 2038。这会产生例如stackoverflow.com/questions/15014589/java-util-date-bug 和阅读的乐趣stackoverflow.com/questions/4313707/…
  • Java 类是否使用intlong 来表示特定值(例如,自特定时间点以来的(毫秒)秒),与操作系统或实际CPU 完全无关.在 8 位 CPU 上进行long 计算可能需要更多的 CPU 周期,但这不会影响有效的 JVM/JRE 必须产生以满足规范的结果。
  • 你的系统时区和java版本是多少(有subversion)?至少我们需要知道这些细节的重现性。
  • 我可以重现您的问题。 java.time-part 没问题,但 GregorianCalendar 中似乎存在 2038 年或更晚的错误。旧的基于Calendar 的API 似乎计算出在UTC 偏移前只有一个而不是两个小时。如果您使用其toString()-方法(生成CET 而不是CEST)打印Date-变量,或者将其转换为GregorianCalendarSimpleDateFormat 内部执行的操作),则可以看到它。我的建议:使用java.time.format.DateTimeFormatter 而不是SimpleDateFormat
  • @Meno Hochschild:一小时内出现不匹配。在 2028 年 3 月 28 日,java.util.Date3:00CET/4:00CEST 更改为夏令时,而java.time 已经在2:00CET/3:00CEST 更改。

标签: java java-8 java-time java.util.date


【解决方案1】:

不同的结果源于切换到夏令时的不匹配,夏令时从 2038 年开始。您可以使用以下代码可视化差异:

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

LocalDate[] dates = {LocalDate.of(2037, 3, 29), LocalDate.of(2038, 3, 28)};
LocalTime[] time  = { LocalTime.of(0, 59, 59), LocalTime.of(1, 00, 01),
                      LocalTime.of(1, 59, 59), LocalTime.of(2, 00, 01) };
for(LocalDate localDate : dates) {
    for(LocalTime localTime1 : time) {
        ZonedDateTime zoned = LocalDateTime.of(localDate, localTime1)
                             .atZone(ZoneId.of("UTC"))
                             .withZoneSameInstant(ZoneId.systemDefault());
        System.out.println(zoned);
        System.out.println(new java.util.Date(zoned.toEpochSecond()*1000));
    }
    System.out.println();
}

将打印:

2037-03-29T01:59:59+01:00[Europe/Berlin]
Sun Mar 29 01:59:59 CET 2037
2037-03-29T03:00:01+02:00[Europe/Berlin]
Sun Mar 29 03:00:01 CEST 2037
2037-03-29T03:59:59+02:00[Europe/Berlin]
Sun Mar 29 03:59:59 CEST 2037
2037-03-29T04:00:01+02:00[Europe/Berlin]
Sun Mar 29 04:00:01 CEST 2037

2038-03-28T01:59:59+01:00[Europe/Berlin]
Sun Mar 28 01:59:59 CET 2038
2038-03-28T03:00:01+02:00[Europe/Berlin]
Sun Mar 28 02:00:01 CET 2038
2038-03-28T03:59:59+02:00[Europe/Berlin]
Sun Mar 28 02:59:59 CET 2038
2038-03-28T04:00:01+02:00[Europe/Berlin]
Sun Mar 28 04:00:01 CEST 2038

正如我们所见,两种实现都同意在 2037 年切换到夏令时的时刻,而 java.util.* 实现在 2038 年一小时后切换。

这种行为变化源于具有有限大小的table of hardcoded transition times in sun.util.calendar.ZoneInfo。正如我们看到的at this point,代码分支取决于getTransitionIndex 方法返回的索引。如果索引等于或大于表长度,it falls over to using a SimpleTimeZone implementation

我们可以验证这是否发生:

long l1 = LocalDateTime.of(LocalDate.of(2037, 3, 29), LocalTime.of(1, 00, 01))
                       .atZone(ZoneId.of("UTC")).toInstant().getEpochSecond()*1000;
long l2 = LocalDateTime.of(LocalDate.of(2038, 3, 28), LocalTime.of(1, 00, 01))
                       .atZone(ZoneId.of("UTC")).toInstant().getEpochSecond()*1000;

TimeZone zone=TimeZone.getTimeZone("Europe/Berlin");
Field table=zone.getClass().getDeclaredField("transitions");
table.setAccessible(true);
System.out.println("table length="+((long[])table.get(zone)).length);

Method getTransitionIndex = zone.getClass()
    .getDeclaredMethod("getTransitionIndex", long.class, int.class);
getTransitionIndex.setAccessible(true);
final Integer UTC_TIME = 0;
int indexFor2037 = (Integer)getTransitionIndex.invoke(zone, l1, UTC_TIME);
System.out.println("index for 2037="+indexFor2037);
int indexFor2038 = (Integer)getTransitionIndex.invoke(zone, l2, UTC_TIME);
System.out.println("index for 2038="+indexFor2038);

在我的系统上打印:

table length=143
index for 2037=141
index for 2038=143

我不知道有任何计划在 2038 年更改夏令时,所以我认为 java.time 的实现是正确的。同样明显的是,任何基于硬编码值的有限表的实现都有一个自然的限制……

【讨论】:

  • 关于你的最后一句话,JSR-310 还知道一个“硬编码值的有限表”和一组规则,如 ZoneRules.getTransitions()getTransitionRules() 表示的旧 API一个限制。但我强烈怀疑在 tzdb.dat 替换旧的 zi 格式时,基于 Calendar 的 API 在 2038 年从表值切换到规则时出现了错误。 (2038 可以通过原始 ZoneInfo 格式(zi 文件)仅限于 int-range 来解释。)
  • @Meno Hochschild:我并没有使用“限制”一词作为“必须在某个时候出错”。它意味着行为转换并具有更高的维护工作量。正如getTransitions() 的文档所说,它们通常是历史性的,这是有道理的,因为历史往往充满变化和例外,而对于未来,我们只有一个现行规则(所以不清楚为什么SimpleTimeZone 做错了,也许,当表格达到 2037 时,它未经测试)。当然,一旦我们从 2039 年回顾过去,我们可能还会有很多历史数据、变化和例外……
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2022-01-19
  • 2015-09-19
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多