切换std::fstream读写操作是否必须先执行seek或sync操作？

C++标准中basic_filebuf读写规则对齐C标准库FILE的条款完全适用于读写切换场景，未调用定位/同步接口直接切换读写方向属于标准层面的未定义行为，你实现兼容原生filebuf的增强类时，必须保留读写切换时的位置校正逻辑，不能省略相关判断。

• 条款中“读写限制与C标准库FILE一致”是全场景约束，并非仅适用于打开权限、共享文件位置这几项字面列出的规则，C标准对FILE流的所有操作限制，包括读写切换的要求，全部对basic_filebuf生效。
• C标准对更新模式打开的FILE流有明确的切换要求：

  读操作完成后切换为写操作、或写操作完成后切换为读操作前，必须先执行文件定位操作（fseek/fsetpos/rewind）；写转读的场景也可以先执行缓冲区刷新（fflush）替代定位操作。

• 条款中提到的“输入输出序列维护统一联合文件位置”，指的是面向用户的逻辑文件位置统一，而非允许实现直接暴露底层FILE因预读缓冲产生的内部偏移差。你观察到的不同实现差异里，libstdc++主动做偏移校正、MS STL复用FILE自带缓冲规避偏移问题，都是符合标准要求的实现；如果某实现未做校正导致读写位置不符合逻辑预期，属于实现bug，不是标准允许的行为。

• 不要省略读写切换场景的校正逻辑：如果用户没有主动调用seekg/seekp/tellg/tellp/sync就直接切换读写方向，你必须主动校正底层FILE的实际偏移，保证用户感知到的读写位置符合“联合文件位置”的规则，否则你的实现无法满足原生filebuf的替换要求。
• 可以通过内部状态标记优化判断开销：比如维护当前流的最近操作类型（读/写）、预读缓冲区剩余长度等状态，仅在确实发生读写切换时才执行校正操作，减少不必要的系统调用，但不能完全跳过切换时的检查分支。
• 不要依赖特定平台的实现特性：不要因为部分实现复用了C库FILE的自带缓冲就省略校正逻辑，否则在切换编译环境、底层C库时会出现文件位置错乱的兼容性问题。

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