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 (с поддержкой юникода) с обоих концов Либо

• написать собственный фильтр, который просто обрезается слева или
• используйте решение , предлагаемое 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 также будет работать для этого конкретного случая.