PHP类型转换

php代码

<?php
$foo = "0"; // $foo 是字符串 (ASCII 48)
var_dump($foo) ; echo '<br/>';

$foo += 2; // $foo 现在是一个整数 (2)
var_dump($foo) ; echo '<br/>';

$foo = $foo + 1.3; // $foo 现在是一个浮点数 (3.3)
var_dump($foo) ; echo '<br/>';

$foo = 5 + "10 Little Piggies"; // $foo 是整数 (15)
var_dump($foo) ; echo '<br/>';

$foo = 5 + "10 Small Pigs"; // $foo 是整数 (15)
var_dump($foo) ; echo '<br/>';
?>

输出：
string(1) "0"
int(2)
float(3.3)
int(15)
int(15)