假设值为$value:

呼应它: 08年printf (" % d”,美元值); 要得到它: $formatted_value = sprintf("%08d"， $value);

这样应该可以了

echo str_pad("1234567", 8, '0', STR_PAD_LEFT);

虽然我不太确定您想要做什么，但您可能正在寻找sprintf。

这就是:

$value = sprintf( '%08d', 1234567 );

使用sprintf:

sprintf('%08d', 1234567);

或者你也可以使用str_pad:

str_pad($value, 8, '0', STR_PAD_LEFT);

我写了这个简单的函数来生成这样的格式:01:00:03

秒总是显示(即使是0)。 如果分钟大于零，或者需要数小时或数天，则显示分钟。 如果小时大于零或需要数天，则显示小时。 如果天大于零，则显示天数。

function formatSeconds($secs) {
    $result = '';

    $seconds = intval($secs) % 60;
    $minutes = (intval($secs) / 60) % 60;
    $hours = (intval($secs) / 3600) % 24;
    $days = intval(intval($secs) / (3600*24));

    if ($days > 0) {
        $result = str_pad($days, 2, '0', STR_PAD_LEFT) . ':';
    } 

    if(($hours > 0) || ($result!="")) {
        $result .= str_pad($hours, 2, '0', STR_PAD_LEFT) . ':';
    } 

    if (($minutes > 0) || ($result!="")) {
        $result .= str_pad($minutes, 2, '0', STR_PAD_LEFT) . ':';
    } 

    //seconds aways shown
    $result .= str_pad($seconds, 2, '0', STR_PAD_LEFT); 

    return $result;

} //funct

例子:

echo formatSeconds(15); //15
echo formatSeconds(100); //01:40
echo formatSeconds(10800); //03:00:00 (mins shown even if zero)
echo formatSeconds(10000000); //115:17:46:40 

如果输入的数字总是7或8位，也可以使用

$str = ($input < 10000000) ? 0 . $input : $input;

我运行了一些测试，这将比str_pad或sprintf快一倍。 如果输入可以是任意长度，那么你也可以使用

$str = substr('00000000' . $input, -8);

这没有另一个快，但也应该比str_pad和sprintf快一点。

顺便说一句:我的测试还说sprintf比str_pad快一点。我使用PHP 5.6进行所有测试。

编辑:虽然substr版本看起来仍然非常快(PHP 7.2)，但它也被打破了，以防你的输入可能比你想要填充的长度更长。例如，你想要填充到3位数字，而你的输入有4个比substr('0000'。'1234'， -3) = '234'只会产生最后3位数字