由于夏令时,识别重复 Date/Times
Identifying Repeated Date/Times due to Daylight Savings
我正在尝试从字符串中解析日期。
我想确定由于夏令时时钟倒退并且时间实际上是同一天 "repeated" 的情况。
例如,根据英国夏令时,时钟在 2019 年 10 月 27 日凌晨 2 点倒退一小时。
因此:
- 12:30AM2019 年 10 月 27 日,
- 一小时后 - 1:30AM 2019 年 10 月 27 日,
- 一小时后 - 1:30AM 2019 年 10 月 27 日(截至凌晨 2 点,我们倒退了一小时),
- 一小时后 - 2:30AM2019 年 10 月 27 日。
因此“1:30AM 27/10/2019”指的是两个不同的时间。这就是我要确定的情况。
我创建了以下内容,但它使用了 Date
& Calendar
类 和一些已弃用的方法。我想使用新的 java.time
功能来做到这一点 - 我希望有一个更简单的解决方案。
public static boolean isDateRepeatedDST(final Date date, TimeZone timeZone) {
if (timeZone == null) {
// If not specified, use system default
timeZone = TimeZone.getDefault();
}
if (timeZone.useDaylightTime()) {
// Initially, add the DST offset to supplied date
// Handling the case where this is the first occurrence
Calendar calendar = Calendar.getInstance();
calendar.setTime(date);
calendar.add(Calendar.MILLISECOND, timeZone.getDSTSavings());
// And determine if they are now logically equivalent
if (date.toLocaleString().equals(calendar.getTime().toLocaleString())) {
return true;
} else {
// Then try subtracting the DST offset
// Handling the second occurrence
calendar = Calendar.getInstance();
calendar.setTime(date);
calendar.add(Calendar.MILLISECOND, -timeZone.getDSTSavings());
if (date.toLocaleString().equals(calendar.getTime().toLocaleString())) {
return true;
}
}
}
// Otherwise
return false;
}
ZoneId zone = ZoneId.of("Europe/London");
ZonedDateTime dateTime = ZonedDateTime.of(2019, 10, 27, 0, 30, 0, 0, zone);
for (int i = 0; i < 4; i++) {
System.out.println(dateTime);
dateTime = dateTime.plusHours(1);
}
输出:
2019-10-27T00:30+01:00[Europe/London]
2019-10-27T01:30+01:00[Europe/London]
2019-10-27T01:30Z[Europe/London]
2019-10-27T02:30Z[Europe/London]
可以看到01:30的时间重复了,而且两次的偏移量都不一样。
如果你想测试一个时间是否重复:
public static boolean isDateRepeatedDST(ZonedDateTime dateTime) {
return ! dateTime.withEarlierOffsetAtOverlap().equals(dateTime.withLaterOffsetAtOverlap());
}
如果我们修改打印语句,就可以在上面的循环中使用它:
System.out.format("%-37s %s%n", dateTime, isDateRepeatedDST(dateTime));
2019-10-27T00:30+01:00[Europe/London] false
2019-10-27T01:30+01:00[Europe/London] true
2019-10-27T01:30Z[Europe/London] true
2019-10-27T02:30Z[Europe/London] false
我正在尝试从字符串中解析日期。
我想确定由于夏令时时钟倒退并且时间实际上是同一天 "repeated" 的情况。
例如,根据英国夏令时,时钟在 2019 年 10 月 27 日凌晨 2 点倒退一小时。
因此:
- 12:30AM2019 年 10 月 27 日,
- 一小时后 - 1:30AM 2019 年 10 月 27 日,
- 一小时后 - 1:30AM 2019 年 10 月 27 日(截至凌晨 2 点,我们倒退了一小时),
- 一小时后 - 2:30AM2019 年 10 月 27 日。
因此“1:30AM 27/10/2019”指的是两个不同的时间。这就是我要确定的情况。
我创建了以下内容,但它使用了 Date
& Calendar
类 和一些已弃用的方法。我想使用新的 java.time
功能来做到这一点 - 我希望有一个更简单的解决方案。
public static boolean isDateRepeatedDST(final Date date, TimeZone timeZone) {
if (timeZone == null) {
// If not specified, use system default
timeZone = TimeZone.getDefault();
}
if (timeZone.useDaylightTime()) {
// Initially, add the DST offset to supplied date
// Handling the case where this is the first occurrence
Calendar calendar = Calendar.getInstance();
calendar.setTime(date);
calendar.add(Calendar.MILLISECOND, timeZone.getDSTSavings());
// And determine if they are now logically equivalent
if (date.toLocaleString().equals(calendar.getTime().toLocaleString())) {
return true;
} else {
// Then try subtracting the DST offset
// Handling the second occurrence
calendar = Calendar.getInstance();
calendar.setTime(date);
calendar.add(Calendar.MILLISECOND, -timeZone.getDSTSavings());
if (date.toLocaleString().equals(calendar.getTime().toLocaleString())) {
return true;
}
}
}
// Otherwise
return false;
}
ZoneId zone = ZoneId.of("Europe/London");
ZonedDateTime dateTime = ZonedDateTime.of(2019, 10, 27, 0, 30, 0, 0, zone);
for (int i = 0; i < 4; i++) {
System.out.println(dateTime);
dateTime = dateTime.plusHours(1);
}
输出:
2019-10-27T00:30+01:00[Europe/London] 2019-10-27T01:30+01:00[Europe/London] 2019-10-27T01:30Z[Europe/London] 2019-10-27T02:30Z[Europe/London]
可以看到01:30的时间重复了,而且两次的偏移量都不一样。
如果你想测试一个时间是否重复:
public static boolean isDateRepeatedDST(ZonedDateTime dateTime) {
return ! dateTime.withEarlierOffsetAtOverlap().equals(dateTime.withLaterOffsetAtOverlap());
}
如果我们修改打印语句,就可以在上面的循环中使用它:
System.out.format("%-37s %s%n", dateTime, isDateRepeatedDST(dateTime));
2019-10-27T00:30+01:00[Europe/London] false 2019-10-27T01:30+01:00[Europe/London] true 2019-10-27T01:30Z[Europe/London] true 2019-10-27T02:30Z[Europe/London] false