【www.gdgbn.com--计数转换】
$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