为什么在使用operator << via template时需要重载？

Question

在本question，我尝试通过使用SBRM/RAII一类流，所以

SBRM(x) << "test"; 

可以做一些额外的在析构函数，但我的模板知识似乎是有限的。

我已经（为清楚起见，更简单）是：

#include <iostream> 
#include <sstream> 

class SBRM 
{ 
public: 
    SBRM(int j) : i(j) {} 
    ~SBRM() { std::cout << "SBRM(" << i << "): " << oss.str() << std::endl; } 

    template<typename T> SBRM& operator<<(T& in) { oss << in; return *this; } 
    // SBRM& operator<<(const long long& in) { oss << std::hex << "0x" << in; return *this; } 
    SBRM& operator<<(const double& in) { oss << in; return *this; } 
    SBRM& operator<<(const void* in) { oss << in; return *this; } 

private: 
    int i; 
    std::ostringstream oss; 
}; 


int main() 
{ 
    std::string ttt = "world"; 
    const int i = 3; 
    SBRM(1) << "Hello"; 
    SBRM(2) << ttt; 
    SBRM(3) << 0x1234567890123ll; 
    SBRM(4) << &i; 
    SBRM(5) << 5; 
    SBRM(6) << 0.23; 
    SBRM(7) << i; 
    SBRM(8) << 5 << ", " << ttt << ", " << &i; 
} 

这类作品：

SBRM(1): Hello 
SBRM(2): world 
SBRM(3): 3.20256e+14 
SBRM(4): 0xbf8ee444 
SBRM(5): 5 
SBRM(6): 0.23 
SBRM(7): 3 
SBRM(8): 5, world, 0xbf8ee444 

，但我主要关注的是：为什么编译器要求我超载模板使用（非字符串）文字？
有没有任何技巧可以避免这种情况，还是我采取了错误的做法？ 其他建议，欢迎，因为我现在使出使用宏

NOT_QUITE_SBRM_MACRO(3, "At least, " << 5 << ", this works"); 

问题被认为是用gcc 4.1.2。和4.4.3。如果没有重载函数，我得到：

sbrm-stream.cpp: In function ‘int main()’: 
sbrm-stream.cpp:27: error: no match for ‘operator<<’ in ‘SBRM(3) << 320255973458211ll’ 
sbrm-stream.cpp:10: note: candidates are: SBRM& SBRM::operator<<(T&) [with T = long long int] 
sbrm-stream.cpp:28: error: no match for ‘operator<<’ in ‘SBRM(4) << & i’ 
sbrm-stream.cpp:10: note: candidates are: SBRM& SBRM::operator<<(T&) [with T = const int*] 
... 

Answer 1

因为你期待一个非const参数和文字不能作这样的处理。使其论点const和你的烦恼就会消失：

template<typename T> SBRM& operator<<(T const& in) { oss << in; return *this; } 

正如大卫在他的评论中提到，您使用机械手如endl当需要重载。下面是他们的拍摄：

SBRM& operator <<(std::ostream& (*manip)(std::ostream&)) { 
    oss << manip; // alternatively: manip(os); 
    return *this; 
} 

// same for: 

ostream& operator <<(ios& (*manip)(ios&)); 
ostream& operator <<(ios_base& (*manip)(ios_base&)); 

这涵盖了所有的parameterless manipulators。

我真的不确定<iomanip>的参数化操纵器是如何工作的，但他们似乎返回了一个可以使用通用operator <<变体的代理对象。