php 怎么改变类型

（int）、（integer）：转换成整形
（float）、（double）、（real）：转换成浮点型
（string）：转换成字符串
（bool）、（boolean）：转换成布尔类型
（array）：转换成数组
（object）：转换成对象

<?php   
$num1=3.14;   
$num2=(int)$num1;   
var_dump($num1); //输出float(3.14)   
var_dump($num2); //输出int(3)   
?>

<?php   
$str="123.9abc";   
$int=intval($str);     //转换后数值：123   
$float=floatval($str); //转换后数值：123.9   
$str=strval($float);   //转换后字符串："123.9"    
?>

<?php   
$num4=12.8;   
$flg=settype($num4,"int");   
var_dump($flg);  //输出bool(true)   
var_dump($num4); //输出int(12)   
?>

<?php
$str = "123"
if(ereg('^[0-9]+$', $str)) {
    // true
}
?>