为何stringstream ss(s)与ss << s的表现存在差异？

这个差异的核心原因是未正确处理双向流的读写切换规则，加上两种初始化方式导致流的初始状态、指针位置存在区别，最终触发了标准中定义的未定义行为，不同编译器实现的表现不一致。

先明确双向流的读写切换规则 #

C++标准规定，在std::stringstream这类双向流上切换读写操作时，必须满足以下条件之一，否则行为未定义：

• 前一次操作是到达流末尾的输入操作（eofbit被触发）
• 调用clear()清除流的状态标志
• 调用seekg()/seekp()调整读/写指针的位置

如果不遵守这个规则，流的操作结果完全依赖编译器实现，可能出现各种不符合预期的情况。

分析你的两种测试场景 #

1. 构造函数初始化的ss

• 初始化时，ss的缓冲区直接被设置为字符串"Hello World Test"，读指针（gptr）指向缓冲区起始位置，写指针（pptr）指向缓冲区末尾（即字符串长度对应的位置）。
• 第一次ss >> a >> b读取成功，读指针移动到"World"之后的位置（指向剩余的"Test"），流状态为goodbit，未触发eofbit。
• 此时直接执行ss << " Why Not"，属于未定义行为：因为读操作后未到流末尾，也未重置状态或指针。大多数编译器会触发failbit，导致写操作实际未执行。
• 后续的ss >> a >> b因流处于错误状态，读取操作失败，a和b保留之前的值，所以输出仍是Hello World。

2. <<运算符初始化的tt

• 初始为空流，读指针和写指针都指向缓冲区起始位置。
• tt << s将字符串写入缓冲区，写指针移动到缓冲区末尾，流状态为goodbit。
• tt >> c >> d读取成功，读指针移动到"World"之后的位置，流状态仍为goodbit。
• 此时执行tt << " Now Yes"，同样属于未定义行为，但部分编译器实现会直接从当前写指针位置（缓冲区末尾）追加内容，流状态未被标记为错误。
• 后续的tt >> c >> d从当前读指针位置继续读取，先读到剩余的"Test"，再读到追加的"Now"，所以输出Test Now。

正确的读写切换方式 #

要让stringstream自由切换读写，必须在切换前重置状态和调整指针，比如：

// 读操作后切换到写操作
ss.clear(); // 清除所有状态标志
ss.seekp(ss.tellg()); // 将写指针移动到当前读指针位置，或者用seekp(0, std::ios::end)追加到末尾
ss << " Why Not";

// 写操作后切换到读操作
ss.clear();
ss.seekg(ss.tellp()); // 将读指针移动到当前写指针位置
ss >> a >> b;

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