为何使用std::cin.ignore无法正确刷新输入流？

之前一直用以下代码清空输入缓冲区：

std::cin.ignore(std::numeric_limits<std::streamsize>::max(), '\n');
std::cin.clear();

但运行下面的代码时出现异常：

#include <iostream>
#include <vector>
#include <limits>

int main(){
    std::vector<int> v;
    for(int i; std::cin >> i; )
        v.push_back(i);

    std::cin.ignore( std::numeric_limits<std::streamsize>::max(), '\n' );
    std::cin.clear();

    int x;
    std::cout << "x: ";
    std::cin >> x;
    std::cout << x << '\n';

    std::cout << std::endl;
}

输入内容：

4
5
7
^d  // 按下Ctrl+D输入EOF

输出结果：

x: 0

问题：程序没有等待输入x，直接输出了0。尝试调换std::cin.clear()和std::cin.ignore()的顺序，问题依旧。补充：环境为Fedora 33 + g++ 10.3.1 + Code::Blocks 20.03；若输入非整数（如字符'a'）则程序正常，仅输入EOF时出错。

• EOF的特殊状态：按下Ctrl+D输入EOF时，std::cin会同时设置failbit和eofbit，此时流处于不可用状态。
• ignore的无效执行：如果先调用ignore，由于流处于错误状态，ignore直接失败，不会清除任何缓冲区内容；即使先调用clear()清除状态，此时输入缓冲区已被EOF耗尽，ignore尝试读取更多字符时会再次触发EOF，重新设置eofbit，导致后续std::cin >> x读取失败。
• 未初始化变量的随机值：int x是未初始化的局部变量，当std::cin >> x读取失败时，x的值不会被修改，输出的0是栈内存的随机默认值。

调整代码逻辑，先清除流状态，再根据流是否处于EOF状态决定是否执行ignore：

#include <iostream>
#include <vector>
#include <limits>

int main(){
    std::vector<int> v;
    for(int i; std::cin >> i; )
        v.push_back(i);

    // 先清除错误状态
    std::cin.clear();
    // 仅当流未到达EOF时，忽略缓冲区剩余内容
    if (!std::cin.eof()) {
        std::cin.ignore(std::numeric_limits<std::streamsize>::max(), '\n');
    }

    int x = 0; // 初始化变量，避免未定义行为
    std::cout << "x: ";
    if (std::cin >> x) { // 检查读取是否成功
        std::cout << x << '\n';
    } else {
        std::cout << "读取失败！" << '\n';
    }

    std::cout << std::endl;
}

核心是确保后续读取前流状态正常，同时初始化变量避免未定义行为。

内容的提问来源于stack exchange，提问作者Maestro