如何将字符删除成字符串？

Question

我有很多字符串,我需要在字符串的开头删除'0',但是更好的方法是什么,因为这是字符串的一个例子:

0130799.jpg //I need to get 130799
0025460.jpg //I need to get 25460

现在,我正在使用substr函数,但我认为如果我使用Regex no会更有效吗？

Answer 1

只是类型转换将有效地做到这一点

echo (int) $var;