例如,我有数据
8789 WWW xxx 8739
如果值是这样,则该值仍为786-456而不是786
786-456
我想在字符串字符之前获取数字,怎么做?
结果应该是
8789
786-456
这是我编写的代码
$string = '123 home/cat1/subcat2/';
$first = strtok($string, "/^[a-zA-Z]");
echo $first;
我想要的结果应该是
123
答案 0 :(得分:4)
您可以简单地将其转换为一个int,在遇到非int字符之前,它将尽可能多地进行转换。
$str="8789 WWW xxx 8739";
echo (int)$str;//outputs 8789