模板迭代器，铛无法推断模板参数

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每个专业化。据我所知，你不能为这个非成员函数提供外部定义 - 它不是函数模板，而是每个专业化的适当函数。所以你只能在全局命名空间中定义一组固定的特化。