C语言中getchar()的返回类型为什么是int详解