从字符串开头删除字符串

普通格式，不带正则表达式：

$prefix = 'bla_';$str = 'bla_string_bla_bla_bla';if (substr($str, 0, strlen($prefix)) == $prefix) {    $str = substr($str, strlen($prefix));}

花费： 0.0369毫秒 （0.000,036,954秒）

与：

$prefix = 'bla_';$str = 'bla_string_bla_bla_bla';$str = preg_replace('/^' . preg_quote($prefix, '/') . '/', '', $str);

注意到： 0.1749毫秒 （0.000,174,999秒）第一次运行（编译），和 0.0510毫秒 （0.000,051,021秒）之后。

显然，已在我的服务器上进行了分析。