php json_decode转换的问题

记json_decode转换的问题

以下代码输出的内容一样：

$a_json=[271221295230427136,271221295230427138];
$a_arr=json_decode($a_json,true);
var_dump($a_arr