C++ şablon operatörü eşleşme olarak bulunamadı

Question

std::ostream için genel bir operator<< ve herhangi bir yinelenen tür oluşturmaya çalışıyorum.

Bu

kodudur:

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; 
} 

Ne yazık ki benim operatör bir vector<uint> için bir eşleşme olarak bulunmazsa ve derleyici operator<<(basic_ostream<_CharT, _Traits>&& __os, const _Tp& __x) ile eşleştirmeye çalışır.

Tanınacak aşırı yükü nasıl değiştirebilirim?

Answer 1

sorununuza doğrudan çözüm yazmayı isterdim böylece vectoriki türleri değil, birinde bir şablon, olmasıdır:

çalışır, ancak biraz tatmin edici değil

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 << " ]"; 
} 

- beri Şablon olan bazı şeyler yinelenemez ve şablon olmayan bazı şeylerdir. Ayrıca, aslında bizim çözeltide ya Iterable veya T gerekmez. Öyleyse nasıl herhangi Range alır şeyler yazmak hakkında - biz begin() ve end() olan bir şey olarak Range tanımlayın:

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' 
} 

buysa çok genel, o zaman yapabilirsiniz:

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)