PHP中strval()函数如何应用于将非数字类型转换为字符串?