我正在尝试创建一个通用运算符<<对于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;
}
不幸的是,找不到我的运算符匹配向量< uint>并且编译器尝试与运算符<<(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)
