php - 在字符串中间添加一个字符

Question

可能有一个简单的解决方案会导致面部受伤。我将时间存储为 4 个字符长的字符串，即 1300。

我试图将该字符串显示为 13:00。我觉得必须有一个比我目前正在做的更优雅的解决方案。

我目前有:

$startTime = get_field($dayStart, $post->ID);
$endTime = get_field($dayEnd, $post->ID);

        for ($x=0; $x = 4; $x++){

            if(x == 2){
                $ST .= ':';
                $ET .= ':';
            } else {
                $ST .= $startTime[x];
                $ET .= $endTime[x];
            }

        }

$startTime = $ST;
$endTime = $ET;

字符串的长度始终为 4 个字符。

Answer 1

$time = "1300";    
$time = substr($time,0,2).':'.substr($time,2,2);

编辑:

这里是这个问题的一般解决方案:

function insertAtPosition($string, $insert, $position) {
    return implode($insert, str_split($string, $position));
}