php 数字型转换成字符型方法
php教程 数字型转换成字符型方法
方法很简单php字符串int是很容易,只要在变量前面加个(int)就成了，转换成字符也一样的哦。
*/
$str = "10";
$num = (int)$str;
//
$str = "10";
$num = (int)$str;
if ($str === 10) echo "string";
if ($num === 10) echo "integer";
/*
结果为
integer
*/
echo gettype($str); //string
echo gettype($num); //integer
补充：Php教程,Php常用代码 
