c语言输入scanf("%1[1234]d%*c", &choice);这是什么意思,那个格式字符...