如何在泛型类中使用朋友函数重载运算符？

Question

我写了一个矩阵类。我已经重载了operator +，以便用户可以编写：matrix + 2.我希望用户也写：2 +矩阵。

对于标准格式（即对象调用2），我写了一个标准的运算符重载函数。有用。

template<typename T> 
Matrix<T> Matrix<T>::operator+(const T& rhs) const 
{ 
    Matrix result(rows, cols, 0.0); 
    for (unsigned i = 0; i < rows; ++i) 
    { 
     for (unsigned j = 0; j < cols; ++j) 
     { 
      result(i,j) = (*this)(i, j) + rhs; 
     } 
    } 
    return result; 
} 

现在对于其他顺序（即2 +矩阵），我已经写了友元函数：

// Friend Functions that allow the user to write expressions in a different order 
    template<typename T> 
    friend Matrix<T> operator+(const T& type, const Matrix<T>& matrix); 

和实施为：

template<typename T> 
Matrix<T> operator+(const T& type, const Matrix<T>& matrix) 
{ 
    return matrix + type; 
} 

当我尝试写2 +矩阵（在main（））中，我得到一些错误。

我一直有使用泛型类的朋友函数的问题，坦率地说，我从来没有明白为什么它从来没有为我工作。

有人能解释我在做什么错吗？

错误，我得到：

智能感知：无操作“+”匹配这些操作数的操作数类型是：INT +矩阵

严重性代码说明项目文件行错误C2244“矩阵::运算符+”：无法将函数定义与现有声明相匹配

Answer 1

看起来它只是一个模板演绎错误;也就是说，您的编译器无法根据模板化的朋友函数推导出正确的函数。由于你的朋友函数是一个简单的函数，所以你可以在你的类/头文件中声明它，编译器应该能够正确地推导出它（如果打开优化，也可能内联它）。只是声明友元函数在你的头就像这样：

friend Matrix operator+(const T& type, const Matrix& matrix) 
{ 
    return matrix + type; 
} 

你并不需要指定template关键字，因为这是你的模板专业类中。

希望能有所帮助。

Answer 2

只需将成员函数更改为const即可解决问题。

template<typename T> 
Matrix<T> Matrix<T>::operator+(const T& rhs) const 
{ 
    ... 
}