在从 stdin 读取的 while 循环中捕获 EOF 字符[重复]

下面的代码从stdin逐个字符地传输，直到遇到 EOF 符号 (CTRL-D)。但是，当我执行 CTRL-D 命令时，它不会将其处理为 EOF 字符。

#include <stdio.h>
#include <ctype.h>

int main() {

    char current_character, next_character;

    int amount_of_characters = 0, amount_of_words = 0, amount_of_newlines = 0;

    while( (current_character = getchar()) != EOF) {
        amount_of_characters++;

        if(isspace(current_character) || current_character == '\n') {

            next_character = getc(stdin);

            if(isalpha(next_character)) {
                amount_of_words++;
                ungetc(next_character, stdin);
            }

            if(current_character == '\n') {
                amount_of_newlines++;
            }
        }
    }

    printf("----- Summary -----\n");
    printf("Characters: %d\nWords: %d\nNewlines: %d\n", amount_of_characters, amount_of_words, amount_of_newlines);

    return 0;
}