如何为嵌套在一个模板类里面的类添加友元？比如==函数。

Question

template <typename> class Vector;
template <typename T>
bool operator==(const typename Vector<T>::const_iterator&, const typename Vector<T>::const_iterator&); // 友元声明，签名是这么写吗？

template <typename T>
class Vector {
public:
    class const_iterator: {
        friend bool operator==(const const_iterator& lsh, const const_iteraotr& rhs);
    public:
    };
};


template <typename T>
bool operator==(const typename Vector<T>::const_iterator& lhs, const typename Vector<T>::const_iterator& rhs) { // 友元定义

}

如果直接将==友元在const_iterator里面定义，比较简单，直接写就行。但是我想在类外定义时，就不知道怎么写它的函数签名了。

Answer 1

最好是这样写，你上面写的那种貌似很难实现

template  struct Vector;

template 
struct Vector_const_iterator;

template 
bool operator==(const Vector_const_iterator& lsh, const Vector_const_iterator& rhs);

template 
struct Vector {
    typedef Vector_const_iterator const_iterator;
};

template 
struct Vector_const_iterator {
    friend bool operator ==  (const Vector_const_iterator& lsh, const Vector_const_iterator& rhs);
};


template 
bool operator==(const Vector_const_iterator& lsh, const Vector_const_iterator& rhs) { 
    return true;
}

Answer 2

你的函数声明写的有点问题，友元只是具有访问权限，而不是类的成员。

template 
class Vector {
public:
    class const_iterator{
        friend bool operator==(const typename Vector::const_iterator& lsh, 
                               const typename Vector::const_iterator& rhs);
    public:
    };
};


template 
bool operator==(const typename Vector::const_iterator& lhs, const typename Vector::const_iterator& rhs) { // 友元定义
  return false;
}