3

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

2 回答 2

6

问题是，这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。

于 2016-05-06T08:38:50.487 回答
1

特征; 不是错误。

ZonedDateTime#parse给予ZoneId比更高的优先级ZoneOffset。文档清楚地提到了它：

在设计方面，这个类应该主要被视为 aLocalDateTime和 a的组合ZoneId。这ZoneOffset是一条重要但次要的信息，用于确保类代表一个瞬间，尤其是在夏令时重叠期间。

通过查看反编译的源代码可以进一步理解：

类 ZonedDateTime

public static ZonedDateTime parse(CharSequence text) {
    return parse(text, DateTimeFormatter.ISO_ZONED_DATE_TIME);
}

public static ZonedDateTime parse(CharSequence text, DateTimeFormatter formatter) {
    Objects.requireNonNull(formatter, "formatter");
    return formatter.parse(text, ZonedDateTime::from);
}

public static ZonedDateTime from(TemporalAccessor temporal) {
    if (temporal instanceof ZonedDateTime) {
        return (ZonedDateTime) temporal;
    }
    try {
        ZoneId zone = ZoneId.from(temporal);
        if (temporal.isSupported(INSTANT_SECONDS)) {
            long epochSecond = temporal.getLong(INSTANT_SECONDS);
            int nanoOfSecond = temporal.get(NANO_OF_SECOND);
            return create(epochSecond, nanoOfSecond, zone);
        } else {
            LocalDate date = LocalDate.from(temporal);
            LocalTime time = LocalTime.from(temporal);
            return of(date, time, zone);
        }
    } catch (DateTimeException ex) {
        throw new DateTimeException("Unable to obtain ZonedDateTime from TemporalAccessor: " +
                temporal + " of type " + temporal.getClass().getName(), ex);
    }
}

类 ZoneId

public static ZoneId from(TemporalAccessor temporal) {
    ZoneId obj = temporal.query(TemporalQueries.zone());
    if (obj == null) {
        throw new DateTimeException("Unable to obtain ZoneId from TemporalAccessor: " +
                temporal + " of type " + temporal.getClass().getName());
    }
    return obj;
}

类 TemporalQuery

public static TemporalQuery<ZoneId> zone() {
    return TemporalQueries.ZONE;
}

static final TemporalQuery<ZoneId> ZONE = new TemporalQuery<>() {
    @Override
    public ZoneId queryFrom(TemporalAccessor temporal) {
        ZoneId zone = temporal.query(ZONE_ID);
        return (zone != null ? zone : temporal.query(OFFSET));// <----- Look at this line
    }

    @Override
    public String toString() {
        return "Zone";
    }
};

此外，整个要点ZonedDateTime是您将其包含ZoneId在其中，以便考虑到夏令时/夏令时，它可以自动为您提供正确的日期时间，例如在没有ZoneId信息的情况下，以下代码将为您提供相同的打印输出声明：

import java.time.ZonedDateTime;

public class Main {
    public static void main(String[] args) {
        String dateTimeString = "2016-05-04T12:58:22+01:00";
        ZonedDateTime dateTime = ZonedDateTime.parse(dateTimeString);
        System.out.println(dateTimeString);
        System.out.println(dateTime.toString());
    }
}

输出：

2016-05-04T12:58:22+01:00
2016-05-04T12:58:22+01:00

同样，这是一个功能。不是错误，因为您要求系统使用固定 ZoneOffset信息解析日期时间字符串。做一个简单的类比，你可以认为是ZoneOffset按字面意思求值，而ZoneId要变量求值。

有几件事可能对您和未来的访客有用：

  1. 日期时间字符串2016-05-04T12:58:22+01:00[Europe/Paris]已采用默认格式ZonedDateTime#parse，因此您无需将 aDateTimeFormatter作为参数传递给它。
  2. System.out.println自动打印参数对象的方法返回的字符串toString，因此您不需要toString显式调用。

因此你的代码，

import static java.time.format.DateTimeFormatter.ISO_ZONED_DATE_TIME;

import java.time.ZonedDateTime;

public class Main {
    public static void main(String[] args) {
        String dateTimeString = "2016-05-04T12:58:22+01:00[Europe/Paris]";
        ZonedDateTime dateTime = ZonedDateTime.parse(dateTimeString, ISO_ZONED_DATE_TIME);
        System.out.println(dateTime.toString());
    }
}

可以简单地写成

import java.time.ZonedDateTime;

public class Main {
    public static void main(String[] args) {
        String dateTimeString = "2016-05-04T12:58:22+01:00[Europe/Paris]";
        ZonedDateTime dateTime = ZonedDateTime.parse(dateTimeString);
        System.out.println(dateTime);
    }
}
于 2021-01-03T14:05:25.353 回答