Come si formatta un javax.time.Instant come una stringa nel fuso orario locale?

Question

Come si formatta uno javax.time.Instant come stringa nel fuso orario locale? Quanto segue traduce uno Instant locale a UTC, non al fuso orario locale come mi aspettavo. La rimozione della chiamata a toLocalDateTime() fa lo stesso. Come posso ottenere l'ora locale invece?

public String getDateTimeString(final Instant instant) 
{ 
    checkNotNull(instant); 
    DateTimeFormatterBuilder builder = new DateTimeFormatterBuilder(); 
    DateTimeFormatter formatter = builder.appendPattern("yyyyMMddHHmmss").toFormatter(); 
    return formatter.print(ZonedDateTime.ofInstant(instant, TimeZone.UTC).toLocalDateTime()); 
} 

Nota: Stiamo usando la versione precedente 0.6.3 dell'attuazione JSR-310 di riferimento.

Answer 1

Prima di votare giù la mia risposta, si prega di notare che la questione in modo esplicito (e in grassetto) si riferisce alla vecchia versione 0.6.3 dell'implementazione di riferimento JSR-310! Ho fatto questa domanda nel dicembre 2012, molto prima dell'arrivo di Java 8 e della nuova libreria di date!

---

ho rinunciato a JSR-310 classi DateTimeFormatter e ZonedDateTime e invece ricorso a vecchio stile java.util.Date e java.text.SimpleDateFormat:

public String getDateTimeString(final Instant instant) 
{ 
    checkNotNull(instant); 
    DateFormat format = new SimpleDateFormat("yyyyMMddHHmmss"); 
    Date date = new Date(instant.toEpochMillisLong()); 
    return format.format(date); 
} 

Answer 2

Perché dovresti utilizzare il fuso orario locale? Stai chiedendo esplicitamente UTC:

ZonedDateTime.ofInstant(instant, TimeZone.UTC) 

Basta specificare il fuso orario locale invece:

ZonedDateTime.ofInstant(instant, TimeZone.getDefault()) 

Answer 3

Rispondere a questa domanda WRT la quasi finito JDK1.8 versione

DateTimeFormatter formatter = 
    DateTimeFormatter.ofPattern("yyyyMMddHHmmss").withZone(ZoneId.systemDefault()); 
return formatter.format(instant); 

La chiave è che Instant non ha alcun fuso orario ionico. Pertanto non può essere formattato utilizzando alcun pattens basato su campi data/ora, come "yyyyMMddHHmmss". Specificando la zona nel DateTimeFormatter, l'istante viene convertito nel fuso orario specificato durante la formattazione, consentendone il corretto output.

Un approccio alternativo è quello di convertire a ZonedDateTime:

DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yyyyMMddHHmmss"); 
return formatter.format(ZonedDateTime.ofInstant(instant, ZoneId.systemDefault())); 

Entrambi gli approcci sono equivalenti, tuttavia vorrei generalmente scegliere la prima se il mio oggetto dati è stato un Instant.

Answer 4

Prova questo:

String dateTime = DateTimeFormatter.ISO_ZONED_DATE_TIME.format(
    ZonedDateTime.ofInstant(instant, ZoneId.systemDefault()) 
); 

Questo dà:

2014-08-25T21:52:07-07:00[America/Los_Angeles] 

È possibile modificare il formato utilizzando qualcosa di diverso DateTimeFormatter.ISO_ZONED_DATE_TIME come il formattatore. DateTimeFormatter ha un sacco di formattatori predefiniti, oppure puoi definirne uno tuo.