未找到匹配的C ++模板运算符

我试图创建一个普通的operator<< for std::ostream和任何Iterable类型。

这是代码：

template <class T,template<class> class Iterable> inline std::ostream& operator<<(std::ostream& s,const Iterable<T>& iter){
    s << "[ ";
    bool first=false;
    for(T& e : iter){
        if(first){
            first=false;
            s << e;
        }else{
            s << ", " << e;
        }
    }
    s << " ]";
    return s;
}

不幸的是，我的运算符没有找到匹配vector<uint> ，编译器试图与operator<<(basic_ostream<_CharT, _Traits>&& __os, const _Tp& __x) 。

任何想法如何我可以改变超载被识别？

---

你的问题的直接解决方案是vector是两种类型的模板，而不是一种，所以你想写：

template <typename... T, template <typename... > class Iterable>
inline std::ostream& operator<<(std::ostream& os, const Iterable<T...>& iter)
{
    s << "[ ";
    bool first = true; // not false
    for (const auto& e : iter) {
        // rest as before
    }
    return s << " ]";
}

这是有效的，但有点不令人满意 - 因为有些东西是模板不可迭代的，有些东西不是模板。 此外，我们的解决方案实际上并不需要Iterable或T 那么我们如何编写一些需要任何Range的东西 - 我们将Range定义为具有begin()和end() ：

template <typename Range>
auto operator<<(std::ostream& s, const Range& range) 
-> decltype(void(range.begin()), void(range.end()), s)
{
    // as above, except our container is now named 'range'
}

如果这太笼统了，那么你可以这样做：

template <typename T> struct is_range : std::false_type;
template <typename T, typename A>
struct is_range<std::vector<T,A>> : std::true_type;
// etc.

template <typename Range>
typename std::enable_if<
    is_range<Range>::value,
    std::ostream&
>::type
operator<<(std::ostream& s, const Range& range)    

链接地址: http://www.djcxy.com/p/83633.html

上一篇: C++ template operator not found as match

下一篇: How exactly works the @ResponseStatus Spring annotation for RESTful application?