php如何从CSV中删除前导零？

Question

Ok, let's say I have a string that is CSV: 01,02,05,10,11,13.. what would be the easiest way to remove the leading zeros?

Answer 1

Use preg_replace for this:

$text = "01,02,05,10,11,13,101"; 
echo preg_replace('/(?<=,|\b)0([0-9])/', "$1", $text);

EDIT: Updated the regex to work with numbers with a 0 in the middle of them. (i.e. 101)
Thanks to @BoltClock for helping fix the regex.

Output:

1,2,5,10,11,13,101

The advantage to doing it this way is you don't have to mess with turning all the text into an array, modifying it/looping through it, and then turning it back into text.