关于Stroustrup《TCPPPL》中C++程序返回值的疑问

先把你提到的完整代码贴出来方便对照：

int main() { 
    string from, to; 
    cin >> from >> to; // get source and target file names 
    ifstream is {from}; // input stream for file "from" 
    istream_iterator<string> ii {is}; // input iterator for stream 
    istream_iterator<string> eos {}; // input sentinel 
    ofstream os{to}; // output stream for file "to" 
    ostream_iterator<string> oo {os,"\n"}; // output iterator for stream 
    vector<string> b {ii,eos}; // b is a vector initialized from input [ii:eos) 
    sort(b.begin(),b.end()); // sort the buffer 
    unique_copy(b.begin(),b.end(),oo);// copy buffer to output, discard replicated values 
    return !is.eof() ||!os; // return error state (§2.2.1, §38.3) 
}

这行返回语句的核心作用是向操作系统报告程序的执行状态——因为C++标准里main函数返回0表示执行成功，非零值表示执行出错。下面拆解每个部分的含义：

• !is.eof()的含义：
  is是读取源文件的输入流，is.eof()只有当输入流正常读取到文件末尾时才会返回true。那!is.eof()就意味着输入流没有正常结束：可能是源文件打不开、读文件时遇到损坏的内容、或者读取过程中出现了其他IO错误，这些都属于程序执行的异常情况。

• !os的含义：
  os是写入目标文件的输出流，在C++中，流对象被当作布尔值使用时，os为true代表流的状态完全正常。反过来，!os就表示输出流处于错误状态：比如目标文件无法创建、磁盘空间不足、没有写入权限，或者写入过程中出现了其他问题，这同样是程序执行出错的信号。

• ||逻辑或的作用：
  只要输入流出错或者输出流出错，整个表达式!is.eof() ||!os就会返回true（也就是非零值），告诉操作系统“这个程序执行失败了”。只有当输入流正常读到末尾、且输出流全程没有错误时，表达式才会返回false（也就是0），表示程序执行成功。

简单来说，这行代码就是把两个可能的IO错误情况合并起来，用一个返回值统一报告给操作系统，完全符合C++程序返回值的约定。

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