php 判断字符串首位为0则去除

$str = "0123"; // 要判断和处理的字符串

if ($str[0] === '0') {
    $str = ltrim($str, '0'); // 去除字符串首位的0
}

echo $str; // 输出结果为 "123"