Самая быстрая замена символов в строке

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

Доступ к строке и ее модификация символом

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