Zend/PHP：如何从字符串中删除所有前导0？

我有一个只包含数字的字符串。现在我想从该字符串中删除所有前导0

例如：

input: 000000001230
output: 1230


input: 01000
output: 1000

PHP/Zend中是否有用于此的函数

谢谢

没有。只有，但这不是

ltrim

，而是

preg\u从两端替换（尽管支持unicode）。或者


编写一个仅从左侧或右侧修剪的自定义过滤器
使用或

使用：

或者使用过滤器实例

$trimmer = new Zend_Filter_Callback('ltrim', '0');
echo $trimmer->filter('000111000'); // gives 111000

通过这种方式，您可以在过滤器链中使用它。
Zend\u Filter\u Int也适用于这种特殊情况。
您不能强制转换为Int吗

$s = '00000414';
print (int)$s; // 414

$trimmer = new Zend_Filter_Callback('ltrim', '0');
echo $trimmer->filter('000111000'); // gives 111000

$s = '00000414';
print (int)$s; // 414