关于cin.eof()的问题

若要判断文件尾，有很多种方法。

作为对比，有

while(cin>>s){
            ...
}

while(!cin.eof()){
            ...
}

while(scanf("%s",&s)!=EOF){
            ...
}

但是cin.eof()并不像其看着的样子那样，能够直接判断，他还需要我们再读一下字符才能正确判断是否达到文件尾
ABCDEFG(EOF)

也即，我们若使用scanf的话，在G(处就可判断到是否到达结尾

而cin.eof()则需要我们到达)处