如何使用 LocalTime 对象设置 JSpinner 的值?

How to set the value of a JSpinner using a LocalTime object?

我正在尝试使用 JSpinner 和 Java 8 的时间 API 制作一个时间选择器。我想做一个没有日期的时间选择器。

之前,我使用的是 SimpleDateFormat,但是当我打印出 JSpinner 的值时,那会 return 时间与日期。

那么如何将 LocalTime 对象的值传递给 JSpinner 的 setValue 方法?

这是我当前的代码:

JSpinner timeSpinner = new JSpinner(new SpinnerDateModel());
JSpinner.DateEditor timeEditor = new JSpinner.DateEditor(timeSpinner, "HH:mm");
timeSpinner.setEditor(timeEditor);
LocalTime newTime = LocalTime.of(11, 9);
timeSpinner.setValue(newTime);
        
timeSpinner.setBounds(126, 55, 56, 22);
contentPanel.add(timeSpinner);

还是我采取了错误的方法?

这是我的原始代码:

JSpinner timeSpinner = new JSpinner(new SpinnerDateModel());
JSpinner.DateEditor timeEditor = new JSpinner.DateEditor(timeSpinner, "HH:mm");
timeSpinner.setEditor(timeEditor);
SimpleDateFormat time = new SimpleDateFormat("HH:mm");
try {
    timeSpinner.setValue(time.parseObject("10:00"));
} catch (ParseException timeError) {
    timeError.printStackTrace();
}
timeSpinner.setBounds(126, 55, 56, 22);
contentPanel.add(timeSpinner);

是的,方法 getValue(),属于 class SpinnerDateModel,returns java.util.Date() 的实例,但您可以将其转换为 LocalTime如下:

Object obj = timeSpinner.getValue();
if (obj instanceof java.util.Date) {
    java.util.Date theDate = (java.util.Date) obj;
    java.time.Instant inst = theDate.toInstant();
    java.time.ZoneId theZone = java.time.ZoneId.systemDefault();
    java.time.LocalTime thetime = java.time.LocalTime.ofInstant(inst, theZone); // Since JDK 9
    /*
    LocalTime.from(ZonedDateTime.ofInstant(inst, theZone)); // Since JDK 8
     */
    System.out.println(thetime);
}

如您所见,有两种方法可以将 java.util.Date 转换为 LocalTime,具体取决于您使用的 JDK 版本。

以上代码将以 HH:mm

格式打印 theTime