php中字符串长度和截取的函数