How to properly reuse cin after EOF

c++ command-line-interface stdin cin eof