void clean_stdin(void) { int c; do { c = getchar(); } while (c != '\n' && c != EOF); } 相关文章: 2022-12-23 2022-12-23 2022-01-03 2021-04-21 2022-12-23 2022-12-23 2022-12-23 2021-05-20