$a=array();
$a[1]=10;
$a[1.0]=11;
$a['1']=12;
$a['1.0']=13;
print_r($a);
输出结果如下，为什么会这样的结果

(

[1] => 12

[1.0] => 13

)