Fastest character replacement in string

Question

I need to replace a char in a string.

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

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

$s2 = ???? ; // code

In the end $s2 must be 'abcd5fghi'

What would be fastest method?

Answer 1

If you only have single-byte characters:

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

Otherwise, in case of multi-byte characters, you will probably need to use mb_substr :

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

Answer 2

字符串访问和按字符修改

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