输入 格式 程序 函数 检查用户