python获取从命令行输入数字的方法