PHPで数値判断するときの罠

ctype_digitを使っていて、自分の意図した挙動にならず何時間もハマってしまった。

ググったら解決。

ctype_digitは引数を文字列型として解釈するということで、これが問題の原因でした。intとして解釈してくれるis_numericを使うことで解決しました。