Cracer-python字符类型 python中的字符数字之间的转换函数