立即学习:https://edu.csdn.net/course/play/26676/338787?utm_source=blogtoedu if not num_input.isdigit()判断用户输入的是不是数字