Question

php分割文件名

比如说7894.jpg,7895.jpg,7852.jpg,......
我要通过逗号来分割
63625，6565，5665，
html页面
<form name="form1" method="post" action="2.php">
<label>
<input name="mm" type="text" id="mm">
</label>
<label>
<input type="submit" name="Submit" value="提交">
</label>
</form>

从文件夹烤出到另一个文件夹
提交到另一个php页面
<?php
if($_POST["Submit"]=="提交"){
$num=$_POST['mm'];
$a=explode(",",$num);
print_r($a);
这部分怎么做关联
现在我不想上面加后缀名.jpg直接7894,7895,7852,
现在就得在这里加 .jpg
该如何实现
$file = file_get_contents("tu/***");
if($file){
$file = "tu/***";
$newfile = 'temp/***';
copy($file,$newfile);
}
}
else{
echo"ni ";}

?>

Answer 1

$x = '6362, 6565, 5665';
$a = explode(",",$x);
$b = array_map("addjpg", $a);
print_r($b);
function addjpg($v) {
$filename = trim($v) . ".jpg";
$file = "tu/".$filename;
$newfile = "temp/".$filename;
if(file_exists($file)) {
copy($file, $newfile);
}
return $filename;
}

Answer 2

$a=explode(",","7894.jpg,7895.jpg,7852.jpg");
print_r($a);

Answer 3

echo explode（"," , "7894.jpg,7895.jpg,7852.jpg"）；

Answer 4

没补充之前还懂，补充后不知所云。。。

Answer 5

explode(',', $str)