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

运营商＆lt;＆lt;对于类模板，std :: basic_string定义为（自由）函数模板。与非模板函数相比，模板参数推导不涉及可能的参数转换。模板化算子＆lt;＆lt;对于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))

做对了。

隐式转换运算符

2 个答案: