Php 提交HTML表单后，是否将所有$\u POST值转换为整数？

我有一个web表单，当它被提交时，我将数据发布到PHP页面。现在我需要PHP将POST中的每个值转换为整数。目前，我试着做如下

$_POST = array_map("convert",$_POST);

function convert(val){
    return (int)$val;
}

是否有一个内置的PHP函数用于此功能。

如何使用，而不是使用您自己的

convert

函数

返回var的整数值， 将指定的基用于 转换（默认值为基数10）

（当然，仍然使用

array\u map

）

我认为：

$res = array_map('intval', $_POST);

它足够短了