php-字符串分割为数组后 如何使得每个元素是整形 ？

$string = "1,2,3"
$ids = explode(',', $string);
var_dump($ids);

返回数组：

array(3) {
  [0]=>
  string(1) "1"
  [1]=>
  string(1) "2"
  [2]=>
  string(1) "3"
}

其实我们想要每个元素都是整形  如何做呢？

方法一：

$integerIDs = array_map('intval', explode(',', $string));

方法二：

 $arr = array_filter( explode(',', $string), 'is_numeric');

 最终都会得到

array(3) {
  [0]=>
  int(1) 1
  [1]=>
  int (1) 2
  [2]=>
  int(1) 3
}