GMTの時刻文字列をJSTの時刻文字列に変換するスマートな方法

あまりスマートには書けませんでした。

以下、日時gmtDateをjava.sql.Timestamp型で取得している前提で説明します。

日時データには、2016-05-18 01:23:45(GMT)がセットされているものとします。

• Java7以前の場合

GMTをセットしたフォーマッターでjava.sql.Timestampの値を文字列としてパースさせることで、JSTに変換しています。

// import java.text.*;
// import java.util.*;

System.out.println("class of gmtDate=" + gmtDate.getClass()); // class java.sql.Timestamp
System.out.println("gmtDate=" + gmtDate); // 2016-05-18 01:23:45.0

DateFormat dfGmt = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
dfGmt.setTimeZone(TimeZone.getTimeZone("GMT"));
Date jstDate = dfGmt.parse(gmtDate.toString());
System.out.println("jstDate=" + jstDate); // Wed May 18 10:23:45 JST 2016
DateFormat df = new SimpleDateFormat("yyyyMMddHHmmssZ");
String jstDateString = df.format(jstDate);
System.out.println("jstDateString=" + jstDateString); // 20160518102345+0900

• Java8以降の場合

DateTime APIを使用するバージョンです。

java.sql.Timestampの固有メソッドであるtoLocalDateTimeを使って一旦LocalDateTimeに変換し、そこからタイムゾーンを付加します。GMTのZonedDateTimeをwithZoneSameInstantメソッドでJSTのZonedDateTimeに変換します。

// import java.sql.Timestamp;
// import java.time.*;
// import java.time.format.DateTimeFormatter;

System.out.println(gmtDate); // 2016-05-18 01:23:45.0

Timestamp ts = (Timestamp)gmtDate;
LocalDateTime gmtLdt = ts.toLocalDateTime();
ZonedDateTime gmtZdt = gmtLdt.atZone(ZoneId.of("GMT", ZoneId.SHORT_IDS));
System.out.println("gmtZdt=" + gmtZdt); // 2016-05-18T01:23:45Z[GMT]
ZonedDateTime jstZdt = gmtZdt.withZoneSameInstant(ZoneId.of("JST", ZoneId.SHORT_IDS));
System.out.println("jstZdt=" + jstZdt); // 2016-05-18T10:23:45+09:00[Asia/Tokyo]
DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yyyyMMddHHmmssZ");
String jstDateString = formatter.format(jstZdt);
System.out.println("jstDateString=" + jstDateString); // 20160518102345+0900

場合によっては、MySQL側でJSTに変換してしまう方が楽かも知れませんね。

Javaは不慣れなのですが、こんなんでいいのかな？

//GMT文字列
String strGMT = "20170101000000";

//Date生成
SimpleDateFormat df = new SimpleDateFormat("yyyyMMddHHmmss");
df.setTimeZone(TimeZone.getTimeZone("GMT"));
Date date = df.parse(strGMT);
System.out.println(date);
//=> Sun Jan 01 00:00:00 UTC 2017

//JST文字列に変換
df.setTimeZone(TimeZone.getTimeZone("JST"));
String strJST = df.format(date);
System.out.println(strJST);
//=> 20170101090000