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

Question

我有一个只包含数字的字符串。现在我想从该字符串

中删除所有前导0

例如：

input: 000000001230
output: 1230


input: 01000
output: 1000

PHP / Zend中是否有任何功能？

由于

Answer 1

$myvar = ltrim('01000','0');

Answer 2

没有。只有Zend_Filter_StringTrim，但不是ltrim，而是来自两端的preg_replace（虽然知道unicode）。

• 编写一个自定义过滤器，只需从左侧或
进行修剪
• 使用solution offered by oezi或

使用Zend_Filter_Callback：

echo Zend_Filter::filterStatic('000111000', 'Callback', array('ltrim', '0'));
// gives 111000

或使用过滤器实例

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

这样您就可以在过滤器链中使用它。

Answer 3

你不能只是转换为int吗？

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

Answer 4

Zend_Filter_Int也适用于这种特殊情况。