在python中如何获得字符串长度