全国





その他

cast



$x="123";
$z=(int)$x;



キャスト
型変換
文字列１２３を
int123へ型変換する。

　　　　　　　　　　　　　　　　　　　　　　　　　　　return　PHP5Tips