php字符串长度函数_php求字符串长度函数