如何在泛型類中使用朋友函數重載運算符？

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 
{ 
    ... 
}