字符串中最快的字符替换

Question

我需要替换字符串中的一个字符。

$s1='123456789';
$s2='abcdefghi';

$p=4; // position of char in $s1 to use for replacing (0 is first char)

$s2 = ???? ; // code

最后$s2必须是'abcd5fghi'

最快的方法是什么？

Answer 1

如果你只有单字节字符：

$s2[$p] = $s1[$p];

否则，如果是多字节字符，您可能需要使用mb_substr：

$s2 = mb_substr($s2, 0, $p).mb_substr($s1, $p, 1).mb_substr($s2, $p+1);

Answer 2

String access and modification by character

$s2[$p] = $s1[$p];