PHP 中 int 和 integer 类型的区别