获取变量类型
$num=2212.222;echo gettype($num);
判断变量类型
if(is_integer($num)){ echo "yes";}else{ echo "no";}
数据类型转换
$num="22";$num=(integer)$num;echo $num;
php类型
原文：http://www.cnblogs.com/sheying/p/7840656.html
