隐式转换运算符

Question

我想使用C++ 11的可变特征模板打印所有函数参数。我做了以下内容：

struct concatenate 
{ 

    template< typename ...ARGS > 
    explicit 
    concatenate(ARGS const & ...args) 
    { 
     cat(args...); 
    } 

    /*explicit*/ 
    operator std::string const() const 
    { 
     return oss.str(); 
    } 

private : 

    std::ostringstream oss; 

    void cat() const 
    { ; } 

    template< typename T, typename ...ARGS > 
    void cat(T const & head, ARGS const & ...tail) 
    { 
     if (oss.tellp() > 0) { 
      oss << ' '; 
     } 
     oss << head; 
     cat(tail...); 
    } 

}; 

然后我尝试测试它：

std::cout << '\'' << concatenate(1, 2, 3, 4, std::string("ololo"), "alala", 'o', 1.2, 1.2L, 1.2f) << '\'' << std::endl;

但随后给出的代码没有错误编译：

error: cannot bind 'std::basic_ostream<char>' lvalue to 'std::basic_ostream<char>&&' c:\mingw\lib\gcc\mingw32\4.7.0\include\c++\ostream:600: error: initializing argument 1 of 'std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&) [with _CharT = char; _Traits = std::char_traits<char>; _Tp = concatenate]'

什么错误的性质是什么？毕竟，编译器别无选择，只能使用转换运算符。它不是？

Answer 1

操作者< <类模板的std :: basic_string的定义为（免费）函数模板。与非模板函数相比，模板参数推导不涉及可能的参数转换。对于basic_string，模板运算符< <需要一个字符串，因为它的正确参数和隐式转换（从串接到字符串）不起作用。

Answer 2

因为你不使用显式转换运营商，你有没有超载operator<<为你的类它试图拨打：

template <class charT, class traits, class T> 
basic_ostream<charT, traits>& 
operator<<(basic_ostream<charT, traits>&& os, const T& x); 

使用显式转换

std::string(concatenate(1, 2, 3, 4, std::string("ololo"), "alala", 'o', 1.2, 1.2L, 1.2f)) 

做正确的事。