c++ - C++模板类中使用友元函数操作私有(private)变量时出错

Question

我最近在写一个矩阵运算库，我想在我的程序中重载运算符，但是当我使用友元函数访问我定义的模板类中的私有(private)变量时发生错误。 (而且只在我重载运算符'+'时才报错，'-'运算符的重载函数不报错。)我定义的模板类如下:

template<class T>
class Matrix
{
    int col;
    int row;
    T *matrix;
    public:
        Matrix(T *m, int row1, int col1):matrix(m), row(row1), col(col1){}
        Matrix(int row1, int col1):row(row1), col(col1)
        {
            matrix = new T[row*col];
            cout<<"Have set the shape of the matrix, but should use create() to initialize the matrix!"<<endl;
        }
        Matrix(){}
        ~Matrix(){}
        void show();
        UINT create(T *m);
        UINT zeros(int size);
        UINT eye(int size);

        // the overload function statement
        friend Matrix operator+(const Matrix &a, const Matrix &b);
        friend Matrix operator-(const Matrix &a, const Matrix &b);

        Matrix matrix_T();              // transpose the matrix
        Matrix matrix_Inv();            // calculate matrix's inverse
        Matrix matrix_Adjoint();        // calculate the adjoint matrix
};

这两个重载函数的定义如下:

// report error: can't access private member declared in class
template<class T>
Matrix<T> operator +(const Matrix<T> &m1, const Matrix<T> &m2)
{
    if (m1.col!=m2.col || m1.row!=m2.row)
    {
        cout<<"These two matrices can't be plused!"<<endl;
        exit(0);
    }
    T *tmp = new T[m1.col*m1.row];
    for (int i=0; i<m1.row; i++)
    {
        for (int j=0; j<m1.col; j++)
        {
            tmp[i*m1.col+j] = m1.matrix[i*m1.col+j] + m2.matrix[i*m1.col+j];
        }
    }
    return Matrix<T>(tmp, m1.row, m1.col);
}


// this defination didn't report error
// and if I only run this code, there is nothing wrong
template<class T>
Matrix<T> operator -(const Matrix<T> &m1, const Matrix<T> &m2)
{
    if (m1.col!=m2.col || m1.row!=m2.row)
    {
        cout<<"These two matrices can't be plused!"<<endl;
        exit(0);
    }
    T *tmp = new T[m1.col*m1.row];
    for (int i=0; i<m1.row; i++)
    {
        for (int j=0; j<m1.col; j++)
        {
            tmp[i*m1.col+j] = m1.matrix[i*m1.col+j] - m2.matrix[i*m1.col+j];
        }
    }
    return Matrix<T>(tmp, m1.row, m1.col);
}

我分别测试了这两段代码，运算符'-'的重载可以正确编译，但是运算符'+'不能。错误信息如下:

f:\program\c++\matrixoperate\matrixdefine.h(134) : error C2248: 'col' : cannot access private member declared in class 'Matrix<int>'
    f:\program\c++\matrixoperate\matrixdefine.h(6) : see declaration of 'col'
    f:\program\c++\matrixoperate\demo.cpp(14) : see reference to function template instantiation 'class Matrix<int> __cdecl operator +(const class Matrix<int> &,const class Matrix<int> &)' being compiled
f:\program\c++\matrixoperate\matrixdefine.h(134) : error C2248: 'col' : cannot access private member declared in class 'Matrix<int>'
    f:\program\c++\matrixoperate\matrixdefine.h(6) : see declaration of 'col'

而我使用的IDE是VC++6.0。

Answer 1

friend Matrix operator+(const Matrix &a, const Matrix &b);不是模板。它是模板类的非模板友元函数。

template<class T>Matrix<T> operator +(const Matrix<T> &m1, const Matrix<T> &m2)是一个模板。它们不是相同的功能，因为一个是模板，另一个不是。

解决这个问题的最简单方法是将主体内联到模板类定义中。

第二个最简单的方法是从operator+转发一些静态方法，或一些命名函数模板。在模板类定义前转发声明，在模板类定义中友化，事后实现。

(您实际上希望 operator+ 成为模板类的非模板友元，因为这样可以更好地处理转换。)

也是https://stackoverflow.com/a/13464246/1774667但是对于命名函数，而不是运算符。叫它add .

然后friend Matrix operator+(const Matrix &a, const Matrix &b){ return add(a,b); }这为您提供了模板类魔法的非模板友元运算符。