c++ - 模板友元函数无法访问私有(private)成员

Question

我正在尝试在vc6上编译本书第三版上的程序。它发现这 3 个友元函数无法访问私有(private)成员。我删除了友元函数声明中运算符==后面的<>，因为它无法通过语法检查。

这可能是一个众所周知的问题，我猜这可能是由于友元函数名称不匹配，但我只是不知道如何纠正它。请帮助我解决这个问题。谢谢 代码如下:

   // Program to test slices and a simple N*M matrix class

// pp 670-674 and 683-684

// No guarantees offered. Constructive comments to <a href="https://stackoverflow.com/cdn-cgi/l/email-protection" class="__cf_email__" data-cfemail="284a5b685a4d5b4d495a4b4006495c5c064b4745" rel="noreferrer noopener nofollow">[email protected]</a>


#include<iostream>
#include<valarray>
#include<algorithm>
#include<numeric>   // for inner_product
using namespace std;

// forward declarations to allow friend declarations:
template<class T> class Slice_iter;
template<class T> bool operator==(const Slice_iter<T>&, const Slice_iter<T>&);
template<class T> bool operator!=(const Slice_iter<T>&, const Slice_iter<T>&);
template<class T> bool operator< (const Slice_iter<T>&, const Slice_iter<T>&);

template<class T> class Slice_iter {
    valarray<T>* v;
    slice s;
    size_t curr;    // index of current element

    T& ref(size_t i) const { return (*v)[s.start()+i*s.stride()]; }
public:
    Slice_iter(valarray<T>* vv, slice ss) :v(vv), s(ss), curr(0) { }

    Slice_iter end() const
    {
        Slice_iter t = *this;
        t.curr = s.size();  // index of last-plus-one element
        return t;
    }

    Slice_iter& operator++() { curr++; return *this; }
    Slice_iter operator++(int) { Slice_iter t = *this; curr++; return t; }

    T& operator[](size_t i) { return ref(i); }      // C style subscript
    T& operator()(size_t i) { return ref(i); }      // Fortran-style subscript
    T& operator*() { return ref(curr); }            // current element

    friend bool operator==(const Slice_iter<T>& p, const Slice_iter<T>& q);
    friend bool operator!=(const Slice_iter<T>& p, const Slice_iter<T>& q);
    friend bool operator< (const Slice_iter<T>& p, const Slice_iter<T>& q);

};


template<class T>
bool operator==(const Slice_iter<T>& p, const Slice_iter<T>& q)
{
    return p.curr==q.curr && p.s.stride()==q.s.stride() && p.s.start()==q.s.start();
}

template<class T>
bool operator!=(const Slice_iter<T>& p, const Slice_iter<T>& q)
{
    return !(p==q);
}

template<class T>
bool operator<(const Slice_iter<T>& p, const Slice_iter<T>& q)
{
    return p.curr<q.curr && p.s.stride()==q.s.stride() && p.s.start()==q.s.start();
}

由于我无法在评论中添加大量文字，因此我在 vs2008 中发布了一些错误。很明显，之前的错误是由于vc6造成的，非常感谢。 完整的代码在这里:http://www2.research.att.com/~bs/matrix.c 看来这些语法错误与friend函数无关，而是与数字中的inner_product有关。 Visual Studio 2008下的一些错误消息:

1>c:\vc2008\vc\include\xutility(764) : error C2039: 'iterator_category' : is not a member of 'Cslice_iter<T>'
1>        with
1>        [
1>            T=double
1>        ]
1>        c:\vc2008\vc\include\numeric(106) : see reference to class template instantiation 'std::iterator_traits<_Iter>' being compiled
1>        with
1>        [
1>            _Iter=Cslice_iter<double>
1>        ]
1>        k:\c++\valarray0.cpp(245) : see reference to function template instantiation 'double std::inner_product<Cslice_iter<T>,_Ty*,double>(_InIt1,_InIt1,_InIt2,_Ty)' being compiled
1>        with
1>        [
1>            T=double,
1>            _Ty=double,
1>            _InIt1=Cslice_iter<double>,
1>            _InIt2=double *
1>        ]
1>c:\vc2008\vc\include\xutility(764) : error C2146: syntax error : missing ';' before identifier 'iterator_category'
1>c:\vc2008\vc\include\xutility(764) : error C4430: missing type specifier - int assumed. Note: C++ does not support default-int
1>c:\vc2008\vc\include\xutility(764) : error C2602: 'std::iterator_traits<_Iter>::iterator_category' is not a member of a base class of 'std::iterator_traits<_Iter>'
1>        with

Answer 1

您必须在类定义中声明为友元时指定类型参数。

此外，您不需要指定 Slice_iter<T>自 Slice_Iter类范围内隐式具有类型参数。

 friend bool operator==<T>(const Slice_iter& p, const Slice_iter& q);
 friend bool operator!=<T>(const Slice_iter& p, const Slice_iter& q);
 friend bool operator< <T>(const Slice_iter& p, const Slice_iter& q);