Question

我正在尝试为operator<<和任何Iterable类型创建一般std::ostream。

这是代码：

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)匹配。

知道如何更改可以识别的重载吗？

Answer 1

问题的直接解决方案是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定义为具有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)

找不到C ++模板运算符匹配

1 个答案: