python怎么判断输入类型