php怎么将字符串强转为int类型