PHP 変数の型変換

変数の型変換方法です。

$number = "580";
var_dump($number);

$number = (int)$number;
var_dump($number);

string(3) "580" 
int(580)

以下のようにすることで入力される値に対しても型の指定が可能です。

$number = (int) trim(fgets(STDIN));

簡単でしたね。