格式化字符串的问题

Question

'id为字符串,如12,1,475GetId = String(4-Len(Id),48) & Id

Answer 1

function mystr($instr){
if ( strlen($instr)==1 ){outStr="000".$instr;}
if ( strlen($instr)==2){outStr="00".$instr;}
if ( strlen($instr)==3 ){outStr="0".$instr;}
if ( strlen($instr)==4 ){outStr="0000";}
  return $instr;
}
echo mystr("12");

Answer 2

老大！php里没有STRING这个函数呀？

Answer 3

$t1 = "12";
echo sprintf("%04s",$t1);

Answer 4

echo preg_replace('/(\d+)/e', 'sprintf("%04d", $1)', '"23","1","475"');