将数字转换为国际数字，PHP

Question

在PHP中，将手机号码转换为国际格式的最快方法是什么：

所以07123456789变成44712​​3456789。

我尝试了几种方法，但似乎无法让它工作。

这是当前脚本：

    if(strlen($gsm) > 2) {
        if(!substr_compare($gsm, "07", 0, 2, false)) {
            unset($gsm);
        }
        elseif (substr_compare($gsm, "07", 0, 3, true)) {
            if(strlen($gsm) == 11) {
                return "447" . substr($gsm, 2);
            }
        }
    }

注意：此脚本仅在数字与正则表达式匹配时运行。

Answer 1

也许是这样的？

$intl_number = preg_replace('/^0/','44',$uk_number);

或者如果您特别只想使用英国手机号码：（

$intl_number = preg_replace('/^07/','447',$uk_mob_number);

注意：我假设英国特定，因为您在问题中指定了“44”）

这确实使用正则表达式，但执行速度应该相当快，因为​​它锚定到字符串的开头。

Answer 2

我想到的最快的方法是，只要你知道此时的数字与格式 07xxxxxx 匹配：

 $number = "07123456789";
 $number = '44'.substr($number,1);

Answer 3

有一个 PEAR 包用于验证国际电话数字。