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手冊 http://php.net/manual/zh/function.array-merge.php

「如果輸入的數組中有相同的字符串鍵名，則該鍵名後面的值將覆蓋前一個值。然而，如果數組包含數字鍵名，後面的值將不會覆蓋原來的值，而是附加到後面。
如果只給了一個數組並且該數組是數字索引的，則鍵名會以連續方式重新索引。」