`std::istreambuf_iterator<char>()`如何无参构造流结束迭代器？

首先直接给结论：std::istreambuf_iterator<char>()无参构造出来的就是流结束迭代器（尾迭代器），这是C++标准明文规定的行为，和你提到的“参数顺序”完全不沾边——你这里的误解大概率是混淆了其他场景的规则。

为什么无参构造能得到尾迭代器？ #

C++标准对std::istreambuf_iterator的构造逻辑做了明确区分：

• 传入流对象（比如file_A）的构造函数：生成一个绑定到该流缓冲区的迭代器，会立即尝试读取流的第一个字符，标记自己的当前状态。
• 无参构造函数：是一个特殊的构造路径，专门用来生成代表“流已读完”状态的迭代器。所有绑定到有效流的迭代器，当遍历到流末尾时，都会和这个无参构造的迭代器相等。

澄清“标准不保证参数顺序”的误解 #

你提到的这个规则和当前场景无关，它一般是指某些函数的参数求值顺序未被标准规定，但std::istreambuf_iterator的无参构造是标准明确的特殊情况，不管哪个编译器实现，无参构造出来的必然是尾迭代器，行为完全确定。

你的代码逻辑为什么能工作？ #

std::string::assign(first, last)会从first开始迭代，直到迭代器等于last时停止。当绑定到文件的itr_A遍历到文件末尾时，它的状态会变成和无参构造的尾迭代器一致，此时循环终止，正好把整个文件的内容全部读取到content_A里。

额外提个更简洁的写法 #

你可以省去提前创建itr_A、itr_B的步骤，直接在assign里构造迭代器，代码更紧凑：

content_A.assign(std::istreambuf_iterator<char>(file_A), std::istreambuf_iterator<char>());
content_B.assign(std::istreambuf_iterator<char>(file_B), std::istreambuf_iterator<char>());

功能和你原来的代码完全一致。

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