php把数组元素是字符串的数字转换为int类型的数组

转换方法

$new_array = json_decode('[' . join(',', $ids) . ']', true);

原本是字符串数组

array(9) {
  [0]=>
  string(3) "230"
  [1]=>
  string(3) "231"
  [2]=>
  string(3) "232"
  [3]=>
  string(3) "143"
  [4]=>
  string(3) "144"
  [5]=>
  string(3) "145"
  [6]=>
  string(3) "146"
  [7]=>
  string(3) "147"
  [8]=>
  string(3) "148"
}

转换后

array(9) {
  [0]=>
  int(230)
  [1]=>
  int(231)
  [2]=>
  int(232)
  [3]=>
  int(143)
  [4]=>
  int(144)
  [5]=>
  int(145)
  [6]=>
  int(146)
  [7]=>
  int(147)
  [8]=>
  int(148)
}