C++ getline()

为什么 while (getline(cin, s)) 跳出循环后 s 的值为空？

今天看c++primer时候发现一个问题，就是书中78页中getline那里，
书里使用while(getline(cin, line))这样循环输入一行的，就再这页的上面while(cin >> word),这个循环中可以用ctrl+z或者ctrl+d退出循环，继续执行下面的代码，但是同用到
while(getline(cin, line))中就不行了。

例如书上：

void main()
{
    string s;
    while (getline(cin, s))
        cout << s << endl;
    system("pause");
}

输出：

hello world
hello world

^Z
请按任意键继续……

修改后：

void main()
{
    string s;
    while (getline(cin, s));
    cout << s << endl;
    system("pause");
}

输出：

hello world

^Z
请按任意键继续……

无论 Windows 还是 Linux，这个 s 都没有接收到输入的「hello world」，请问这是为什么？

作者：StrayWarrior
链接：https://www.zhihu.com/question/27859723/answer/38385260
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

因为回车输入的是一个换行符，相当于另起一行，所以getline()会把这个空行读到s里面去，你最后输出的当然就是一个空行。
但是，要理解这个过程究竟是怎么发生的，题主应该要明白几个概念：
（1）eof标志
（2）cin的状态
while(geline(cin,s))这个语句的执行过程是这样的：
先调用getline()函数，getline()将istream cin中的内容读取一行（你输入的是hello world)，保存进string s中，而getline()的返回值就是cin。
也就是说，这个循环的判定条件是while(cin)，cin是怎么转化为bool类型进行条件判断的呢？
这个判定实际上隐式调用了 !cin.fail()，而fail()这个成员函数被定义在ios_base类里面（这是istream的基类basic_ios的基类）。
那么调用fail()返回的是什么？是cin的状态。cin的状态是由4个标志位指示的（关于stream的标志的内容实际上就可以在C++ Primer中找到），分别是badbit（表示流已经崩溃），failbit（表示IO操作失败），eofbit，goodbit。
当badbit或者failbit被置位时，fail()会返回true，!fail()结果为false。当遇到文件末端时，eofbit和failbit都会被置位，因此只有碰到Ctrl+Z（Windows下输入即等同文件末端eof），while()条件不再满足，退出。
再来看你的操作过程，hello world，回车，Ctrl+Z。所以程序最后这么运行的：
hello world被读入s，换行后的空行被读入s，末端标志eof使cin为无效状态，while()判断为假，循环退出。
输出s。

以上。