Java 时区数据库与 IANA 数据

Question

IANA 数据库和 Java tzdb.dat 2019c 之间存在夏令时差异
非洲/卡萨布兰卡时区的数据库让我很困惑。可能还有其他的，但我找到了这个。据我所知，IANA 时区数据库清楚地表明摩洛哥(非洲/卡萨布兰卡)支持 DST 不幸的是，2019c 版本中的 Java 时区数据库 tzdb.dat 不同意。这已经并将给我带来无限的悲伤。我在这里错过了什么，或者其他人看到过这种东西

非洲/卡萨布兰卡的 IANA 表 2019c

注:下表部分显示正常时间为 UTC+1，夏令时为 UTC 斜线 (/) 分隔标准和夏令时缩写

区域名称 STDOFF 规则格式 [直到]

非洲区/卡萨布兰卡 -0:30:20 - LMT 1913 年 10 月 26 日

         0:00   Morocco +00/+01 1984 Mar 16
         1:00   -   +01 1986
         0:00   Morocco +00/+01 2018 Oct 28  3:00    
         1:00   Morocco +01/+00

从 2018 年 10 月 28 日到现在，标准的偏移量是 +1，夏令时的偏移量是 +0(斜线 (/) 分隔标准和日光缩写。)
STDOFF 1:00 所以添加到 UT 以获得标准时间的时间量，没有对夏令时进行任何调整，这对应于 UTC +1，即当前摩洛哥时间。
因此，我们采用 UTC 区域非洲/卡萨布兰卡，并根据斋月添加偏移量 +01/+00。

考试

我编写了一个简单的 Java 类来检查 2019c TZDB。这个类(如下所示)表明最新的 Java 时区数据文件 tzdb.dat 文件有问题。此测试使用 IBM SR5FP40 和时区 2019c 数据文件运行。我使用 2019c 数据文件在 OpenJDK 上得到了相同的结果。

tzdb.dat 的第一行显示 2019c
TZDB 2019cX 非洲/阿比让非洲/阿克拉非洲/亚的斯_亚贝巴非洲/阿尔及尔

测试显示问题

时区 = 非洲/卡萨布兰卡
支持夏令时 = false
日期 Mon May 20 00:00:00 WET 2019 目前处于夏令时假
时区名称 西欧时间
时区 ID 非洲/卡萨布兰卡

还运行了基线测试以显示是否支持 DST，代码将显示它。

时区 = 欧洲/罗马
支持夏令时 = true
日期 Mon May 20 00:00:00 CEST 2019 目前是 DST 真
时区名称 中欧时间
时区 ID 欧洲/罗马

代码在这里供引用

import java.util.*; 
import java.text.SimpleDateFormat;
import java.text.ParseException;

public class checkdaylight{ 

    public static void main(String[] args) 
    { 

        // Create TimeZone object
        //Europe/Rome
        //Pacific/Pago_Pago
        //Africa/Casablanca
        String TimezoneToTest = "Africa/Casablanca";
        System.out.println("Time Zone = " + TimezoneToTest);
        TimeZone obj = TimeZone.getTimeZone(TimezoneToTest); 
        TimeZone.setDefault(TimeZone.getTimeZone(TimezoneToTest)); //to avoid confusion

        // Checking day light time 
        // and displaying the result 
        System.out.println("Supports Day light Savings time  = "
                        + obj.useDaylightTime()); 
        String pattern = "yyyy-MM-dd";
        SimpleDateFormat simpleDateFormat = new SimpleDateFormat(pattern);
        try{
            simpleDateFormat.setTimeZone(TimeZone.getTimeZone(TimezoneToTest));
            Date checkdate = simpleDateFormat.parse("2019-05-20");
            System.out.println("Date " + checkdate.toString()+ " is currently in DST "+ obj.inDaylightTime(checkdate));
         } catch (ParseException e) {
            e.printStackTrace();
        }

        System.out.println("Time zone name " +obj.getDisplayName());
        System.out.println("Time zone ID " + obj.getID());

    } 
} 

Answer 1

摩洛哥现在永久采用夏令时

截至 2018 年 10 月 26 日， 摩洛哥永久切换到 DST† 。

Morocco 政府仅在 Decree 2.18.855 中发出了 2 天的通知(!)。显然，政府打算停止所有时钟偏移，不再更改 DST 和 Ramadan 。该法令意味着 +01:00 全年 的 偏移量。

该法令还意味着摩洛哥不再“处于夏令时”。新常态是 UTC 前一小时的偏移量，而在过去，偏移量通常是 UTC(零时分秒的偏移量)。所以请注意，在下面的代码中，现在(2020 年初)调用 ZoneRules::isDaylightSavings 会返回 false。

