在
PHP中int和integer之间有什么区别吗？
哪个是较新的或更推荐的用途？
$a = (int)"3 euros"; echo $a; // $a==3 $a = (integer)"3 euros"; echo $a; // $a==3
引用
manual：
原文链接：https://www.f2er.com/php/139833.htmlConverting to integer
To explicitly convert a value to integer,use either the (int) or (integer) casts. …
