模板 << 和 >> 运算符特化

Question

我想在一个类中对>> 和<< 运算符进行模板化，但我也想将它们专门用于字符串，所以我这样做了；

    class sql_command
{
public:
    sql_command() { }

    explicit sql_command(std::string& cmd)
        : m_raw(cmd) {
    }

    inline sql_command& operator<<(const char * arg)
    {
        m_raw += arg;
        return *this;
    }

    inline sql_command& operator<<(const std::string& arg)
    {
        m_raw += arg;
        return *this;
    }

    template<typename T>
    inline sql_command& operator>>(const T arg)
    {
        m_raw += boost::lexical_cast<std::string>(arg);
        return *this;
    }

    inline std::string const& command() const {
        return m_raw;
    }

private:
    std::string m_raw;
};

template<>
inline sql_command& operator>> <std::string> (const std::string& arg) {
    m_raw += "'";
    m_raw += arg;
    m_raw += "'";
    return *this;
}

template<>
inline sql_command& operator>> <char*>(const char * arg) {
    m_raw += "'";
    m_raw += arg;
    m_raw += "'";
    return *this;
}

但我遇到了一些编译器错误：

1>.\main.cpp(83) : error C2912: explicit specialization; 'sql_command &operator >><std::string>(const std::string &)' is not a specialization of a function template
1>.\main.cpp(83) : error C2805: binary 'operator >>' has too few parameters

我将如何修复这些错误？

Answer 1

您不需要专门化操作符模板：只需编写一个采用std::string 的重载：

class sql_command {
    /* ... */

    template<typename T>
    sql_command& operator>>(const T& arg) { 
        /* general purpose implementation */ 
    }

    sql_command& operator>>(const std::string& arg) { 
        /* special std::string implementation */ 
    }
};

函数模板特化很糟糕，应尽可能避免。欲了解更多信息，请咨询 Herb Sutter 的Why Not Specialize Function Templates?

Answer 2

您忘记使用类解析运算符::

template<>
inline sql_command& sql_command::operator>> <std::string> (const std::string& arg)
                      see this ^^ 

其他专业也可以这样做！

或者最好听从 James 的建议！