检查字符串是否包含整数

Question

我有$_GET的值，我希望它是整数。

$val = "123";

is_integer($val); // false
is_numeric($val); // true

如何检查它是否为int类型？

我真的必须使用正则表达式，或者将它乘以1并尝试使用is_integer吗？