有关详细信息，请参阅维基百科: Daylight saving time in Morocco 。

†当我说“永久”时，请使用 grain of salt 。世界各地的政治家都表现出频繁更改各自时区偏移量的倾向。这种“永久采用夏令时”只是最近引起政界人士青睐的时尚。总是期待进一步的变化。

避免遗留的日期时间类

您正在使用多年前被 JSR 310 中定义的现代 java.time 类取代的糟糕的日期时间类。不再有任何理由使用那些糟糕的遗留类。



时间

指定您想要的时区。

ZoneId zCasablanca = ZoneId.of( "Africa/Casablanca" ) ;

获取区域规则。

ZoneRules rulesCasablanca = zCasablanca.getRules() ;

询问适用于该区域特定时刻的规则。

ZoneOffset offset = rulesCasablanca.getOffset( Instant.now() ) ;
boolean isDst = rules.isDaylightSavings( instant ) ;

或者将其折叠为一行。

ZoneOffset offset = ZoneId.of( "Africa/Casablanca" ).getRules().getOffset( Instant.now() ) ;

验证您的 Java 版本。

System.out.println( "Java vendor and version:" ) ;
System.out.println( "    " + System.getProperty("java.vendor") ) ;
System.out.println( "    " + Runtime.version() ) ;

String tzdataVersion = 
    java.time.zone.ZoneRulesProvider
              .getVersions("UTC")
              .lastEntry()
              .getKey() 
;
System.out.println( "tzdata: " + tzdataVersion ) ;
System.out.println( "" ) ;

请参阅此代码 run live at IdeOne.com 。

Java vendor and version:

Oracle Corporation

12.0.1+12

tzdata: 2018g

offset.toString(): +01:00

isDst: false

具体日期

让我们试试你的具体日期。

    LocalDate localDate = LocalDate.parse( "2019-05-20" ) ;
    ZonedDateTime zdt = localDate.atStartOfDay( z ) ;
    System.out.println( "zdt.toString(): " + zdt ) ;
    System.out.println(
        "offset: " + rules.getOffset( zdt.toInstant() ) + 
        "  |  is in DST: " + rules.isDaylightSavings( zdt.toInstant() ) 
    );

zdt.toString(): 2019-05-20T00:00+01:00[Africa/Casablanca]

offset: +01:00 | is in DST: false

数据

Oracle lists tzdata 文件内置于 Java 运行时中。

该列表显示摩洛哥切换到永久夏令时已在 tzdata2018g 中说明。该 tzdata 文件与 Java 版本 11.0.2、8u201 和 7u211 捆绑在一起。至少 Oracle 捆绑了它，而我认为 OpenJDK 项目也是如此(我没有验证)。

Morocco switches to permanent +01 on 2018-10-27.

Morocco switches from +00/+01 to permanent +01 effective 2018-10-27, so its clocks will not fall back on 2018-10-28 as previously scheduled.

要获取 JVM 使用的 tzdata 数据文件的版本，请参阅问题 this Answer 上的 Java - find tzdata version in use regardless of JRE version 。

关于 java.time

java.time 框架内置于 Java 8 及更高版本中。这些类取代了麻烦的旧 legacy 日期时间类，例如 java.util.Date 、 Calendar 和 SimpleDateFormat 。

要了解更多信息，请参阅 Oracle Tutorial 。并在 Stack Overflow 上搜索许多示例和解释。规范是 JSR 310 。

Joda-Time 项目，现在在 maintenance mode 中，建议迁移到 java.time 类。

您可以直接与您的数据库交换 java.time 对象。使用符合 JDBC driver 或更高版本的 JDBC 4.2。不需要字符串，不需要 java.sql.* 类。

从哪里获得 java.time 类？

Java SE 8 、 Java SE 9 、 Java SE 10 、 Java SE 11 和更高版本 - 具有捆绑实现的标准 Java API 的一部分。

Java 9 添加了一些小功能和修复。

Java SE 6 和 Java SE 7

大多数 java.time 功能在 ThreeTen-Backport 中被反向移植到 Java 6 和 7。

Android

更高版本的 Android 捆绑实现 java.time 类。

对于早期的Android(<26)，ThreeTenABP 项目适配了ThreeTen-Backport(上面提到过)。见 How to use ThreeTenABP… 。

ThreeTen-Extra 项目使用附加类扩展了 java.time。该项目是 future 可能添加到 java.time 的试验场。您可能会在这里找到一些有用的类，例如 Interval 、 YearWeek 、 YearQuarter 和 more 。