我在许多应用程序中使用过这两个函数来检查和验证整数，如下所示
$foo = $bar;
if (filter_var($foo,FILTER_VALIDATE_INT)) {
// do something
}
和
if (is_int($foo)) {
// do something
}
两者都工作得很好，但我想知道两者在速度和结果方面的区别，因为 PHP 是一种棘手的语言，在似乎做同样事情的函数之间存在差异，例如mt_rand和rand