PHPを使い、'2021-1-15 16:52:10' を検証

Question

###実現したいこと
PHPで日付の検証をしたいです。

###発生している問題
以下の正規表現ですが、もし形式だけあっても、その日付が存在しない（1月32日とか）が検証できないと思います。

###該当のソースコード

function checkDatetimeFormat($datetime){
    return preg_match('/^(?P<year>[0-9]{4})\-(?P<month>[0-9]{2})-(?P<day>[0-9]{2}) ([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]$/', $datetime, $m) === 1
           && checkdate($m['month'] , $m['day'] , $m['year']);
}

###試したこと
フォーマットを使いましたが、falseと判定されてしまいました…

$datetime = '2021-1-15 16:52:10';
$is_datetime = checkDatetimeFormat($datetime);
var_dump($is_datetime);
function checkDatetimeFormat($datetime){
    return $datetime === date("Y-m-d H:i:s", strtotime($datetime));
}

Answer 1

こんな感じなんですが

<?php
$datetime = '2021-1-15 16:52:10';
function checkDatetimeFormat($datetime){
  $pattern='/^(?P<year>\d+)\-(?P<month>\d+)-(?P<day>\d+) (?P<hour>\d+):(?P<minute>\d+):(?P<second>\d+)$/';
  preg_match($pattern, $datetime, $m);
  return preg_match($pattern, $datetime, $m) and
    checkdate($m['month'] , $m['day'] , $m['year']) and
    $m['hour']<24 and $m['minute']<60 and $m['second']<60 ;
}

var_dump(checkDatetimeFormat($datetime));

たとえば2021-1-08とか中途半端なフォーマットも通ってしまう課題があります

Comments

[wakame2]

ありがとうございます。正規表現をものすごくうまく使いますね。中途半端なフォーマットの点へのご忠告も感謝申し上げます。よく検討致します。

Answer 2

フォーマットを使いましたが、falseと判定されてしまいました…

Y-m-dの書式では、1月は01となりますので一致しません（PHP）。

Comments

[maisumakun]

入力として、頭ゼロのあるものとないものの両方が考えられますが、それぞれに対してどのような判定を行いたいでしょうか？

[wakame2]

SQLのDATETIMEと同じものを考えてまして、それをJavaScriptから以下のようにPOSTします。
このPOSTされた値をSQLでデータベースに入れる前に検証したいというのが意図になります。
（CREATE TABLE で DEFAULT は使わず、いったんJavaScriptで生成してからというステップを踏みます）

```JavaScript
// 実行国の時間を素直に取得
console.log(getDateTime(0));
// 日本で実行した場合、標準時を取得
console.log(getDateTime(-9));
// SQLのDATETIMEに挿入する値を生成
function getDateTime( diff = 0 ){
var date = new Date();
date.setHours( date.getHours() + diff );
return date.toLocaleString().replace("/", "-").replace("/", "-");
}
```

[maisumakun]

> このPOSTされた値をSQLでデータベースに入れる前に検証したいというのが意図になります。

どのデータベースのバージョンいくつを使っていますか？

（条件によっては、「2021-01-01」形式だけが正解、ということも考えられます）

[wakame2]

そのような違いまで把握されているとは…驚きです。
MySQL 5.7.31です。

[maisumakun]

MySQLは2021-1-1も通すとのことです。

https://dev.mysql.com/doc/refman/5.6/ja/date-and-time-literals.html

つまり、「どちらも正解」ということになります。

年月日を区切って、checkdateに投げ込んでみてはどうでしょうか？

https://www.php.net/manual/ja/function.checkdate.php

[wakame2]

リンクありがとうございます。MySQLはすべて共通なんですね。
やはりcheckdateを通さないといけませんか…ありがとうございます。
逆にJavaScriptの方で0を付ける巧い方法などはないでしょうか？

[maisumakun]

> 逆にJavaScriptの方で0を付ける巧い方法などはないでしょうか？

フロントエンドは自由に操作できますので、検証などを行う際には頼らないほうがいいです。

[wakame2]

なるほど。ところでcheckdateですと時間が検証できませんから、やはりstrtotimeを使う方向で、以下のように0を加えてみるのはいかが思われますか？見落としや改良点などあればお願いしたいです。

<?php
// 検証対象
$targets = [
// true
'2021-1-15 16:52:10',
'2021-01-15 6:52:10',
'2021-01-15 6:5:0',
'2021-01-5 06:52:10',
'2021-01-05 06:52:10',
// false
'2021-01-00 06:52:10',
'2021-12-32 06:2:10',
'2021-1-30 6:52:10'
];

// 検証を実行
foreach( $targets as $datetime ){
$is_datetime = checkDatetimeFormat($datetime);
var_dump($datetime . ' → ' . json_encode($is_datetime));
}

// 検証コード
function checkDatetimeFormat($datetime){

// '2021-01-15 06:52:10' -> ['2021-01-15','06:52:10']
$exp = explode(' ',$datetime);
$date = $exp[0];
$time = $exp[1];

// 月と日に0がなければ追加
$exp = explode('-',$date);
$y = $exp[0];
$m = strlen($exp[1]) === 1 ? '0'.$exp[1] : $exp[1];
$d = strlen($exp[2]) === 1 ? '0'.$exp[2] : $exp[2];
$date = $y . '-' . $m . '-' . $d;

// 時間に0がなければ追加
$exp = explode(':',$time);
$h = strlen($exp[0]) === 1 ? '0'.$exp[0] : $exp[0];
$m = strlen($exp[1]) === 1 ? '0'.$exp[1] : $exp[1];
$s = strlen($exp[2]) === 1 ? '0'.$exp[2] : $exp[2];
$time = $h . ':' . $m . ':' . $s;

// datetimeに戻して検証
$datetime = $date . ' '. $time;
return $datetime === date("Y-m-d H:i:s", strtotime($datetime));
}