java删除字符串开头的,从字符串的开头删除一个字符串

速度不错，但是硬编码依赖于以_结尾的针 . 有通用版本吗？ - 托德莫6月29日23:26

一般版本：

$parts = explode($start, $full, 2);

if ($parts[0] === '') {

$end = $parts[1];

} else {

$fail = true;

}

一些基准：

$iters = 100000;

$start = "/aaaaaaa/bbbbbbbbbb";

$full = "/aaaaaaa/bbbbbbbbbb/cccccccccc/dddddddddd/eeeeeeeeee";

$end = '';

$fail = false;

$t0 = microtime(true);

for ($i = 0; $i < $iters; $i++) {

if (strpos($full, $start) === 0) {

$end = substr($full, strlen($start));

} else {

$fail = true;

}

}

$t = microtime(true) - $t0;

printf("%16s : %f s\n", "strpos+strlen", $t);

$t0 = microtime(true);

for ($i = 0; $i < $iters; $i++) {

$parts = explode($start, $full, 2);

if ($parts[0] === '') {

$end = $parts[1];

} else {

$fail = true;

}

}

$t = microtime(true) - $t0;

printf("%16s : %f s\n", "explode", $t);

在我很老的家用电脑上：

$ php bench.php

输出：

strpos+strlen : 0.158388 s

explode : 0.126772 s