php array_merge的坑，数字键名不会覆盖前值

使用php语言的array_merge函数时，以为相同的键名会覆盖，但是请看如下代码：

$a1 = array(1=>'abc', 3=>10);
$a2 = array(1=>'efg', 3=>20);
print_r(array_merge($a1, $a2));

会输出什么？我们预想中的是：

Array
(
    [1] => efg
    [3] => 20
)

实际上输出的是：

Array
(
    [0] => abc
    [1] => 10
    [2] => efg
    [3] => 20
)

不但没有被覆盖，而且数字键被重新连续索引了。

起初以为这个是bug，后来翻了php手册