[解決済み] FILTER_SANITIZE_NUMBER_INTが文字列をint型に変換しない

質問

と思ったのですが 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'];