php - 从字符串的开头删除一个字符串

Question

我有一个如下所示的字符串:

$str = "bla_string_bla_bla_bla";

如何删除第一个 bla_;但只有在字符串的开头找到它？

使用 str_replace()，它会删除 所有 bla_ 的。

Answer 1

简单的形式，没有正则表达式:

$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 秒)之后。

显然是在我的服务器上配置的。