如何将带有时区信息的字符串转换为UTC时间并理解夏令时影响

import java.time.ZonedDateTime;
import java.time.ZoneOffset;
import java.time.format.DateTimeFormatter;

public class TimeZoneConverter {

    public static void main(String[] args) {
        String userTime = "12-09-2022 08:21:32 EST";

        // 定义日期时间格式，'z' 用于解析时区缩写
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("MM-dd-yyyy HH:mm:ss z");

        // 解析字符串为 ZonedDateTime
        ZonedDateTime zdt = ZonedDateTime.parse(userTime, formatter);

        // 将 ZonedDateTime 转换为 UTC 时区，保持瞬间（instant）不变
        ZonedDateTime utcZdt = zdt.withZoneSameInstant(ZoneOffset.UTC);

        System.out.println("原始 ZonedDateTime: " + zdt);
        System.out.println("转换为 UTC: " + utcZdt);
        // 预期输出 (取决于执行日期和系统时区，但此处应为12月的EST)
        // 原始 ZonedDateTime: 2022-12-09T08:21:32-05:00[EST]
        // 转换为 UTC: 2022-12-09T13:21:32Z
    }
}

import java.time.ZonedDateTime;
import java.time.ZoneOffset;
import java.time.format.DateTimeFormatter;

public class TimeZoneDSTExample {

    public static void main(String[] args) {
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("MM-dd-yyyy HH:mm:ss z");

        // 示例1: 2022年9月（东部夏令时 EDT 活跃）
        String septemberTime = "09-12-2022 08:30:00 EST"; // 注意：虽然字符串是EST，但9月会按EDT解析
        ZonedDateTime zdtSeptember = ZonedDateTime.parse(septemberTime, formatter);
        ZonedDateTime utcSeptember = zdtSeptember.withZoneSameInstant(ZoneOffset.UTC);
        System.out.println("--- 9月12日示例 ---");
        System.out.println("原始 ZonedDateTime (9月): " + zdtSeptember); // 预期: ...-04:00[EDT]
        System.out.println("转换为 UTC (9月): " + utcSeptember);    // 预期: ...T12:30:00Z (8:30 + 4小时)

        System.out.println();

        // 示例2: 2022年12月（东部标准时间 EST 活跃）
        String decemberTime = "12-09-2022 08:21:32 EST";
        ZonedDateTime zdtDecember = ZonedDateTime.parse(decemberTime, formatter);
        ZonedDateTime utcDecember = zdtDecember.withZoneSameInstant(ZoneOffset.UTC);
        System.out.println("--- 12月9日示例 ---");
        System.out.println("原始 ZonedDateTime (12月): " + zdtDecember); // 预期: ...-05:00[EST]
        System.out.println("转换为 UTC (12月): " + utcDecember);    // 预期: ...T13:21:32Z (8:21:32 + 5小时)
    }
}