【发布时间】:2014-07-09 20:53:19
【问题描述】:
我有一个类似的字符串-
$strTime = "0920"
PHP中如何将上述字符串转换为时间格式-
0920 -> 09:20
我是 PHP 的超级新手,所以这可能是一个非常基本的问题,我尝试使用 strtotime 方法,但它没有给我预期的输出。
【问题讨论】:
标签: php
我有一个类似的字符串-
$strTime = "0920"
PHP中如何将上述字符串转换为时间格式-
0920 -> 09:20
我是 PHP 的超级新手,所以这可能是一个非常基本的问题,我尝试使用 strtotime 方法,但它没有给我预期的输出。
【问题讨论】:
标签: php
您可以使用这个最快的解决方案:
$strTime = "0920";
echo $strTime[0] . $strTime[1] . ':' . $strTime[2] . $strTime[3];
【讨论】:
如果您知道格式始终相同,您可以按字面意思执行:
我在这里找到了一个例子:Split string into 2 pieces by length using PHP
$a = ":"
$first400 = substr($str, 0, 2);
$theRest = substr($str, 2);
然后创建新的时间字符串:
echo "$first400{$a}$theRest"
我从这里开始使用基本的字符串狂热:http://www.php.net/manual/en/language.operators.string.php 您可以进行一些基本检查以确保其格式正确。例如,如果它是 4 个字符的长度。
【讨论】:
strtotime() 为您提供自 1970 年 1 月 1 日以来的秒数。距离那个寒冷、黑暗的时间诞生 920 秒并不是您要寻找的具体时间。
如果你真的想要那个字符串作为你的输出,中间有冒号,我会用substr_replace()将冒号注入到字符串中
【讨论】: