php - 以最有效的方式将不常见的日期格式转换为时间戳？

Question

我有一个这种格式的日期:20101101120000

我需要使用 PHP 将其转换为时间戳。

我一直在网上搜索 PHP 文档，但找不到任何可以直接转换的内容。一个存在吗？如果不是，进行转换的最有效方法是什么？感谢您的帮助。

Answer 1

您可以使用 DateTime::createFromFormat 来执行此操作:

$d = DateTime::createFromFormat('YmdGis', '20101101120000');

$d 现在是 DateTime 实例。您可以使用 $d->getTimestamp() 将其转换为时间戳。或使用 DateTime方法。

请注意，这需要 PHP 5.3。