为什么我不能用 ostream 和 map（或 unordered_map）重载 operator<<？

Question

我有一个派生自 std::ostringstream 的类，并编写了一个喜欢流输出的操作符

这是一个最小的可重现示例：

#include <iomanip>
#include <iostream>
#include <map>
#include <ostream>
#include <sstream>
#include <string_view>
#include <vector>
#include <unordered_map>

using namespace std;

enum class LogLevel { Debug, Infor, Notif, Warnn, Error, Fatal };
constexpr string_view LevelNames[] { "Debug", "Infor", "Notif", "Warnn", "Error", "Fatal" };
LogLevel sysLogLevel { LogLevel::Debug };

class Logger : public ostringstream {
public:
   Logger( LogLevel lv ) : logLevel( lv ) {};

   ~Logger() override {
      cout << LevelNames[static_cast<int>( logLevel )] << ':' << str() << '\n';
   };

   LogLevel logLevel;
};

template <typename T>
inline Logger& operator<<( Logger& lg, const T& body ) {
   if ( lg.logLevel >= sysLogLevel )
      static_cast<std::ostream&>( lg ) << body;
   return lg;
};

using StrStrMap = map<string, string>;
inline ostream& operator<<( ostream& os, const StrStrMap& ssm ) {
   os << '{';
   for ( const auto& [k,v] : ssm )
      os << k << ':' << v << ',';
   os << '}';
   return os;
};

int main() {
   StrStrMap ssm1 { { "Flower", "Red" }, { "Grass", "Green" } };

   cout << ssm1 << endl;                              // OK!

   { Logger log { LogLevel::Fatal }; log << ssum1; }  // OK!

   Logger(LogLevel::Infor) << ssm1;                   // Compiling Error!

   return EXIT_SUCCESS;
};

GCC的错误信息是：

/usr/include/c++/8/ostream:656:11: 错误：operator<< 不匹配（操作数类型为std::basic_ostream<char> 和const std::unordered_map<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char> >）

正如@n.m 指出的那样。 ，看起来像“无法将左值引用绑定到临时 obj”。

但是为什么第二个操作数是其他类型如int、string、c-string、vector等时可以做到呢？

这是我对其他类型的尝试：

template<typename T>
class MyIntTemplate {
public:
   MyIntTemplate( T p ) : payLoad(p) {};
   T payLoad;
};
using MyInt = MyIntTemplate<int>;
inline ostream& operator<<( ostream& os, const MyInt& mi ) {
   os << mi.payLoad;
   return os;
};

using StrVec = vector<string>;
inline ostream& operator<<( ostream& os, const StrVec& sv ) {
   os << '{';
   for ( const auto& v : sv )
      os << v << ',';
   os << '}';
   return os;
};

int main() {
   Logger(LogLevel::Infor) << MyInt(123);                   // OK!
   Logger(LogLevel::Warnn) << 456;                          // OK!
   Logger(LogLevel::Debug) << "a Debugging Log";            // OK!
   Logger(LogLevel::Infor) << string( "a Informing Log" );  // OK!

   StrVec sv1 { "Flower", "Grass" };
   Logger(LogLevel::Fatal) << sv1;                          // OK!

   return EXIT_SUCCESS;
};

因为another reason，我真的需要临时记录器。 有人能给我一个解决方案吗？ 任何提示将不胜感激！

Answer 1

Logger(LogLevel::Warnn) 是临时的。非常量引用不能绑定到临时对象。

inline ostream& operator<<( ostream& os,
//                          -------- <------ nope

Answer 2

做 IOStreams 的工作并为右值创建一个包罗万象的重载：

template<class T>
Logger& operator<<(Logger&& lg, T const& x) {
  return lg << x;
}