首页 / PHP / php如何将int转为字符串