模板迭代器，鐺無法推斷模板參數

Question

我有一個嵌套模板的自定義迭代器模板類（專門爲常量/非const迭代器）是這樣的：

template <typename T> 
struct A 
{ 
    template <typename U> 
    struct AIterator 
    { 
     //... 
    }; 

    typename AIterator<T*> iterator; 
    typename AIterator<const T*> const_iterator; 
}; 

template <typename T> 
bool operator==(const typename A<T>::iterator& lhs, 
       const typename A<T>::iterator& rhs,) 
{ 
    //... 
} 

template <typename T> 
bool operator!=(const typename A<T>::iterator& lhs, 
       const typename A<T>::iterator& rhs,) 
{ 
    //... 
} 

//idem for const_iterator... 

但鐺不能推斷模板參數：

snake_test.cpp:17:68: error: invalid operands to binary expression ('wavelet::Snake<float>::const_iterator' (aka 'Iterator<const float *>') and 'const_iterator' (aka 'Iterator<const float *>')) 
     for (wavelet::Snake<float>::const_iterator it = snake.begin(); it != snake.end(); it++) 
                     ~~^~~~~~~~~~~~ 
./snake.hpp:150:6: note: candidate template ignored: couldn't infer template argument 'T' 
bool operator!=(const typename Snake<T>::iterator& lhs, 
    ^
./snake.hpp:164:6: note: candidate template ignored: couldn't infer template argument 'T' 
bool operator!=(const typename Snake<T>::const_iterator& lhs, 
    ^
1 error generated. 

我在做什麼錯？如何正確實現模板類的自定義迭代器？

Answer 1

可能爲最簡單和最乾淨的解決方案是使用類體內部限定非成員的朋友的功能：

template <typename T> 
struct A 
{ 
    template <typename U> 
    struct AIterator 
    { 
     friend bool operator==(AIterator const& lhs, AIterator const& rhs) 
     { /* implement here */ } 
    }; 

    typename AIterator<T*> iterator; 
    typename AIterator<const T*> const_iterator; 
}; 

這會創建一個非成員函數爲AIterator每個專業化。據我所知，你不能爲這個非成員函數提供外部定義 - 它不是函數模板，而是每個專業化的適當函數。所以你只能在全局命名空間中定義一組固定的特化。