PHP preg_matchと正規表現で日付を取得したい。

Question

preg_matchと正規表現で日付を取得したいのですが、正規表現の記述がきちんとかけていないせいか、出力ができません。

<?php
$time = "'24/Jun/2018:11:07:15 +0000'";
$pattern = '/^[0-9]{2}/[Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Sept|Oct|Nov|Dec]/[0-9]{4}$/';


preg_match($pattern, $time, $date);
echo $date[1]/$date[2]/$date[3];

24/Jun/2018
↑このような出力結果を求めています。

正規表現の記述方法についてアドバイスいただけたら幸いです。よろしくお願いいたします。

Answer 1

$time = "'24/Jun/2018:11:07:15 +0000'";
$pattern = '/^\'([0-9]{2})/(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Sept|Oct|Nov|Dec)/([0-9]{4})\'$/';


preg_match($pattern, $time, $date);
echo $date[1]/$date[2]/$date[3];

ええと、正規表現の []は、「中に書いた文字のどれか1文字にマッチ」なので、「JanかFebかMarか……」みたいな文字列に対しては使えません。()で囲んで|で区切ってください。

次に、PHPのpreg_matchの第3引数で部分マッチした文字列を受け取るには、部分マッチさせたい場所を()で囲む(キャプチャする)必要があります。というわけで、日付と西暦年の部分も()で囲んでください。

修正:
よく見ると、対象文字列は(文字として)引用符を先頭と末尾に含んでいたため、パターンにそれらを追加した。

Comments

[退会済みユーザー]

ありがとうございます！括弧についてのアドバイスありがとうございます！丸括弧と角括弧の違いがよく理解できました！ですが、作成していただいたコードを試したのですが、うまく出力ができません・・。（今自分でも原因を考えています。）

[Daregada]

ああ、よく見たら"の内側に'が付いていますね(なぜ??)。
'/^\'([0-9]{2})/(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Sept|Oct|Nov|Dec)/([0-9]{4})\'$/'
と^の後と$の前に \' を付けてみてください。

[退会済みユーザー]

ありがとうございます。何度も答えていただき、すみません。助かりました！

Answer 2

すでに指摘が出ている箇所は飛ばすとして、

[Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Sept|Oct|Nov|Dec]

文法の理解が間違っているように思います。角括弧ではなく丸括弧であるべきところですね。

Comments

[退会済みユーザー]

ありがとうございます！丸括弧なんですね・・・！

Answer 3

無理に正規表現にしなくても

<?php

$time = "'24/Jun/2018:11:07:15 +0000'";
list($date,$other) = explode(":",$time);
$date = str_replace("'","",$date);

echo $date; //出力結果 24/Jun/2018

みたいな感じで整形しちゃうのはダメでしょうか。

もしくはdate()かDateTimeに渡して日付として扱う

<?php

$time = str_replace("'","","'24/Jun/2018:11:07:15 +0000'");
echo date("d/M/Y",strtotime($time));

Comments

[退会済みユーザー]

ありがとうございます。こういう方法もあるのですね。ですが、正規表現でのやり方を調べてまして‥。アクセスログの日付を成果表現で切りとって出力する方法を調べてます。$timeの中身の数字や月が変わっても出力できるような正規表現を考えています。すみませんがアドバイスいただけたら幸いです。

Answer 4

+0000が微妙ですねGMTなのでしょうか？

$time = "24/Jun/2018:11:07:15 +0900";
print date("d/M/Y",strtotime($time));

Comments

[退会済みユーザー]

ありがとうございます。課題として取り組んでいるものなので、GMTの正しい値かどうかは不明です。

[yambejp]

+0000だと、日本時間で表示すると
$time = "24/Jun/2018:20:07:15 +0000";
が「25/Jun/2018」になってしまいます

[退会済みユーザー]

なるほど、そうなんですね・・
ありがとうございます！ちょっと調べてみます。