我以为filter_input(type, name, FILTER_SANITIZE_NUMBER_INT)
将字符串转换为int,但似乎没有。
$id = filter_input(INPUT_GET, 'id', FILTER_SANITIZE_NUMBER_INT);
if (isset($id) && is_int($id))
还有另一种干净但可行的方法来做到这一点吗?
您可以随时将其投射:
$id = (int) $_GET['id'];
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句