PHP json_encode函数 数组中键值为数值索引时编码为对象格式而不是数组格式

<?php 

$arr=array(
   '0'=>'张三',
   '1'=>'李四'
)

echo json_encode($arr);

//结果为
['张三','李四']

//不是想要的结果 预期的结果是
//{"0":"张三","1":"李四"}


//解决方案
$arr=new ArrayObject($arr)

echo json_encode($arr)