如何在 PHP 中将字符串转换为数字