使用s函数将缓冲区推入另一个流stream后,是否可以重用stringstream .rdbuf()

我重构了情况:

http://ideone.com/JoPJ1E

#include <iostream>
using namespace std;
#include <fstream>
#include <sstream>
#include <assert.h>

ofstream f("t.txt");

void dump(stringstream & s){
    f << s.rdbuf();
    assert(f.good()); // THIS ASSERT FAILS IN my code (see main)
}

void doit1(){

  static std::stringstream s;

  s.str("");
  s.clear();
  s.seekp(0);
  s.seekg(0);

  s << "1";
  dump(s);

}

void doit2(){
  // your code goes here
  std::stringstream s;
  s << "2";
  dump(s);

}

int main() {
    // your code goes here
    doit2();
    doit1(); // ASSERT FAILS HERE
}


我的程序不会崩溃,并且文本文件中没有输出!
断言通过调用doit1()完全失败,为什么doit2将流f设置为错误状态?

知道这里有什么问题吗?

最佳答案

当Dinkumware(Microsoft的STL提供程序)在与空内容关联的流上设置带有seekp的0位置时,似乎是long-standing MSVC design issue。显然,他们这样做是为了使编译器符合Perennial C++ test suite的要求,并且标准规定了这一要求。

我发现N3797不太清楚,因为§27.7.3.5basic_ostream seek成员/ p3说


  basic_ostream&seekp(pos_type pos);
  
  3种效果:If fail()
  != true,执行
  
  
    rdbuf()-> pubseekpos(pos,ios_base :: out)。的情况下
    失败,该函数调用setstate(failbit)(可能会抛出
    ios_base :: failure)。
  
  
  4返回:* this。


直接调用pubseekpos(等效)不会触发任何错误。

使用MSVC2013Update4测试:

int main() {
    std::stringstream s;
    s.str("");
    if (s.fail())
        cout << "bad"; // not printed
    s.seekp(0);
    // s.rdbuf()->pubseekpos(0, ios_base::out); // Equivalent as per 27.7.3.5/3
    if (s.fail())
        cout << "bad"; // printed
}


Clanggcc正常工作。

10-06 07:23