英字表記の日付をユニックスタイムに変換する方法

質問

以下のようなタイムスタンプ（アパッチのログです）をphpで
ユニックスタイムスタンプに変換するにはどのようなメソッドを使えばいいのでしょうか。
31/Jan/2012:09:48:32

strtotimeやdateやらを色々試してみたのですが
何か根本的に違う気がしました。

フォーマットの定義と文字列を渡すとユニックスタイムに変換できる
以下のようなメソッドはphpに用意されていますか？

$str = メソッド名('d/m/y:h:i:s',$date_str);
//$strにユニックスタイムが格納！！

また上記のようなメソッドが無い場合、
「Jan」などの月名を０などのように変換する方法はありますか？

ご教授、お願い申し上げます。

回答No.2

yambejp · ベストアンサー

＞31/Jan/2012:09:48:32

これではだめですね
せめて「31 Jan 2012 09:48:32」

<?php
$str="31 Jan 2012 09:48:32";
print date("Y-m-d H:i:s",strtotime($str));
?>

もとのフォーマットが確定なら無理やり変換するとか
<?php
$str="31/Jan/2012:09:48:32";
$pattern="/(\d+)\/(\w+)\/(\d+):(\d{2}:\d{2}:\d{2})/";
$replacement="$1 $2 $3 $4";
$str=preg_replace($pattern,$replacement,$str);
print date("Y-m-d H:i:s",strtotime($str));
?>

お礼

ありがとうございます。
なるほどstrtotimeを使うための形式に変換するのですね。
これですね。

ただ今、１の方のアドバイスに従って、文字列を比較して数値に変えるプログラムを作ってたのですがコチラを使うことにします。

ありがとうございます。

回答No.1

Tacosan

「『Jan』などの月名を０などのように変換する」だけなら連想配列を使えばよいかと.

お礼

ご回答ありがとうございます。
メソッドでは用意されていないのですかね？
メソッドと自分で作る関数ではどちらが早いのでしょうか？
大量のデータをやり取りするので処理が早い方法がいいんです。

これについて、どう思われますか？