フォーマットチェック+日付チェックの方法

Question

現在、java7で開発を行っています。

ある入力値に対して、タイトルにあるチェックを行いたいと考えています。
具体的には、

①入力値が「日にち+時間+タイムゾーン」のフォーマットにあっているか
②入力値の「日にち+時間」の部分が、日時的に正しいか
というチェックを行いたいと思っています。

今私が考えているイメージとしては、
①
正規表現「\d{4}/\d{1,2}/\d{1,2} \d{1,2}:\d{1,2}:\d{1,2} UTC[+-]\d{1,2}:\d{1,2}」として、チェックでひっかかればフォーマットエラー
②
①がOKな場合、
DateFormat sdf = new SimpleDateFormat("yyyy/MM/dd HH:mm:ss z");
sdf.setLenient(false);
として、sdf.parse("入力値")した際にExceptionが発生すれば日時が正しくないエラー

となるのですが、これよりもスマートに(ロジックとしても簡潔に)チェックできるような
気がしているのですが、この方法で問題ないでしょうか。

もし、これよりもいいチェック方法があれば、ご教示いただけますでしょうか。

Answer 1

②だけで駄目な理由は何でしょう？

---

ParsePositionオブジェクトを作っておくのがいいでしょう。parseメソッドはこのParsePositionオブジェクトを内部で作成しており、解析後このオブジェクトがもつ解析位置が0(つまり解析エラーが発生した)の時、ParseExceptionが発生する仕組みになっています。
ParsePositionは解析位置のほか、エラー発生位置も保持します。この数値から、何が原因でエラーになったかある程度分類することができます。

public static void main(String[] args) {
	DateFormat sdf = new SimpleDateFormat("yyyy/MM/dd HH:mm:ss z");
	sdf.setLenient(false);
	String target = "2016/12/12 12:12:12 UTC*9:00";
	ParsePosition pos = new ParsePosition(0);
	Date date = sdf.parse(target, pos);
	//インデックスが文字列長と一致しなければ、何らかの不具合
	if (pos.getIndex() != target.length()) {
		//エラーインデックスが文字列長と同じなら、最後まで解析できたものの厳密に解釈してありえない日時だった
		if (pos.getErrorIndex() == target.length()) {
			System.out.println("日時エラーです。");
		//それ以外は、途中で解析不能な文字が紛れた、あるいは途中で解析が終了して文末を解析しなかった
		} else {
			System.out.println("フォーマットエラーです。");
		}
	}
}

ちなみに、DateFormat系ではUTC+9:00のようなタイムゾーン指定はできません。GMT+9:00のように、GMTでないといけません。UTC+9:00と書いても、UTCまでで解析が終了し、UTCタイムゾーンと解釈されます。

Comments

[TEKETEKE75180]

私が試したところ、②だけだと
「2016/12/12 12:12:12 aTC+9:00」(UTCではなくaTC)や
「2016/12/12 12:12:12 UTC*9:00」(UTCの後の文字が「*」になっている)が
parseでエラーにならなかったので、①も必要かと考えました。

[TEKETEKE75180]

失礼いたしました。
「2016/12/12 12:12:12 aTC+9:00」はParseExceptionになりました。

[TEKETEKE75180]

申し訳ありません。記載しておりませんでしたがユーザにはUTCタイムゾーンのみを入力させたいので、swordoneさんに載せていただいたロジックですと、UTCタイムゾーンを入力した時にフォーマットエラーになります。

やはり、正規表現でチェックをかけ、DateFormatで日時が正しいか
チェックをするしかないのでしょうか。

[swordone]

上記にも書いたとおり、DateFormatはUTC+9のようなタイムゾーン指定を受け付けないため、DateFormatを使うこと自体、無理のようです。

[TEKETEKE75180]

受け付けないというのはエラーになってしまうという意味でしょうか。
私がローカルで試したところ、UTC+9:00のようなタイムゾーンを指定してもエラーにはなりませんでした。

なので、DateFormatでは、あくまでもUTCより前の「yyyy/MM/dd HH:mm:ss」の日時正当性チェックにのみ使用する想定です。

[swordone]

そもそもUTCもGMTも意味はほぼ同じなのだから、UTCにこだわる理由もないように思いますがね。
だったらUTC~の部分だけ正規表現で判定するなりすればいいでしょう。
判定用にUTCをGMTに置換すればDateFormat一発で済みますが。

> 私がローカルで試したところ、UTC+9:00のようなタイムゾーンを指定してもエラーにはなりませんでした。
エラーにならないだけで、解析は"UTC"で止まり、後続の"+9:00"が解析されないのですよ。
まあ、DateFormatでそこを見ないのならどうでもいいのですが。

[TEKETEKE75180]

>エラーにならないだけで、解析は"UTC"で止まり、後続の"+9:00"が解析されないのですよ。
上の方にも書いてありましたね。失礼いたしました。

上記を考慮し、自分でもう少し考えてみます。
お教えいただき、ありがとうございました。