php怎么删除开头字符串

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秒)。