ostringstream 的奇怪行为

Question

我试图想出一种巧妙的方法，将各种内容连接到函数的单个字符串参数中，而不必显式使用 ostringstream 。我想到：

#define OSS(...) \
  dynamic_cast<std::ostringstream const&>(std::ostringstream() << __VA_ARGS__).str()

然而，给定：

void f( string const &s ) {
  cout << s << endl;
}

int main() {
  char const *const s = "hello";

  f( OSS( '{' << s << '}' ) );

  ostringstream oss;
  oss << '{' << s << '}';
  cout << oss.str() << endl;
}

它在运行时打印：

123hello}
{hello}

其中 123 是 } 的 ASCII 代码。为什么使用宏会出错？

仅供参考：我目前在 Mac OS X 上使用 g++ 4.2.1 作为 Xcode 3.x 的一部分。

---

我现在使用的解决方案

class string_builder {
public:
  template<typename T>
  string_builder& operator,( T const &t ) {
    oss_ << t;
    return *this;
  }

  operator std::string() const {
    return oss_.str();
  }

private:
  std::ostringstream oss_;
};

#define BUILD_STRING(...) (string_builder(), __VA_ARGS__)

using namespace std;

void f( string const &s ) {
  cout << s << endl;
}

int main() {
  char const *const s = "hello";

  f( BUILD_STRING( '{', s, '}' ) );
}

Answer 1

std::ostringstream() 是临时的，因此只能绑定到 const 引用。独立操作员<< （将非常量引用作为第一个参数）不被考虑，只有成员被考虑。其中对于 char 的最佳匹配是将 char 转换为 int。

此问题通常发生在随后显示其地址的字符串文字上。

要解决这个问题，关键是找到一种方法来转换引用中的临时值。成员operator<<可以做到这一点，但只有操纵器的成员可以做到这一点，并且没有副作用，并且只有当操纵器是noop时才能使用flush。成员flush和write也是候选人。例如

#define OSS(...) \
    dynamic_cast<std::ostringstream const&>(std::ostringstream().flush() << __VA_ARGS__).str()

Answer 2

更好的线程安全解决方案，无需涉及繁琐的宏。

对函数的原始调用是这样的：

f( OSS( '{' << s << '}' ) );

如果调用只是这样呢：

 f(stringbuilder() << '{' << s << '}' ); 

其中stringbuilder实现为：

struct stringbuilder
{
   std::ostringstream ss;
   template<typename T>
   stringbuilder & operator << (const T &data)
   {
        ss << data;
        return *this;
   }
   operator string() { return ss.str(); }
};

void f( string const &s ) {
  cout << s << endl;
}

Test ：

int main() {
  char const *const s = "hello";

  f(stringbuilder() << '{' << s << '}' );

}

输出：

{hello}

在线演示：http://ideone.com/QHFf4