PHP - 以2个逗号分隔的整数检查前导0

Question

I have a user-input string with 2 comma-delimited integers.

Example (OK):

3,5

I want to reject any user input that contains leading 0's for either number.

Examples (Bad):

03,5
00005,3
05,003

Now what I could do is separate the two numbers into 2 separate string's and use ltrim on each one, then see if they have changed from before ltrim was executed:

$string = "03,5";

$string_arr = explode(",",$string);

$string_orig1 = $string_arr[0];
$string_orig2 = $string_arr[1];

$string_mod1 = ltrim($string_orig1, '0');
$string_mod2 = ltrim($string_orig2, '0');

if (($string_mod1 !== $string_orig1) || ($string_mod2 !== $string_orig2)){
    // One of them had leading zeros!
}

..but this seems unnecessarily verbose. Is there a cleaner way to do this? Perhaps with preg_match?

Answer 1

All the current answers fail if any of the values are simply 0.

You can just convert to integer and back and compare the result.

$arr = explode(',', $input);
foreach($arr as $item) {
    if( (str)intval($item) !== $item ) {
        oh_noes();
    }
}

However I am more curious as to why this check matters at all.