Question

PHP 输出数字0=开头的字符串

用echo输出例如$str=0123456; 我想对$str进行+1操作 即变成0123457 应该怎么写程序？

Answer 1

<?php
$var = sprintf("%03d", 12); //将数字格式化为3位，不足位补0，如012
echo $var; //输出结果为：012
?>

Answer 2

    $s = '0123456';
    $s = substr($s , 0 , -1) . (intval(substr($s , -1)) + 1);
    echo($s);