php integer 和int强制转的区别