在提交HTML表单时将所有$ _POST值转换为整数?

Rol*_*and 0 php

我有一个Web表单,当它被提交时,我将数据发布到PHP页面.现在我需要PHP来转换POST中的每个值以转换为整数.目前我试过这样做,如下所示

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

function convert(val){
    return (int)$val;
}
Run Code Online (Sandbox Code Playgroud)

是否有内置的PHP函数.

Sil*_*ost 8

我以为:

$res = array_map('intval', $_POST);
Run Code Online (Sandbox Code Playgroud)

很短.