php 从字符串的开头删除一个字符串
具体问题：
我有一个字符串，看起来像这样：
$str = "bla_string_bla_bla_bla";
如何删除第一个bla_;但只有当它在字符串的开头找到吗？
使用str_replace()，它删除所有bla_的。
方法：
方法一：
$prefix = 'bla_';
$str = 'bla_string_bla_bla_bla';
if (substr($str, 0, strlen($prefix)) == $prefix) {
$str = substr($str, strlen($prefix));
}
需要：0.0369 ms(0.000,036,954秒)
方法二：
$prefix = 'bla_';
$str = 'bla_string_bla_bla_bla';
$str = preg_replace('/^' . preg_quote($prefix, '/') . '/', '', $str);
第一次运行(编译)0.1749 ms(0.000,174,999秒)，之后为0.0510 ms(0.000,051,021秒)。
