用于求字符串的长度的函数是