getchar()有什么可以代替