请问php如何将数组值从字符串转换为int？

请问php里面explode如何把数字组成的字符转转换成 数字型

例如：$string = "1,2,3,4"

通过explode转换成数组：

$ids = explode(',', $string);

var_dump($ids);

结果打印出来是字符类型，php数组如何转换成数字类型呢

array(3) {
  [0]=>
  string(1) "1"
  [1]=>
  string(1) "2"
  [2]=>
  string(1) "3"
}
我需要的值是int类型而不是string类型。 有没有比使用foreach循环数组并将每个字符串转换为int更好的方法？
循环方法：

foreach ($r as &$i) $i = (int) $i;

解决方法：

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