python输入一个字符串并求出长度