我有一個像下面這樣的矩陣類：

Question

template <size_t M, size_t N, typename T> 
class Matrix 
{ 
public: 
    Matrix<M, N, T> operator +(const Matrix<M, N, T>& B) const; 
    template <size_t P> Matrix<M,P,T> operator*(const Matrix<N, P, T>& B) const; 
    template <typename T2> operator T2() const; 

private: 
    T __x[M][N]; 
}; 

身體寫得很好，而且一切正常。當我定義兩個矩陣如下：

Matrix < 10, 10, int> m1; 
Matrix < 10, 10, float> m2; 

m1 + m2; // OK 
m1 * m2; // error: no match for 'operator*' in 'm1 * m2' 

添加效果很好，因爲隱式轉換已在其上進行的，但由於不同的值類型的乘法，會發生錯誤。

error: no match for 'operator*' in 'm1 * m2' 

有什麼想法？

Answer 1

This question有類似的問題。您出錯的原因是在推導模板參數時不考慮隱式轉換。由於您的乘法運算符是一個函數模板，並且您未明確提供該參數就會調用，編譯器會嘗試推斷參數類型並失敗。爲了證明，如果你明確提供的參數P，它編譯：

m1.operator*<10>(m2); 

要解決這個問題，你可以使價值型右手邊的一個模板參數太多：

template <size_t P, typenmame T2> 
Matrix<M,P,T> operator*(const Matrix<N, P, T2>& B) const;